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 cgcc ELF version for ppc64/pcc64le
2017-10-03
Luc Van O
o
stenryc
k
fix cgc
c
ELF version for ppc64/pcc64le
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-10-03
Uwe Kleine-König
cgcc: p
r
ovide __ARM_PCS_VFP for
a
r
mhf
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-10-03
U
we
Kleine-König
compile-i386:
Use S
P
A
RSE_VERSION
in
s
tead o
f
__DATE__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-10-03
U
w
e Kle
i
ne-K
ö
nig
cg
c
c: teach cgcc about G
N
U/kFree
B
SD
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-10-03
Uwe Kleine-K
ö
n
i
g
buil
d
:
r
em
o
ve version
.
h in
c
l
ean
t
arget
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-09-19
Martin
K
eppl
i
nger
compile-i
3
86: make use of expres
s
i
on_list_size()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-09-12
Luc Va
n
O
ostenryck
build: disab
l
e
s
pa
r
se-llvm on non-x86
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-09-12
Martin Ke
p
pl
i
nger
compile-i
3
86
.
c: f
i
x a memory leak in
sort_array()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-09-01
Al Viro
Sparse preproc
e
ssing
b
u
g with
ze
r
o-arg variadic m
a
cros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-29
Christopher Li
Merge remot
e
-tr
a
cking
branch 'luc/conste
x
pr-v4' into
.
.
.
commit
|
commitdiff
|
tree
2017-08-20
C
h
ristopher Li
gcc attr
:
a
d
d n
o
nst
r
ing warn_i
f
_not_
a
ligned
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-18
Chr
i
stopher Li
M
e
rge
remote-t
r
acking
b
r
a
nch 'l
u
c/master'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-17
Chr
i
stopher L
i
Spa
r
se 0
.
5
.
1
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-11
Christ
o
phe
r
Li
Merge remot
e
-tra
c
king branch 'luc/rem
o
ve
-
singles
t
ore
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-11
R
andy
D
unla
p
d
o
cumentation:
u
pdate email reference link
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-11
C
hris
t
ophe
r
L
i
tes
t
-inspect
:
De
t
ect gtk3 then gtk2 packag
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-11
C
h
ristopher Li
test-inspect: handle speci
a
l cas
e
iter==NUL
L
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-11
Christoph
e
r
Li
D
o
c
umen
t
s: projec
t
ideas
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-11
Chri
s
t
o
p
her Li
Ad
d
ing document for s
p
arse p
a
tch submit
p
rocess
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-10
Chris
t
oph
e
r Li
Ad
d
ing gcc attribut
e
noipa etc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-10
Ramsay Jones
Mak
e
file: pa
s
s -Wno-
v
la to spa
r
se while
checking pre
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-10
Ramsay Jones
lib: workaround the
'
r
edeclared with different type
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-10
C
h
ristop
h
er
L
i
fix warnings report by selfcheck
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-10
C
hr
i
stopher Li
A
d
d
i
ng
_
Pragma()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-10
Christopher Li
Makefil
e
:
add selfch
e
ck targe
t
Signed-off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-10
Christ
o
p
h
er Li
Makefile: clean up a
n
d simplify
Signed-off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-10
Christopher Li
Add
t
est
c
ase for the win
e
de
a
d loop bug
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-10
Christopher Li
M
erge
r
emo
t
e-tra
c
k
ing branch 'luc/fix-type-bad
-
cond
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-10
C
hristopher Li
Merge remote-t
r
acking branch 'luc/
f
ix-n
e
sted-pseud
o
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-08-10
Chri
s
topher Li
Merge remote-tr
a
c
king branch
'
luc/fix-fuzzy-crashes-v3'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-07-14
Christopher Li
Add
i
ng gcc at
t
r
i
b
u
te no_gcci
s
r
Signed-off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-07-04
Ch
r
ist
o
phe
r
Li
bu
m
p sparse's version to
0
.
5
.
1-rc4
Signed-of-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-07-04
Ch
r
istopher L
i
Add full list of gcc attribute
Signed-off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-07-04
C
h
rist
o
pher Li
Le
t
create_symbo
l
check for pre
v
ious
same sym
b
ol
Signed-off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-06-24
Christopher
L
i
Adding ignored at
t
ri
b
ute optimize
Signed-of-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-31
Luc Van Oostenryck
avoid
crash with test-linear
i
ze -vv
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
L
u
c
V
a
n
O
o
sten
r
yck
use V
O
ID instea
d
of dir
e
c
t
l
y
using &void_pseudo
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oost
e
nryck
mov
e
'e
x
tern
w
ith i
n
itialize
r
' valida
t
ion after t
h
e
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryck
check th
e
st
o
rage of C99 for-loo
p
initializers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Lu
c
Van Oos
t
enr
y
ck
ad
d
an
optio
n
a
l
validation method to external_declaration()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Ooste
n
ryck
add
t
est
c
a
s
es for sto
r
ag
e
of c99 for-loop
d
e
c
l
a
r
ations
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Lu
c
Van Oostenryck
add t
e
st case for sco
p
e
of
C
99 for-loop decla
r
a
tions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
L
uc
Van Oo
s
tenryck
r
eplace t
e
st for c99 for-
l
oop initi
a
l
i
zers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van
O
ostenryck
r
e
move
u
nused helper is_
b
ranch_goto()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenr
y
c
k
split
O
P
_
BR betw
e
e
n uncon
d
itional & conditional: OP
_
CBR
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
L
u
c V
a
n Oostenryck
fix
size
of loaded bitfield
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van
Oostenryck
fix
usage in simpli
f
y
_
seteq_setne()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Va
n
Oostenryck
ignore
w
hole-range overlapping
i
n
itializer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
f
i
x
ch
e
cking of over
l
appi
n
g
i
niti
a
lizer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Va
n
O
o
stenryck
allow
to warn
on all overlappi
n
g initiali
z
ers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc V
a
n Oostenryck
add test
case for war
n
ings about overlapping initia
l
i
zers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc
V
an Oostenryck
u
s
e option:
'
-Woverride-
i
nit'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
E
dw
a
rd Cree
Allow ca
s
ting to
a restric
t
ed
type if !restricted_va
l
ue
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Lu
c
Van
O
o
s
tenryck
m
a
ke -Wbitwise
ope
r
a
tional aga
i
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-27
Luc Van
O
ostenry
c
k
add missing braces around FOR
_
EACH_PTR loop
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-26
Luc Van Oosten
r
yck
fix expa
n
si
o
n
c
ost of pure function
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Lu
c
Van
Oostenryck
CSE: avoid
h
ashing rem
o
ved
instructio
n
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Luc V
a
n O
o
stenryck
CSE: use comm
u
tativity
to iden
t
ify equival
e
nt
i
nstructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van
Oost
e
nr
y
ck
CSE: add test cases for comparisons duality
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oo
s
t
enryck
simplify float-to
-
floa
t
c
asts t
h
at
d
o
e
sn't chan
g
e s
i
z
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
yck
fix
O
P_PHI us
a
g
e in try_to_simplify_bb()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Ooste
n
r
y
ck
use
k
ill_
i
nstruc
t
ion()
when killing any instructions
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryck
u
se kill_instruction() when killing
an OP_PHI during C
S
E
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oostenryck
fix
k
illing of re
w
ri
t
ten loads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add killing of
s
tores
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add killing of non-v
o
lat
i
le loa
d
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryc
k
fix killing OP
_
CALL via pointer
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add
ki
l
ling of
p
ure
calls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oostenryc
k
kill_instruction() may
nee
d
t
o
be forced or n
o
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix killing of o
t
herwise not-han
d
led
instr
u
c
t
ions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
remove unu
s
ed cl
e
ar_
p
hi()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Ooste
n
ryck
fix cl
e
ar
_
ph
i
(), replace it by kill_instr
u
ction()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oostenryc
k
fix kill
i
ng
o
f OP_PHI
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
yck
add
h
elper kill_us
e
_list()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oost
e
nryck
add killing of
O
P
_PHISOURC
E
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add killing
of OP_SLICEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oosten
r
yck
fix
show-p
a
rse()'s la
b
els
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc V
a
n Oo
s
t
e
nry
c
k
remo
v
e unused
f
ield '
g
o
to_bb
'
in struct statem
e
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
remov
e
un
u
sed field 'mult
i
j
m
p'
in struct statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oo
s
t
e
n
ryc
k
cleanup: there is
no 'struct phi' to allocate
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Oos
t
enr
y
ck
tests
u
ite:
q
uiete
r
error reporting for
'
known-to-fail'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
testsuite:
allow quieter error report
i
ng
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
t
est
s
uite:
g
e
t
'check-
k
nown-to-fail' ea
r
li
e
r
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oo
s
tenryck
testsui
t
e:
use 'error' instea
d
of 'info' for successful
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
testsuite: check the nbr of times a pattern shou
l
d
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oosten
r
yck
tes
t
suit
e
:
a
d
d
s
ome
s
elfcheckin
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
O
o
stenryck
t
estsuite: ch
e
ck patterns presence or absence in out
p
ut
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
ostenryck
al
l
o
w
t
o launch the test suite from t
h
e
p
roje
c
t root d
i
r
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsu
i
te: report a
s
e
r
ror
tests k
n
own
t
o
f
ail but
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite:
a
dd tag to ignore the output/error
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
e
n
ryck
testsuite:
add a simp
l
e test for -Wenum-mismatch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
te
s
tsuite: simplify the ioc-typecheck ca
s
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oo
s
tenryc
k
t
es
t
suite: mak
e
tests know
n
to fai
l
eff
e
ctively fail
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsu
i
t
e: gi
v
e a proper name t
o
the 'bi
n
ary-con
s
tant
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
oste
n
ryck
ex
p
and __builtin_bsw
a
p*()
w
ith cons
t
ant args
Based-on-patch-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
te
n
ryck
let identical symbols share their evalu
a
te/expand met
h
ods
Originally-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
m
ove evaluation & expansion of builtins in a separ
a
te
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add support fo
r
LLP64 arch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
simplify '(x
|
|
x)' and '(x &&
x
)
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oost
e
n
ryck
simplify c
o
mparisons followed by an eq
u
ality test against
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next