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
fix: try_to_simplify_bb eargerness
2017-06-21
L
u
c
Van Ooste
n
ryck
fix: try_to_
s
i
mplify_b
b
eargerness
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-21
Lu
c
Van Oos
t
enryck
fix OP_PHI
u
sag
e
in try_to_simplify_b
b
()
o
nly w
h
en
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
L
u
c
V
an Oostenr
y
c
k
f
i
x: ad
d
missi
n
g examine in e
v
aluate_derefer
e
nce()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van
O
o
stenryck
add support
f
o
r -fmemcpy
-
ma
x
-count
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van
O
o
ste
n
ryck
a
dd support
f
or -Wmemcpy-max-
c
ou
n
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
L
u
c
V
an Oostenryck
memcpy(
)
's by
t
e count is unsigned
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc V
a
n Oos
t
enryck
cg
c
c
: fil
t
er-out '
-
f
dump-line
a
rize[
=
.
.
.
]'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
L
u
c
V
a
n
Oo
s
t
en
r
y
c
k
cgcc: add miss
i
ng warni
n
g names to ch
e
ck_on
l
y_opti
o
n()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
L
uc Van Oos
t
enryck
cgcc:
alp
h
asort warning na
m
e
s
i
n check_onl
y
_option()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van Oostenryck
keep the
w
a
r
nin
g
s
t
able
a
lphabetically sor
t
ed
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-14
Luc Van Ooste
n
ryck
M
e
rge bran
c
hes 'quie
t
s-bool-cas
t
-restricted-v3',
'
e
rror
.
.
.
commit
|
commitdiff
|
tree
2017-06-13
L
u
c
Van Oostenr
y
ck
Add more declarations for mor
e
builtin functions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-10
Luc
V
an Oostenryck
f
i
ner control ov
e
r error vs
.
w
arnings
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-10
Luc Van O
o
stenryck
use NULL instead of 0 in testc
a
s
es
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
L
uc Van Oosten
r
yck
ret-void: w
a
rn for implici
t
type
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
Luc Van Oostenryck
ret-v
o
id: add test case for to
p
level a
s
m
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van Oost
e
nryck
teach
c
gcc about OSX aka
d
a
r
w
i
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
L
u
c
V
a
n
Oostenryck
testsuite: avoid fo
r
k+execing basen
a
me
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc
V
an Oost
e
nryck
te
s
tsuite: remove unneeded '
.
/' before comman
d
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van O
o
stenryck
testsuite: use
she
l
l arithmet
i
c
i
nstead of for
k
-execing
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc
V
an
Oostenry
c
k
testsuite: gr
e
p the output patte
r
ns only
w
hen nee
d
ed
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van Oost
e
n
ryck
testsuite:
g
rep
the e
x
pected outpu
t
only when needed
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Lu
c
Van Oo
s
tenr
y
c
k
testsui
t
e: get all
tags i
n
once
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oost
e
nryck
Merge br
a
nches
'
du
m
p
-macr
o
s-
v
2', '
f
ix-predefined-si
z
e
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c
V
a
n
Oostenry
c
k
let
-dD rep
o
r
t
macro definition
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc V
a
n
O
ostenryck
t
eac
h
sparse how
to handle -dD flag
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oosten
r
yck
f
ix defin
i
tion of
__SCHAR_MAX_
_
& f
r
ien
d
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van
Oostenryck
avoid
t
o redef
i
ne __INT_MA
X
_
_ and friends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c
Va
n
O
o
st
e
nryck
f
i
x hardcod
e
d size of wide chars
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc
V
an Oosten
r
yck
teach sparse
h
ow to
d
u
m
p macro defin
i
t
i
ons
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oosten
r
yck
define id
e
nt_lis
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Lu
c
Van Oost
e
nryck
avoid
w
arning on explicit 'bool
<- restri
c
ted'
c
asts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
more
t
ests for impl
i
cit 'bool <- restr
i
cted' casts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
uc
Va
n
Oostenryck
add
s
upport fo
r
a new
flag: -fdump-lin
e
a
r
ize[=only]
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Lu
c
Van Oostenr
y
ck
r
e
move
orig
v
al from struct access_data
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van
Oostenryck
r
emove
a
lign
m
ent from struct access_data
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
fix im
p
licit zero initial
i
zer
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Lu
c
Van Oostenryck
a
d
d test case for linear
i
ze_init
i
ali
z
er() of bit
f
ields
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
remov
e
bit_size & bit_o
f
f
set from struct acc
e
ss_data
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc V
a
n Oost
e
n
ryck
returns the co
r
rect
type
w
he
n
e
v
a
luatin
g
N
U
LL
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
uc Van Oostenry
c
k
fix: kill old branch in insert_
b
ra
n
c
h
()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oostenryck
tests
u
ite: c
l
eanu
p
resul
t
files
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oostenryck
use -fmem-re
p
ort t
o
report allocati
o
n stats
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oos
t
enryck
t
e
ach sparse how to handle '-fm
e
m
-
r
eport'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oostenryck
add h
e
l
pe
r
handle_simple_switch()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc V
a
n Oostenr
y
c
k
a
d
d show
_
allocatio
n
_
stats()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
L
u
c Van Oostenry
c
k
add get_<all
o
cat
o
r>_stats(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Va
n
Oo
s
ten
r
yck
Merge branch
e
s 'quiets-bool-cast-rest
r
ict
e
d-v2',
'
keyword
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc
V
an O
o
stenryck
keyword:
n
o pre-declarati
o
n needed for attribute
n
a
mes
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van
Oostenryck
keyword
:
add a comment about NS_TYPE
D
EF & reserved
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van
O
ostenryck
k
e
y
w
ord:
a
dd m
o
re reserv
e
d keywords to
the test c
a
se
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van Oostenryck
k
e
y
w
or
d
: explicit
l
y
add C9
9
& C11 keyw
o
rd
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
L
uc Van Oos
t
enryck
k
e
ywo
r
d: reg
r
oup
t
he [reser
v
ed] keywords
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van
Oostenryck
keyword: a
d
d
test case for re
s
erved
'
_
St
a
tic
_
asser
t
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Lance Richardson
sparse: add support for _Static_assert
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc
V
an Oostenr
y
ck
fix mis
s
ing reload
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van Oostenryck
fi
x
b
o
ole
a
n context for OP
_
AND_BOOL
& OP_
O
R_BOOL
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van Oo
s
tenryck
ignore VOID
when trying
to if
-
convert phi-nodes
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Lu
c
V
a
n Oostenryck
fix: kill unrea
c
hable BBs aft
e
r
killing a child
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van Oosten
r
yck
let kill_unreac
h
able_bbs() clear REPEAT_CFG_CLEANUP
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van
O
ostenryck
introduce REPEAT_CFG_CLEANU
P
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van Oosten
r
yck
avoid use
l
ess
warning for 'bool
<
- restr
i
c
ted type
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-04-30
Luc Va
n
Oostenryck
Mer
g
e
branches 'sent/fl
o
at-
e
x
p
and-v2', 'sent/f
i
x-k
i
ll
.
.
.
commit
|
commitdiff
|
tree
2017-04-29
Luc
V
an Ooste
n
ryck
b
e
mor
e
c
areful
w
ith concat_u
s
e
r_lis
t
()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-04-01
Luc Va
n
Oos
t
enryck
fix OP_PHI u
s
age in try
_
to_simplify_bb
(
)
, cor
r
ectly
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
L
uc Van Oostenryck
fix e
x
pa
n
s
i
on o
f
intege
r
s
to flo
a
t
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oostenryck
do not de
p
ends on limits
.
h to t
e
s
t
__CHAR_B
I
T__
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van O
o
sten
r
y
ck
f
i
x
c
ast to pointer
t
o
floating-point
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc
V
an
Oostenryck
fix test va
l
i
d
ation/
d
iv
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van
O
ostenryck
predefine __
S
IZ
E
OF_INT
_
_ & friends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oosten
r
yck
predefi
n
e __INT
_
MA
X
__ and friends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oosten
r
yck
f
ix test for cast to bool on 32bit machines
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc
Va
n
Oostenryck
fix is_s
c
alar_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc
V
an Oostenryck
fix evaluation
of a f
u
nct
i
on
or
a
r
r
ay sy
m
bol
i
n
c
o
n
ditio
n
als
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
L
u
c Van Oosten
r
yck
warn if testing the address of an array
commit
|
commitdiff
|
tree
2017-03-22
Luc Van
Oostenryck
add
is_
a
r
ray_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van
Oostenr
y
c
k
warn if testing the address of a functi
o
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oostenryck
add i
s
_fu
n
c_typ
e
()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oostenryck
t
each spar
s
e ab
o
u
t
-
W
address
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree