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 an helper for common predefined macros
2017-02-13
Luc V
a
n Oost
e
nryck
ad
d
a
n
h
elper
for comm
o
n predefined m
a
cro
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
define _
_
LP6
4
_
_
& _LP64 if arch_m64 is enabled
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oos
t
enryck
fix ki
l
ling
O
P
_SETVAL ins
t
ructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
remove
'
Escape' from token
c
haract
e
r class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
O
ostenryck
w
arn on
unkn
o
wn
escapes after preprocessing
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
add
testcase for wrong early
esca
p
e
c
onversion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
ryck
remove u
n
used arg in u
s
es/defs
f
unc
t
i
ons
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
valida
t
e exp
r
e
s
sio
n
's type in con
d
itional
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add helper:
is_scal
a
r
_
type(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
fix
conditiona
l
cont
e
xt te
s
t
case with void
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
c
l
e
anup kill_
i
nstruction()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
explicitel
y
ign
o
re killing OP_ENTRY
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
fix
killing OP_COMPUTE
D
GOTO
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenry
c
k
fix killing OP_SELEC
T
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
fix k
i
lling OP_
C
AST &
friends
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
O
o
s
tenryck
fix killing
O
P_PHI
i
n
structions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oostenryck
ki
l
l uses of
repl
a
ced instruc
t
ions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenry
c
k
f
i
x
crash while te
s
ting between
c
onditio
n
al & unconditional
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
fix cast's ta
r
get type
i
nfo
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenry
c
k
C11: teac
h
sparse about '--
s
td
=
{
c11,gnu1
1
}
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenry
c
k
C11: teach sparse
ab
o
ut
'
_
Alignas()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
C1
1
: teach sparse about
'
_
Alig
n
o
f()
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryc
k
C11: teach sparse abo
u
t
'_Noreturn'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
C11: teach s
p
arse about '_Thr
e
ad_local'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
tenr
y
ck
fix value of
l
abel
s
tatement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
m
i
ssin
g
load simplification
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
fix phisrc m
i
xup
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
y
ck
fix sup
e
rfluous phisrc
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
volatile loads must n
o
t be simpl
i
fied
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
ryck
unssa: update comment about
t
h
e unneed
e
d cop
i
es
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
u
nssa: eliminate trivial phis
r
c
c
opies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
unss
a
: try to
avoid some OP_PHI copi
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryc
k
unssa: simplify rewrite of OP
_
PHISOURCE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
unssa: do
not try
to update l
i
v
eness
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix cast to bool
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
n
r
y
c
k
llvm: re
m
o
v
e unneed
e
d
OP_COPY sup
p
o
r
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oos
t
enryck
ll
v
m: fix typing
when
comparing to a cons
t
ant
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
enryck
f
ix typing
e
r
ror in co
m
pound assign
m
en
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
ad
d
support for __int128
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
fix
missin
g
element
i
n
type
s
decla
r
ation
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
recursive phi_defines cannot ha
p
pen
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
tenryck
cgcc should not
d
ef
i
n
e
non-
r
e
s
erved id
e
ntifiers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenr
y
ck
Update main
t
ainer
s
i
n
the manpage
CC: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
som
e
mod
i
fiers n
e
ed to be
p
r
e
se
r
ved by 'typeof()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
ten
r
yck
tests
u
ite: t
e
st mo
d
if
i
ers
prese
r
ved by 'typeof(
)
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
tes
t
suite: t
e
st modifie
r
s pr
e
served
b
y '&' operato
r
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
stenryck
use a shorter
na
m
e for f
u
nction
-
pointer-
m
o
difier-inh
e
ritance
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenr
y
ck
testsui
t
e: s
i
mplify test func
t
i
o
n-p
o
inte
r
-inh
e
ritanc
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oost
e
nryck
stora
g
e
s
hould n
o
t be inherited
b
y
pointers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oosten
r
yck
r
e
mo
v
e un
u
s
ed f
i
eld 'multijump' in
s
t
r
u
ct
instruction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
r
yck
OP_
S
W
I
TCH
s
hou
l
d use 'insn->con
d
' instead of '
i
nsn
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
g
i
ve comparable
l
abel
'
s names t
o
basic bl
o
ck
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenr
y
ck
let "c
o
mpi
l
e" not crash on bools
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
make ptrlist walking against r
o
bust
a
gain
s
t empty bloc
k
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Emily Maier
valida
t
i
on: Check C99 for loop variables
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Daniel
Wagner
parse: Add comm
e
n
t to struct stateme
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nesterov
d
issect
:
s/mode_t/u
s
a
ge_t/
i
n
report_member()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
O
leg N
e
sterov
dissec
t
:
teac
h
do_initi
a
lizer(
)
to handle the nested
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nesterov
d
i
ssect
:
teach do_express
i
on() t
o
handle
EXPR_OF
F
SETOF
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
a
d
d t
e
st case f
o
r
builtin bswap with constant ar
g
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
J
o
hannes Berg
imp
l
ement c
o
n
stant-folding in __bu
i
ltin_bswap*()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix
d
iscarded
label statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
Remove unneeded variab
l
e
in
integer_promotion()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oo
s
tenr
y
ck
W
arn on
unknow
n
at
t
r
ibutes instea
d
of
thr
o
wing e
r
ror
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Oostenryck
cleanup
:
r
e
mo
v
e evaluate
_
arg
u
m
ents()'s unused
argume
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Luc
Van
Ooste
n
ryck
m
ak
e
'ig
n
ored_attributes[]' static
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Emily
M
aier
li
n
e
a
riz
e
: Emit
C
99 declara
t
ion
s
co
r
rectly
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Luc
Van Oo
s
tenr
y
c
k
add
m
i
s
s
i
ng #inc
l
ude
"
char
.
h
" to char
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Luc V
a
n Oostenryck
Fix typ
e
chec
k
in
g
of variadic functions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Lance R
i
chardson
s
p
a
rse
:
update __b
u
iltin_o
b
j
ect_size()
prot
o
t
ype
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
L
u
c Van O
o
stenryck
fix mixup in
"Ha
n
dle
S
F
orced in s
t
orage
_
modif
i
e
r
s"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-11-16
Jeff Layton
Hand
l
e SF
o
rced
in storage_mod
i
fie
r
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-27
Rui Teng
s
parse: add no_sanitize_ad
d
ress a
s
a
n ignor
e
d attribu
t
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
Lance Richards
o
n
sparse: ignore
_
_ass
u
me_aligne
d
__ attribut
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
Ramsay Jones
sparse: add
'allo
c
_
a
lign' to the i
g
nore
d
attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
Christopher Li
Fix
wa
r
ni
n
g compiling sparse-llvm
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-02-22
L
u
c Van
O
ostenryck
Do not drop 'no
c
ast
'
modifier when ta
k
ing the address
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-02-04
Luc
V
an Oostenryck
F
i
x
s
ize ca
l
cula
t
io
n
of un
s
ized
b
ool
a
r
r
ay
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-15
To
n
y
Camuso
Add defa
u
lt case to s
w
itches on enu
m
variables
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-15
Tony C
a
m
uso
.
gitigno
r
e: add
c
scope and Qt project files
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-04
Dan Car
p
enter
ptr
l
ist
:
re
a
di
n
g delet
e
d
items in NEXT_P
T
R_LIS
T
()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-06-14
Azat Khuzhin
v
al
i
dati
o
n/pr
o
totyp
e
: r
e
gr
e
ssion for ski
p
ping pr
o
totyp
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-06-14
Az
a
t
Khuzhin
sparse, llvm: c
o
mpile: sk
i
p function pro
t
o
t
ypes to
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-06-12
Heiko Carstens
sparse/par
s
e
.
c:
i
gnore ho
t
patch attr
i
bute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-04-21
Michael S
t
efan
i
u
c
A
dd tes
t
s fo
r
the b
u
i
ltin INF and nan() f
u
nctions
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
A
rd Biesheuvel
Ignore pure attribute in assig
n
e
ment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
Michael
S
t
efaniuc
Add a define
f
or __built
i
n_ms
_
va
_
c
o
py()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
Mi
c
ha
e
l St
e
faniu
c
Add th
e
__b
u
ilt
i
n
func
t
ions
needed fo
r
INFINITY
a
nd
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-02-09
Luc Van Oo
s
te
n
ryck
Tea
c
h sparse a
b
out t
h
e __COUNTER__ predefined
m
acro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-02-06
C
hristopher Li
Make ma
c
ro
expanded
s
tring immut
a
b
le
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-01-28
C
h
ristian Born
t
raeg
e
r
s390x: add the proper de
f
ines for data types
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-12-12
C
hristopher L
i
Ptr
l
ist sorting
shoul
d
use
memmov
e
in
s
tead of memcpy
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Aaro Koskinen
build: allow use of
P
KG_C
O
NFI
G
to over
r
ide pkg-co
n
fig
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ra
m
say Jones
compile-i386
.
c: don't ignore return va
l
u
e
of write(2)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ramsa
y
Jones
parse
.
c: remove duplicate 'may
_
alias' igno
r
ed_attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jones
cgcc: avoid
p
a
ssing a sparse-o
n
ly option
to
c
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jones
t
e
s
t-suite: remove bashism to a
v
oid test failur
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-25
Christopher Li
teach next_designators()
use
array_
e
lem
e
nt_offset()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jones
cgcc: u
s
e $
c
com
to
s
e
t $multia
r
ch_dir if n
o
t specif
i
ed
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsa
y
Jo
n
es
c
g
cc
:
u
se o
n
ly
the
cc command to determi
n
e $gc
c
_
b
a
se_d
i
r
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next