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 fallback for missing __builtin_bswapXX()
2017-06-21
Luc Van Oost
e
n
r
yck
add
f
allb
a
ck for mis
s
ing _
_
buil
t
in_bswapXX()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-21
Luc V
a
n Oostenryck
fix:
try_to_simplify
_
bb ear
g
erness
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-21
Luc Van Oostenryck
fix
O
P_PHI
u
sage in tr
y
_to_si
m
plify_bb() only whe
n
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc
V
an Oostenr
y
ck
fix: add missing e
x
amine in evalua
t
e_der
e
ference
(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van Oost
e
n
r
y
ck
add suppo
r
t for -fmemcpy-max-
c
ount
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc
V
a
n
Ooste
n
ryck
a
dd s
u
p
p
ort for -Wmemc
p
y-max-count
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van
O
ostenr
y
ck
memcpy()'s byte
c
ount is unsigne
d
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van Oostenryc
k
cgcc: filter-out '-fdump-lin
e
a
rize[=
.
.
.
]'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van Oosten
r
yck
c
gc
c
: add missing w
a
rnin
g
na
m
es to
ch
e
ck
_
o
nly
_
opt
i
on()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van Oosten
r
y
c
k
cgcc: alphasort war
n
ing names in check_onl
y
_option()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Va
n
Oostenryck
keep the wa
r
n
ings table alphabetically
sorted
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-14
L
uc V
a
n Oostenryck
Merge branches 'quiets-
b
ool-ca
s
t-restricted-v3', 'err
o
r
.
.
.
commit
|
commitdiff
|
tree
2017-06-13
Luc
V
an Oos
t
enryck
Add more declara
t
ions for more
bu
i
l
tin functions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-10
Luc Van Ooste
n
ryck
fine
r
con
t
rol over erro
r
vs
.
warnings
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-10
Luc Va
n
Oostenryck
use NULL ins
t
ead
of 0 in testcases
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
Luc Van Oosten
r
yck
ret-void: warn for implicit
ty
p
e
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
Luc Van
Oostenryc
k
r
e
t
-void:
a
dd test case for toplevel asm
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van Oostenryck
teach cgcc abou
t
OSX
a
ka darwin
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc
Van Oost
e
nryck
testsuite: avoid fork
+
execing basenam
e
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
L
u
c Van Oos
t
enr
y
ck
tes
t
suite: remove unneeded '
.
/' before command
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Va
n
Oostenryck
te
s
tsuite: use shell arithmetic instead of
fork
-
execing
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Lu
c
Va
n
Oostenr
y
c
k
testsuite: grep the output patterns only when neede
d
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
L
uc Van Oostenryck
t
e
stsuite: grep the
e
xpected out
p
ut only
when needed
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van Oostenryck
testsuite: get
a
ll tags
i
n once
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
uc Van Oostenry
c
k
Mer
g
e branche
s
'dump
-
macro
s
-v2', 'fi
x
-predefi
n
ed-size
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
let -dD report macro definitio
n
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc
Van O
o
sten
r
yc
k
teach spar
s
e how to ha
n
dle -dD
fl
a
g
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van
O
o
s
tenryc
k
fix defin
i
tion of __
S
CHAR_MAX
_
_ &
f
riends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Lu
c
Van Oo
s
te
n
ryck
avo
i
d to redefine __INT_MAX__
and fr
i
e
nds
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van O
o
stenr
y
ck
fix hardcoded size of wide
cha
r
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc
V
an Oostenryck
teach
s
parse how to dump macr
o
def
i
nitions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c Van
O
o
stenryck
def
i
ne ident_l
i
st
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc
Van Oostenryck
avoid war
n
in
g
on
e
xp
l
icit 'boo
l
<
-
restricted'
c
asts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Va
n
Oostenryc
k
more tests for implicit 'bo
o
l <- restr
i
cted' c
a
sts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c Van Oostenryck
add support for a new fl
a
g: -fdump-linearize[=on
l
y]
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Lu
c
Van Oostenryck
r
e
m
ove origval from
struct acce
s
s_data
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c
V
an
O
ostenryck
remove a
l
ignment from struct access_
d
ata
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c
Van Oostenr
y
ck
fix implicit z
e
ro initializer
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
add
test
c
ase for li
n
earize_i
n
i
t
ializer() of bitfiel
d
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
uc Van Oostenryck
remove bit_size &
bit_offset fro
m
struct access_d
a
t
a
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
uc V
a
n Oostenryc
k
returns t
h
e correct
type when
eva
l
uating N
U
LL
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Va
n
Ooste
n
r
yck
fix: kill old br
a
nch in ins
e
rt_br
a
nc
h
()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oostenryck
tes
t
suite: cleanup result
f
il
e
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc V
a
n Oostenr
y
ck
use -fme
m
-report
to repo
r
t allocat
i
o
n
stats
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
L
u
c
Van
Oos
t
e
n
ryck
teach sparse how to hand
l
e
'
-
f
mem-re
p
ort'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oostenryck
add helper han
d
le_si
m
ple_s
w
itch
(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Lu
c
Van Oostenry
c
k
add show_
a
llocation_stats()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van
Oostenry
c
k
add
g
e
t_<allocato
r
>_stats()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van Oostenryck
Merge
branches
'
quiets-bool-cast-restr
i
c
ted-v2',
'keywo
r
d
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van Oostenryck
keyword:
no pre-decl
a
ration needed
for
a
ttribute nam
e
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Lu
c
Van Oos
t
e
nryck
keyword: add a comment ab
o
ut NS_TYPEDEF & res
e
rved
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Lu
c
V
an
O
ostenryc
k
ke
y
word: add more reserved keyw
o
rds
to th
e
t
es
t
case
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
L
u
c Van
Oostenr
y
c
k
keyword:
explici
t
l
y
add C99 & C
1
1
k
ey
w
ords
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van Oos
t
enryck
k
eyword
:
regroup the [re
s
erv
e
d]
k
eywords
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc
Van Oostenryck
keyword: add test
c
as
e
for reserv
e
d '_S
t
ati
c
_assert'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Lance Richards
o
n
sparse:
add s
u
pport for _Static_assert
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc
V
an O
o
stenr
y
ck
fix mi
s
sing relo
a
d
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
L
uc Van Oostenryck
fix boolean
c
o
n
te
x
t
f
or O
P
_AN
D
_BOOL & OP_O
R
_
B
OOL
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van Oostenryck
ignore VOID when trying to
if-conver
t
phi-nodes
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc
Van Oostenryck
fix
:
k
i
ll
unreacha
b
le BBs after killing a child
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van Oostenry
c
k
let k
i
ll_u
n
reachab
l
e_bbs(
)
c
lear REPEAT_CFG_CL
E
ANUP
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van Oos
t
e
n
ryck
introdu
c
e REPEAT_C
F
G_CL
E
A
NUP
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van Oostenr
y
ck
avoid useless warnin
g
for 'boo
l
<-
r
e
str
i
cted
t
ype
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-04-30
L
u
c Van Ooste
n
ry
c
k
Me
r
ge
b
r
a
n
c
hes 'sen
t
/flo
a
t-
e
x
p
a
nd
-
v2', 'sent/fix-ki
l
l
.
.
.
commit
|
commitdiff
|
tree
2017-04-29
Luc Van Oostenryc
k
b
e mor
e
c
a
reful
with concat_use
r
_l
i
st()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-04-01
Luc Van Oostenryck
fi
x
OP_PHI us
a
ge in try_to
_
simplify_b
b
()
,
correctly
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc V
a
n Oostenryck
f
ix
e
xpansion of i
n
teger
s
to floats
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
L
u
c Van Oostenryck
do not de
p
ends
o
n li
m
its
.
h to
t
est __CH
A
R_BIT__
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc
V
an Oostenry
c
k
fix cast to po
i
nter to float
i
ng
-
poin
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oostenryck
f
i
x
test validation
/
div
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc
Van
Oo
s
t
enryck
p
r
edefine __SIZEOF_I
N
T_
_
& frien
d
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc
V
an Oostenryck
p
re
d
efine __
I
NT_MAX__
a
nd frie
n
ds
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oostenryck
fi
x
test
for cast to bool on 32bit mac
h
ines
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van O
o
st
e
n
ryck
fix is_scalar_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oostenryck
fix ev
a
luation of a
f
u
n
cti
o
n or arr
a
y s
y
m
bol in
c
on
d
i
tionals
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
L
uc Van Oostenryck
warn if
testing the
a
ddre
s
s o
f
an a
r
ray
commit
|
commitdiff
|
tree
2017-03-22
Luc Va
n
Oostenryck
add is_ar
r
ay_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc V
a
n O
o
st
e
nryck
warn if testi
n
g the
address o
f
a function
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
L
u
c Van Oos
t
enryck
add is
_
func
_
type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oosten
r
yck
teach
s
parse about -Waddress
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree