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: __builtin_bswap{16,32,64}() constantness
2017-06-21
Luc V
a
n Oostenryck
fix: __
b
uiltin_bswap{16,32,64}() constan
t
ness
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-21
L
u
c Van Oos
t
en
r
yck
add fall
b
ack for missing __builtin_b
s
wapX
X
()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-21
L
uc Van Oos
t
enryck
f
i
x: try_to_simplif
y
_bb eargerness
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-21
Luc Van Oostenryck
fi
x
OP_PHI usage in try_to_simplify_bb() only when
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van Oostenryck
f
i
x:
add miss
i
ng e
x
a
m
i
ne 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
s
up
p
o
rt for
-
fmemc
p
y-max-cou
n
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc
V
an Oost
e
nr
y
ck
add
support for -W
m
e
mcp
y
-max-count
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van Oostenryck
memcpy()'s b
y
te count is unsign
e
d
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van Oostenry
c
k
cgcc: filter-out '-fdum
p
-
l
inearize[=
.
.
.
]'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc
V
an Oos
t
en
r
yck
cgcc:
add mis
s
ing
w
ar
n
i
ng names to
check_only_optio
n
()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc
V
a
n
Oostenryck
cgcc: alphasort warning names in
c
h
eck
_
only_o
p
tion()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc
Van
O
o
stenryck
keep the warnings tabl
e
alphabet
i
cal
l
y
sor
t
ed
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-14
Luc V
a
n O
o
stenryck
M
e
rge branches
'q
u
i
e
ts-bool
-
c
ast
-
restricted-v
3
'
, '
e
r
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2017-06-13
Luc Van Oostenryck
A
d
d
m
ore declarations
f
or more builtin f
u
n
c
ti
o
ns
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-10
Lu
c
Van Oos
t
enry
c
k
finer
c
ont
r
ol
ove
r
e
r
ror
vs
.
warning
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-10
Luc Van Ooste
n
ryck
use NULL inst
e
ad of 0
in testca
s
es
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
Luc Van Oostenry
c
k
ret-void:
warn for
i
m
plicit type
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
Luc Va
n
O
osten
r
yck
r
et-void: add
test
case for
toplevel asm
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Va
n
Oost
e
nryck
te
a
ch cgcc a
b
o
ut OSX aka da
r
wi
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
L
u
c Van Oo
s
t
e
nryck
testsuit
e
: avoid fork+execing basename
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
L
u
c Van Oos
t
e
nryck
tests
u
ite: remo
v
e unneeded
'
.
/' before commands
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van O
o
s
tenryck
te
s
tsuite:
use shell arit
h
metic instead of f
o
rk-exec
i
ng
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc V
a
n Oostenryck
t
e
stsuite: g
r
ep the ou
t
put patterns only w
h
en n
e
eded
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
L
uc
V
an Oostenryck
t
e
stsuite: grep the ex
p
ected
o
utput onl
y
when needed
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc
V
an
O
o
s
tenryck
test
s
u
i
te: get all tags in once
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
uc Van Oos
t
enryc
k
Mer
g
e branc
h
es 'du
m
p-macros-v2', 'fix-
p
redefined
-
size
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van
Oostenryc
k
let
-dD report macro
d
efinit
i
ons
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Lu
c
Van Oostenryck
t
each sparse how to hand
l
e
-
dD
flag
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van
Ooste
n
ryck
fi
x
de
f
inition
o
f __SCHAR_
M
AX__ &
friends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c Van Oostenryck
avoi
d
t
o
redefi
n
e __INT_MA
X
_
_ an
d
frien
d
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van
O
ostenry
c
k
fix
hardc
o
d
e
d size
o
f wide chars
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc
V
an Oos
t
enryck
teach s
p
ars
e
h
o
w to du
m
p
macro def
i
ni
t
ions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
uc V
a
n
O
ostenryck
defi
n
e ident_list
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van
O
ostenryck
avoid warning on exp
l
icit 'bool <
-
res
t
ricted' ca
s
ts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oos
t
e
nryck
more tests f
o
r impl
i
c
i
t '
b
oo
l
<- r
e
stricted' casts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
uc Va
n
Oostenryck
add
support for a
new fla
g
: -
f
dump-linearize[=
o
nly]
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryc
k
remove ori
g
val from stru
c
t acc
e
s
s
_
d
ata
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Va
n
Oo
s
tenryck
remo
v
e
a
lignme
n
t from struc
t
access_data
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
fix implicit zero initiali
z
er
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c
Van
O
o
s
tenryck
a
dd test case for linear
i
ze_initializer() o
f
bitf
i
eld
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
rem
o
ve
bit_size & bit_offset from
struct access_data
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc
V
an Oostenryck
returns the correct type when evaluating
NULL
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Ooste
n
ryck
fix
:
k
i
ll old branch in insert_br
a
nch
(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
L
u
c Van Oosten
r
yc
k
t
estsuite: cleanup resul
t
files
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc
V
an Oost
e
nryck
u
se -
f
mem-repo
r
t
to report allocation stats
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
L
u
c Van Ooste
n
r
y
c
k
teach sparse how to handle
'-fmem-rep
o
rt'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oostenryck
add hel
p
er handle_simple_s
w
itch()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oos
t
enryck
add s
h
ow_al
l
oca
t
ion_stats()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van
O
os
t
enryc
k
add get_<alloc
a
tor>_stats()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Lu
c
V
an Oosten
r
yc
k
Mer
g
e branches 'quiets-
b
ool-cast-
r
estricted-v2', 'keyword
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van Ooste
n
ryck
keywo
r
d: no pre-dec
l
aration nee
d
ed for attribut
e
names
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van
Oostenry
c
k
keyword: add a comment about NS_TYPEDEF & reser
v
ed
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van Oo
s
tenryck
ke
y
word: a
d
d more reserved
keywo
r
ds t
o
t
he test case
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van
O
ostenryck
keyword: exp
l
i
cit
l
y
a
dd
C99 &
C
1
1 k
e
yw
o
rd
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van
O
ostenryck
keyw
o
rd: regroup t
h
e
[
r
eserved] keyword
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van Oostenry
c
k
keyword: ad
d
test
c
ase for res
e
rved '_Static_assert'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
L
a
n
c
e
Richardso
n
spars
e
:
a
dd
s
up
p
ort
f
o
r
_
S
ta
t
ic_asse
r
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van
O
ostenr
y
ck
fix missing
r
e
lo
a
d
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van Oost
e
nryc
k
f
i
x boolean conte
x
t for OP_AND_BOOL & OP_OR_BOO
L
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
L
u
c
Van Oostenr
y
c
k
ig
n
or
e
VOID w
h
en trying
t
o
if-
c
onvert phi-
n
od
e
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
L
u
c
V
an Oo
s
tenr
y
ck
f
ix:
ki
l
l
unreachable BBs after k
i
lli
n
g a child
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc
V
an Oostenryck
let kill_unreach
a
ble_bbs() cle
a
r REPEAT_CFG_
C
L
EANUP
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc
Van Ooste
n
ry
c
k
int
r
o
d
uce REPEAT_CFG_CLEANUP
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van Oostenryck
avoid useless war
n
ing
for
'bo
o
l <
-
restricted type
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-04-30
L
uc Van Oosten
r
yck
Me
r
ge branche
s
'sent/
f
loat-expand-v
2
', 'sent/fix-
k
ill
.
.
.
commit
|
commitdiff
|
tree
2017-04-29
Luc Va
n
Oostenryck
be m
o
re care
f
ul with concat_u
s
er_list()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-04-01
Luc
V
an Oostenryck
fix
OP_PHI usage in t
r
y_t
o
_s
i
mplif
y
_bb(), correct
l
y
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oostenryc
k
fix expansion of i
n
tegers to floats
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oo
s
tenryck
do not depe
n
ds on limit
s
.
h
t
o test __CHAR_
B
IT_
_
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc
V
an Oostenryck
fix cast to poin
t
er to
float
i
ng-point
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc
V
an Oost
e
nryck
fix tes
t
validatio
n
/
div
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oo
s
tenryck
predefine __SIZEO
F
_I
N
T__ &
f
rie
n
ds
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van
Oostenryck
pr
e
defi
n
e __INT_MAX__
and fr
i
ends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van
O
o
s
tenryck
fix 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
V
an
O
ostenryck
fix i
s
_scalar_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc
V
an O
o
sten
r
yck
f
i
x evaluati
o
n
o
f a func
t
ion or arra
y
symbol in conditionals
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Lu
c
Van Oostenryck
warn if testing
t
he address of an array
commit
|
commitdiff
|
tree
2017-03-22
Luc V
a
n Oostenryck
a
d
d
is_array_
t
ype()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc V
a
n Oostenryck
warn
i
f
testing th
e
address o
f
a function
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc
V
an Oostenryck
add
i
s
_
func_
t
ype()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oosten
r
yck
teach sparse about -Waddress
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree