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
add support for -fmemcpy-max-count
2017-06-15
Luc Va
n
O
o
stenryc
k
add support
for -fmemcpy-max-coun
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van
Oost
e
nryck
add
support
f
or -
W
memcpy
-
max-count
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Lu
c
V
an
Oos
t
e
n
ryck
memcpy()'s byte count is
unsig
n
ed
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van Oostenryck
cgcc: filter-out '-fdump-
l
ine
a
rize[=
.
.
.
]'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Lu
c
V
a
n
Oostenryc
k
cgcc: a
d
d miss
i
n
g w
a
rning names to check_only_
o
ptio
n
()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van Oo
s
tenryck
cgc
c
: alpha
s
ort w
a
r
n
ing names in
check_only_opt
i
o
n()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Lu
c
Van Oostenryck
keep the war
n
ing
s
table alphabetica
l
ly sorted
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-14
L
uc Van Oostenryck
Mer
g
e bra
n
c
hes 'quiets
-
bool-cast-restricted-v3',
'error
.
.
.
commit
|
commitdiff
|
tree
2017-06-13
L
uc Van Oostenryck
Add m
o
re declarations for mo
r
e b
u
iltin
funct
i
ons
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-10
Luc Van
Oosten
r
yck
finer control
o
ver
error
v
s
.
warnin
g
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-10
Luc Van
O
osten
r
yck
use NULL instea
d
of 0 in t
e
stcases
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
Luc Van Ooste
n
ryck
ret-v
o
i
d: war
n
for implicit type
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
Luc Van Oostenryck
ret-voi
d
: add test case f
o
r topleve
l
a
sm
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van Oostenryck
t
each cgcc
a
b
out O
S
X aka darwin
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van
Oosten
r
yck
testsuite: avoid fork+execing basen
a
m
e
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van Oost
e
nryck
testsuite: remov
e
unneeded '
.
/' before commands
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Lu
c
Van Oostenryck
t
e
stsuite:
u
se
s
h
ell arithmetic in
s
tead of fork-exec
i
ng
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van Oost
e
nryck
testsuite:
grep the out
p
ut patterns
o
n
ly when n
e
ed
e
d
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van Oost
e
nryck
testsuite: gre
p
the expected output
o
n
ly when needed
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc
Van Oostenr
y
ck
testsuite: get all tags in once
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
Merge branches 'dump
-
macros-v2', 'fix-predefined-size
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c
Van
O
os
t
enryck
let -d
D
repo
r
t mac
r
o de
f
ini
t
ions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
teach sparse how
to handle -d
D
flag
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Ooste
n
ryck
f
ix definition of __SCHAR_MAX__ & f
r
iends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
a
void
t
o
redefine __INT
_
MAX__ and friends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c Van
O
oste
n
r
yck
fix har
d
coded
size of wide chars
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Lu
c
Van Oostenryck
t
each
spars
e
h
ow to
d
ump macro de
f
initions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc
Van Oostenryck
d
e
fin
e
ident_lis
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Va
n
Oostenr
y
c
k
avoi
d
warni
n
g on explicit 'bool <- restrict
e
d' c
a
s
ts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c
V
a
n Oos
t
enryck
more tests for implicit
'
bool <- r
e
stricted' c
a
st
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryc
k
add
s
uppor
t
for
a
new f
l
ag: -fdump-linea
r
ize[=only]
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oo
s
tenryck
remov
e
origval fr
o
m
struct acc
e
ss_data
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c
V
an O
o
sten
r
yck
remove alig
n
men
t
from
struct
a
cce
s
s_data
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oosten
r
y
ck
fix implicit zero initializer
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
add
test case for lineariz
e
_initializer
(
) of bitfields
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
uc Van Oostenr
y
ck
remove bit_
s
iz
e
& bit_offset from
s
t
ruct acc
e
ss
_
data
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc
Van Oos
t
e
n
ryck
returns
the correct typ
e
when evaluating NULL
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
fix: k
i
ll old bran
c
h
i
n
insert_b
r
anch()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
L
u
c
V
an Oos
t
e
n
ryck
testsuit
e
:
cleanu
p
resul
t
files
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
L
u
c Van Oostenr
y
ck
use -fmem-repor
t
to report allocat
i
on stat
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oosten
r
y
ck
teach
spar
s
e how
t
o
h
andle '-fm
e
m-report'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oostenry
c
k
add
he
l
per
hand
l
e_si
m
ple_
s
witch(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oost
e
nryck
a
d
d
s
how_allocatio
n
_stats
(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oos
t
e
nryck
ad
d
get_<all
o
c
ator>_
s
t
a
t
s
(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van Oostenryck
Merge b
r
anches 'q
u
iets-bool-cast-restr
i
cted-v2
'
,
'keyword
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van Oostenryck
keyword
:
no pre-dec
l
aration need
e
d for attribute names
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van Oostenryck
k
eywor
d
: ad
d
a
comme
n
t
about
N
S_T
Y
P
E
D
EF & r
e
se
r
v
ed
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Lu
c
Van Oosten
r
yck
keyw
o
r
d
: add more reserved keywords
t
o the test c
a
se
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van
Oostenryck
keywor
d
:
e
xp
l
icitly add
C
99
& C11 key
w
ords
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Lu
c
Van Ooste
n
ryck
keywo
r
d: reg
r
oup the [reserved] ke
y
words
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van O
o
stenr
y
c
k
keyword: add test case
f
o
r
reserved '_Static_assert'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Lanc
e
Richar
d
son
s
p
a
rse: ad
d
support for
_
Sta
t
ic_
a
ssert
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Lu
c
V
a
n O
o
s
t
enryck
fix mis
s
ing reload
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
L
uc Van
Oos
t
enryc
k
fix b
o
olean
c
ontext for OP_
A
ND_BOOL
& OP_OR_BOOL
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
L
u
c Van Oostenryck
i
g
nore VOID
w
hen tr
y
i
ng to if-convert phi-nodes
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc
V
an Oos
t
enryck
fix: kil
l
u
n
reachable B
B
s after k
i
llin
g
a c
h
ild
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Lu
c
Van
Oostenry
c
k
let
kill_unr
e
a
chable_bbs() clear REPEAT_CFG_CL
E
A
NUP
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Lu
c
Van Oostenryck
i
n
troduce REP
E
A
T
_CFG_C
L
EA
N
U
P
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van
O
ostenryck
avo
i
d useless warning
for
'
bool <- rest
r
icted type
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-04-30
Luc Van Oosten
r
yck
Merg
e
branches '
s
e
n
t
/float
-
e
x
pand-v2', 's
e
n
t
/
f
ix-kill
.
.
.
commit
|
commitdiff
|
tree
2017-04-29
Luc Van
O
osten
r
yck
be more
c
aref
u
l
w
i
t
h co
n
cat_
u
s
e
r_list(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-04-01
L
u
c
V
a
n Oost
e
n
r
y
ck
fi
x
O
P_PHI usag
e
i
n t
r
y_to_simplify_bb(), correctly
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
L
uc
Van Oostenryck
fix
e
xpans
i
on of
integers t
o
floats
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oostenryck
do not d
e
pends
o
n
lim
i
t
s
.
h to test __
C
HAR_BIT__
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oostenryck
fix cast to pointer to fl
o
a
ting-
p
o
i
nt
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van O
o
stenry
c
k
f
ix test valida
t
ion/div
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc V
a
n Oostenryck
p
r
ed
e
f
i
n
e __SIZEOF_INT__ & friends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oost
e
nryck
pr
e
d
e
f
i
n
e __INT_MAX__ and frien
d
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc V
a
n Oostenryc
k
fix test for cast to boo
l
on 32b
i
t
ma
c
hi
n
es
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc
Van
Oostenryck
fix is_scalar
_
type
(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oostenryck
fix evaluation
o
f a fu
n
ction or ar
r
a
y
symbol i
n
c
o
nditionals
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
L
uc Van O
o
stenryck
warn if testing th
e
addre
s
s o
f
an array
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oostenryck
add is_array_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van
O
ostenryck
warn if testing the
a
ddress of a function
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
L
u
c Van Oo
s
tenry
c
k
add
i
s_func_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc
Van Ooste
n
ryck
tea
c
h sparse about -Wad
d
ress
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree