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
simplify '(x / 1)' to 'x'
2017-02-13
Luc Van Oost
e
nryc
k
s
i
mplify '(x
/ 1)' to
'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
ten
r
y
c
k
move OP_MUL
s
i
m
pli
f
ication in a separate functio
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
d
ef
i
ne __LONG_
M
AX__ & __SIZEOF_PO
I
N
TER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oost
e
nryck
add an help
e
r
f
or co
m
m
on pr
e
d
e
fined macros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nryck
d
e
fine __LP64_
_
& _LP64 i
f
arch_m64 is enabled
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
fi
x
k
illing
O
P_SETVAL in
s
tructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
yck
r
emove 'E
s
cape' f
r
om tok
e
n character class
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
warn on unknown escape
s
af
t
er
p
repro
c
essing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
add testca
s
e for
w
rong ear
l
y escape co
n
v
e
r
sion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
y
c
k
remove unused arg in u
s
es
/
defs f
u
nct
i
ons
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
validat
e
expressi
o
n's
t
ype in conditionals
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
add helper: is_sc
a
la
r
_t
y
pe()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
fix condi
t
io
n
al context test
c
a
s
e with void
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
cle
a
nup kill_in
s
truction()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
explicitely ignore killing OP_EN
T
RY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van O
o
stenryck
fix killing OP
_
COM
P
UTEDGOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
t
enryck
fix killing O
P
_SELECT
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oo
s
t
e
nryck
fix killing OP_CAST &
f
r
i
e
nds
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix kil
l
i
n
g OP_P
H
I
instr
u
ctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryc
k
kill uses of repla
c
e
d
i
nstruction
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oostenryck
fix cr
a
sh while testing between con
d
itional & unconditional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
ryck
fi
x
c
a
st's target type info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enry
c
k
C11: t
e
ach sparse abou
t
'--std={c11,gn
u
1
1
}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenr
y
ck
C11: teach sp
a
rse abo
u
t '_Alignas()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: teach sparse about '_Alignof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
Oos
t
en
r
y
ck
C11: teach sp
a
rse abo
u
t
'
_Nor
e
turn'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
C11: teach sparse about '_Thread_local'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
fi
x
value of label st
a
tement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Ooste
n
r
y
ck
missi
n
g load simplifica
t
ion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryc
k
fix phisrc mixup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
fi
x
superfluous phisrc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van O
o
sten
r
yck
vola
t
i
l
e lo
a
ds must not be simplif
i
ed
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
c
k
unssa: upda
t
e comment about th
e
unneeded copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oos
t
enryck
unssa:
eliminate trivial
p
hisrc copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Ooste
n
ryck
unssa
:
tr
y
to avoid so
m
e OP_PHI copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
unssa: simplify rewrite of OP_PHISO
U
RCE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
u
n
ssa
:
do not try to u
p
da
t
e liveness
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oosten
r
yc
k
fix cast to boo
l
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Ooste
n
ryck
llvm: remov
e
unn
e
e
ded OP_CO
P
Y suppo
r
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
l
lvm: fix typing when c
o
mparing to a constant
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix ty
p
ing error in compou
n
d assignment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
a
dd s
u
pport for __int128
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
ry
c
k
fix mi
s
s
i
n
g eleme
n
t in types
d
ecla
r
ation
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
r
ecursive phi_defines can
n
ot happ
e
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
cgcc should
n
ot d
e
fine non-r
e
served identifie
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
o
s
t
e
nr
y
c
k
Update maintainers in th
e
manpage
CC:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
some modif
i
ers need to be preserved by
't
y
peof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite
:
test modifie
r
s pr
e
s
e
rv
e
d by 'typeof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oostenry
c
k
t
e
s
tsuite: test modifiers preserved by '&' o
p
erator
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
use
a
shorter
name for
funct
i
on-pointer-modifier-inh
e
ritance
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nryck
testsuite: simplify t
e
st function-p
o
i
nter-inh
e
ri
t
ance
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
storage sh
o
uld not b
e
inherit
e
d by
pointers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
remove unused fiel
d
'multijump' in
st
r
uct instr
u
c
tion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenr
y
ck
OP_
S
W
I
T
C
H should use 'insn->cond' instead of 'insn
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
O
ostenryck
give comp
a
rabl
e
la
b
el'
s
na
m
es to basic b
l
o
c
ks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
let "c
o
mpi
l
e
"
not cr
a
sh on
bools
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oostenryck
ma
k
e ptrlist w
a
lking
a
g
ainst rob
u
st against emp
t
y
b
locks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Em
i
ly Maie
r
va
l
idation: Check C99 for loop
va
r
iables
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Daniel Wagne
r
par
s
e: Add comment
to
s
t
r
u
ct st
a
tement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
O
l
e
g
Nesterov
dissect
:
s/mode_
t
/
u
sa
g
e_t/ i
n
repor
t
_m
e
mber()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nester
o
v
diss
e
ct:
t
each do_initializer() to han
d
le the
n
ested
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
O
l
eg Neste
r
ov
dis
s
ect: teach do_exp
r
e
s
s
ion
(
) t
o
handle
EXPR_OF
F
SETOF
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add test case
f
or builtin bswap
w
ith constant
a
rgs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
J
o
ha
n
nes Ber
g
im
p
le
m
e
nt c
o
nstant-fol
d
ing in __bui
l
t
i
n_bswap*()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenr
y
ck
fix discarded
l
abel sta
t
e
m
en
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oo
s
te
n
r
yck
Re
m
ove
unneeded variable in
integer_promotion(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
Warn
on u
n
known a
t
tributes instead of throwing err
o
rs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oosten
r
yc
k
c
leanup: rem
o
ve evaluate_arguments()'s unused argument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Va
n
Oostenr
y
c
k
make 'ignored_att
r
ibutes[]' static
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Emily
Maier
li
n
eari
z
e: Emit C99 declara
t
ions
c
orrect
l
y
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
L
uc Van Oostenryck
add mi
s
s
i
ng #incl
u
de "cha
r
.
h" to c
h
a
r
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
F
ix type c
h
ecking of va
r
iadic fu
n
ctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Lanc
e
Rich
a
rdson
sparse: update
__b
u
iltin_object_size
(
)
proto
t
y
p
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
fix mixup in "Handle SForce
d
in storage
_
modifiers"
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-11-16
Jeff
Layton
Handle SForc
e
d in stora
g
e_modifier
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-27
Rui Teng
s
parse: add no_
s
anitize_addre
s
s as a
n
ig
n
o
r
ed att
r
ibute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Lance Richar
d
son
sparse: ignor
e
__ass
u
m
e_aligned
_
_
attribut
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Ramsay Jones
sparse: add 'al
l
o
c_align' to t
h
e ignor
e
d attribute
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Christ
o
pher
Li
Fix warning
c
o
m
p
ili
n
g spars
e
-
l
lv
m
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-22
Luc
V
an Ooste
n
ry
c
k
Do not drop '
n
ocast
'
m
o
dif
i
er when taking the address
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-04
Luc
V
an Oostenryck
F
i
x size calculation of unsized b
o
ol array
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
Tony Camuso
Add default c
a
s
e
to swit
c
h
e
s on e
n
um variab
l
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
Tony Camuso
.
gitign
o
r
e
:
add c
s
cop
e
and Qt project files
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-04
Dan Carpenter
ptrlist: re
a
ding deleted items in NE
X
T_
P
TR_LI
S
T()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
A
zat Khuz
h
in
validatio
n
/prototype: re
g
r
e
ssion for
s
kipping prototypes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
Az
a
t
K
huzhin
sparse, ll
v
m: compil
e
: s
k
ip fun
c
tion prototypes to
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-12
Heiko Carstens
sparse/parse
.
c: ign
o
re hotpatch
attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-04-21
Michael
S
tefaniuc
Add tests
f
or the
b
uiltin INF and nan() function
s
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Ar
d
Biesheuvel
Ig
n
ore pu
r
e
at
t
ribute in assigneme
n
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Mich
a
el Stefaniuc
A
d
d a define for __
b
uil
t
i
n
_m
s
_va_c
o
py
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Michae
l
Stefaniuc
Ad
d
the __builtin functions needed for I
N
FINITY
and
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-02-09
Luc Van
Oost
e
nr
y
c
k
Teach sparse ab
o
ut the __COUNTER__ predef
i
ned macro
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-02-06
Christopher Li
Mak
e
macro expanded string
immu
t
able
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-01-28
C
hristian Borntra
e
ger
s390x: add the p
r
oper
defines
f
or
d
ata types
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-12-12
Christopher
L
i
Ptr list so
r
tin
g
should use
m
emmove
i
n
st
e
ad of memcpy
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Aaro Kosk
i
ne
n
build: allow use of P
K
G_CONFIG to override pkg-c
o
nfi
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jones
compile-i386
.
c: don't ignore return value of w
r
ite
(
2)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsa
y
Jon
e
s
pars
e
.
c: r
e
move duplicate 'may_alias' ig
n
ored_attributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
R
am
s
a
y Jones
cgc
c
: avoid p
a
ssing a sparse-only opti
o
n
to cc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jo
n
es
test-sui
t
e:
r
emove b
a
shism t
o
avoid
test f
a
il
u
re
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next