repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
[PATCH] saner -Wtypesign
2007-07-29
Al
V
iro
[PATCH]
s
aner -Wtype
s
i
g
n
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] sanitiz
e
evaluat
e
_postop()
commit
|
commitdiff
|
tree
2007-07-29
Josh Triplett
Add test
c
ase for com
p
aring null poi
n
ter constant to
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
fix evaluate_compare()
commit
|
commitdiff
|
tree
2007-07-29
A
l Vi
r
o
[
P
ATCH] s
a
nitize evaluate_ptr_add(), start
c
hec
k
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Jo
s
h Triplett
Remove explicit restatements of default
s
in m
e
ta
d
ata
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH]
.
.
.
,array
s
hould degenerat
e
commit
|
commitdiff
|
tree
2007-07-29
J
osh Triplett
R
e
move
e
x
plicit restatemen
t
s o
f
d
e
faults in me
t
ad
a
ta
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-29
Al Viro
[PATCH] file and globa
l
scopes
are
the sa
m
e fo
r
p
u
rposes
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Josh Tripl
e
t
t
R
e
move explici
t
r
e
statements of
d
efaults
in metadata
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-27
Josh Triplett
Make
"
Initializer entry def
i
ned twice" a warning, not
.
.
.
Signed-off-by:
Josh Triplett
<josh@kernel.org>
commit
|
commitdiff
|
tree
2007-07-27
J
o
sh Tri
p
l
ett
val
i
d
ation
/
builtin_safe1
.
c: Show the unsa
f
e macro ar
g
ument
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-27
Josh
T
r
iple
t
t
Add tes
t
-suite
met
a
d
at
a
to label
-
attr
.
c
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-27
rick
n
u-0@student
.
.
.
parse
.
c
:
Adding va_en
d
(
)
.
commit
|
commitdiff
|
tree
2007-07-27
Josh Triplett
Tu
r
n off -Wdo-
w
hi
l
e
by d
e
fa
u
lt
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-25
ricknu-0@student
.
.
.
expr
e
s
s
ion
.
c: Cl
e
an
u
p
m
a
tch_oplist
(
) and
a
dd missing
.
.
.
commit
|
commitdiff
|
tree
2007-07-25
ricknu-0@
s
tu
d
e
nt
.
.
.
tokenize
.
c
:
R
eplace handwritte
n
strn
c
mp w
i
th e
x
isti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
a
llocate
.
h: Stop
needlessly re
t
urning a void
v
alue
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-23
Josh
Triple
t
t
Add test-suit
e
metadata to old
-
ini
t
ializ
e
r
.
c; also
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-23
J
osh Triplett
Makefile: stop cleaning
files
we didn't make and have
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
F
i
x
t
ypos
i
n
t
e
s
t-suite documen
t
ation
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-23
J
osh Trip
l
ett
Ad
d
test
-
s
uite met
a
data
t
o ca
l
l
i
ng-conv
e
ntion-attr
i
butes
.
c
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplet
t
Add test
-
s
u
ite metadata to escapes
.
c
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-23
Josh
Tr
i
plett
Add te
s
t-suite
metadata to
c
ontext
.
c
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add test-
s
uite metadata to i
n
itiali
z
er-e
n
try
-
defi
n
ed
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Add te
s
t
-s
u
i
te m
e
tadata to
b
ad-ternary-con
d
.
c, and
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-23
Josh Tr
i
pl
e
tt
Add test-suite
metad
a
ta
to bad-cast
.
c
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-23
Josh Triplett
Fix test
-
suit
e
to handle
stdout an
d
std
e
rr
s
e
p
arately
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-14
Josh Tri
p
lett
Fix spa
r
se warnings in c2x
m
l: ma
r
k globals static
a
nd
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-14
J
osh
Tri
p
lett
Fix GCC warnings in c2xml
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-14
Jo
s
h Tri
p
l
ett
expression
.
h ne
e
ds lib
.
h
f
or struct position and symbol
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-14
Josh
Triplett
Split c2xml build
rule into c
o
m
p
ile an
d
l
i
nk
stages
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] deal correc
t
ly with qual
i
f
ier
s
o
n
arrays
commit
|
commitdiff
|
tree
2007-07-14
Al Vir
o
[PATCH] rew
r
i
t
e t
y
pe_difference()
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-14
Al Vi
r
o
[PATCH] fix the
s
anity check
in evaluate_ptr_sub()
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] get compa
t
ible_assignment_types() de
a
l with
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
A
l
V
ir
o
[PATCH] st
a
rt cl
e
a
n
in
g
ty
p
e_dif
f
erence
(
)
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATCH] integer_promotions() can't get SYM_N
O
DE or
.
.
.
commit
|
commitdiff
|
tree
2007-07-14
A
l Viro
[
PAT
C
H
] clean up eva
l
uate
_
sig
n
()
commit
|
commitdiff
|
tree
2007-07-14
Al Viro
[PATC
H
]
saner show_t
y
p
e
(
)
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-14
Josh Triplet
t
Add c2xml to
.
gitignore
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-14
R
o
b
Taylor
ad
d
c2xml
program
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-13
Rob Ta
y
l
or
n
ew get_type_n
a
m
e
function
commit
|
commitdiff
|
tree
2007-07-13
Rob Taylor
add sparse_keep_toke
n
s api to lib
.
h
commit
|
commitdiff
|
tree
2007-07-13
Ro
b
Taylor
a
dd e
n
d position to sym
b
ols
commit
|
commitdiff
|
tree
2007-07-10
Al Vir
o
fi
x
h
andling
of pointers in ?:
commit
|
commitdiff
|
tree
2007-07-10
Al
V
i
r
o
fi
x
handling
of
address_space in cast
s
and assign
m
en
t
s
commit
|
commitdiff
|
tree
2007-07-09
Al
V
iro
make
size_
t
better approx
i
mate the
r
eality
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
fir
s
t pas
s
at
n
ull poi
n
t
e
r constant
s
commit
|
commitdiff
|
tree
2007-07-09
Al Viro
fix the
comma handl
i
ng in inte
g
e
r
cons
t
a
nt express
i
o
n
s
commit
|
commitdiff
|
tree
2007-07-09
Jos
h
T
r
i
plett
A
dd
t
es
t
-suite comment to ba
d
-arr
a
y-designated-initializer
.
c
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tripl
e
tt
Remove
"
check-exit-value: 0" and rely on defa
u
lt; remove
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Add
t
est
-
s
uite comment to label-
a
sm
.
c
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Rename asm-vo
l
atile to better describ
e
what it tests
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
M
a
ke
c
lean
d
epend on c
l
ean-che
c
k
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-08
Jos
h
Triplett
A
dd test-suite comment to address_s
p
ace
.
c
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triple
t
t
Add
tes
t
-suite comment to preprocess
o
r21
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-08
J
o
s
h Triplett
Make prepr
o
cessor-loop
a normal
n
u
mbered preprocessor
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tr
i
plett
Add t
e
st-s
u
ite
c
omments to
a
ll the obvious preprocessor
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-08
J
o
sh
Triplett
validation: Update
comm
e
n
ts for
c
urrent Sparse behavior
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-08
Josh Tr
i
p
l
e
t
t
.
gitignore:
S
top ignoring all dotfi
l
es
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-08
Josh Triplett
Move tes
t
-suite
o
utput files to validation/
.
gitignore
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-07-08
Damie
n
Lespia
u
Sample t
e
st-s
u
ite test cas
e
s
commit
|
commitdiff
|
tree
2007-07-08
D
amien Lespiau
t
est-suite documentation
commit
|
commitdiff
|
tree
2007-07-08
D
amien Lespi
a
u
te
s
t-suite
:
a tiny test automation script
commit
|
commitdiff
|
tree
2007-06-28
Jo
s
h Tri
p
let
t
Move a
l
l the preprocesso
r
tests into validation/
p
repro
c
essor/
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-06-28
Pavel
R
oskin
F
i
x w
a
rnin
g
s about undeclar
e
d globals,
they are irrelevan
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-28
Pavel Roskin
Avoid use o
f
libc headers in the validation
s
u
i
te
commit
|
commitdiff
|
tree
2007-06-28
Pavel Roskin
cgcc: preserve sparse exit code if -no-
c
ompil
e
is used
commit
|
commitdiff
|
tree
2007-06-28
Pavel Ro
s
kin
Bitfie
l
d
without ex
p
li
c
i
t
sig
n
should be a wa
r
ning
.
.
.
commit
|
commitdiff
|
tree
2007-06-26
Josh
Tr
i
plett
Merge commit 'viro/integer-constant'
commit
|
commitdiff
|
tree
2007-06-26
J
o
sh
T
r
iple
t
t
validation/no
n
-pointer-null
.
c
:
Mak
e
glob
a
l sta
t
ic to
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-06-26
Josh
Triplett
validation/escape
s
.
c:
M
ake globals static to avoid
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-06-26
Josh Triplett
validation/re
s
tricte
d
-t
y
peof
.
c: Make
g
lobals static
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-06-26
J
o
sh Triplett
v
alidat
i
on/old-initializer
.
c
: M
a
ke the_s s
t
atic to
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-06-24
Josh
Tr
i
plett
ct
a
gs: U
s
e cons
t
as
a
ppropr
i
ate
in cmp_sym()
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-06-13
Alex
e
y D
o
b
r
i
yan
Fix -
E
han
d
l
in
g
commit
|
commitdiff
|
tree
2007-06-13
Jos
h
Triplett
Turn on -Wd
e
cl by default
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-06-09
Pavel Roskin
Improve err
o
r message if using a member
of an
i
nc
o
mplete
.
.
.
commit
|
commitdiff
|
tree
2007-06-09
Micha
e
l Stefaniu
c
'
\?' is a valid escape characte
r
de
f
ined
b
y ANSI C
.
.
.
commit
|
commitdiff
|
tree
2007-06-03
Josh Tripl
e
tt
Add test case for i
n
finite lo
o
p in free_preprocessor_line()
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-06-03
A
l
exe
y
D
o
briyan
Fix infinite loop in
fr
e
e_p
r
eprocessor_line()
commit
|
commitdiff
|
tree
2007-06-01
Josh Triplett
Makefile prettyprinting: make INSTALL
a
n
d
oth
e
r output
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-06-01
Josh Triplett
Change "LD" to "L
I
NK" in Makefile pr
e
t
typrintin
g
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
better reco
v
ery from ba
d
operatio
n
s
on bitwise
commit
|
commitdiff
|
tree
2007-05-27
Al
V
i
r
o
f
i
x interact
i
on of ty
p
eof
w
ith bi
t
wi
s
e types
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
fix align
m
ent f
o
r _Bool
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
check for w
h
itesp
a
ce before object-like macro
bo
d
y
commit
|
commitdiff
|
tree
2007-05-27
Al
V
iro
saner repor
t
ing of overlaps in initializers
commit
|
commitdiff
|
tree
2007-05-27
Al Viro
han
d
l
e
__al
i
gnof as eq
u
ivalent of __alignof_
_
commit
|
commitdiff
|
tree
2007-05-23
Josh Tripl
e
tt
Canonicali
z
e
U
R
L in FAQ: add w
w
w
.
, a
d
d
tr
a
i
l
ing slash
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-05-23
J
o
sh Triple
t
t
Fix o
l
d
typo: s/wierd
/
weir
d
/
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-05-23
J
o
sh Triplett
Sparse always defines __STDC
_
_
1, so cg
c
c
does
not
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-05-23
Ramsay Jo
n
e
s
Add cyg
w
in
s
upport t
o
cgcc
commit
|
commitdiff
|
tree
2007-05-23
Josh Tripl
e
tt
Add expla
n
atory comment
a
bout
d
irect use of __IDENT
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-05-23
J
o
s
h
Triplett
Add no
-
double-undersc
o
r
e var
i
ant format_arg
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-05-23
Josh T
r
ip
l
ett
Add
dou
b
le-undersc
o
r
e
var
i
ant __
s
yscall_linkage__
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-05-23
Josh Trip
l
ett
Add no-double-und
e
r
s
core
v
ariant "
u
sed
"
, ignored li
k
e
.
.
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-05-23
Jo
s
h T
r
i
p
lett
Add d
o
uble-underscore
v
ariant __noinl
i
ne__
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
2007-05-23
Josh Triplett
Add double-unders
c
ore
v
ariant __alwa
y
s
_
inline__
.
Signed-off-by:
Josh Triplett
<josh@freedesktop.org>
commit
|
commitdiff
|
tree
next