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 SIGFPE caused by signed division overflow
2013-05-11
Xi
W
ang
fix
S
IGFPE caused by signe
d
division ov
e
r
fl
o
w
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-26
Christopher
Li
All
o
w forced attr
i
b
ute in function argumen
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-22
Josh Tri
p
l
e
tt
Support
#
pr
a
gma once
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-22
Jos
h
Triplett
Define __SIZEOF_POINTER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-20
Ma
s
atake
Y
A
M
AT
O
Add
desc
r
iptio
n
for -Winit-cstr
i
n
g
option
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-20
Masata
k
e YAMATO
Test case for -
W
i
nit-cst
r
ing option
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-20
Masata
k
e
YAMATO
Warn
about initialization of a char array with a too
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-04-08
Christopher
L
i
Proper
v
a
r
i
able lengt
h
array warnin
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-03-07
Joe Per
c
hes
There'
s
no c
u
rrent
w
a
y to know the version
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-03-06
Ch
r
istopher Li
Large
r
buffer
s
iz
e
for token conc
a
tena
t
ion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-28
Xi Wan
g
fix cas
t
ing constant to
_
Bool
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-25
Christopher Li
G
et
r
i
d
of
g
cc warning about
enum
v
alues
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-23
Christopher Li
Fix segfau
l
t cause
b
y fucntio
n
without ident
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-22
Christopher Li
Clean
u
p some tes
t
cas
e
e
rror
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-22
R
a
n
d
y Du
n
lap
s
parse patch v2:
a
dd noclone as an
ignored attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-19
K
i
m Phi
l
lips
spar
s
e: add
b
uilt-i
n
byte sw
a
p identi
f
iers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2013-02-13
Christo
p
her Li
Merge git
:
//git
.
k
e
rnel
.
org/pub
/
scm/linux/kernel/gi
t
.
.
.
commit
|
commitdiff
|
tree
2013-02-10
Christophe
r
Li
r
e
m
ove weak defi
n
e x86_
6
4
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-10-12
M
auro D
r
eis
s
i
g
F
i
x
w
rong arr
a
y si
z
e
expr
e
ssion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-10-12
C
hristopher Li
Mer
g
e
branch 'llvm/core' of github
.
com:
p
e
nberg/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-26
Jonathan Neuschäfer
ptrlist
.
c: fix a
typo in a comment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-06-26
Jonat
h
an Neuschä
f
er
FAQ
:
update
the web
s
ite address and call
i
t Wiki
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-06-25
KOSAK
I
M
o
tohiro
sparse: Ad
d
'er
r
o
r
' to ignored attributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-06-25
KOSAKI
M
otohiro
s
p
arse: Add '__vector_size__' to ign
o
red attributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-06-21
C
hr
i
stopher Li
Merge
bra
n
ch 'for-chris' of git:/
/
git
h
ub
.
com/penberg
.
.
.
commit
|
commitdiff
|
tree
2012-06-04
Xi W
a
ng
check m
i
ssing or duplicate g
o
to
l
abels
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-06-04
Xi
W
ang
c
o
mpil
e
-i386
:
f
ix use-after-
f
ree in fu
n
c_cleanu
p
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-05-20
Shakthi Kan
n
an
I have updated the sparse
.
1 ma
n
p
a
ge i
n
cludin
g
t
h
e
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-05-10
Ja
n
Pokorný
sim
p
l
i
f
y
: c
o
nservative
h
andling of
ca
s
ts with pointe
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-05-04
J
an Pokorný
unssa
:
track use of newly
a
dded pseu
d
o
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-03-23
Chris
t
o
p
her Li
Adding
defa
u
lt for
m
64/m32 ha
n
dle
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-03-23
Fred
e
r
i
c
Crozat
Add __built
i
n_st
p
cpy, __sync_synch
r
onize,
__syn
c
_bool_compar
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-19
Ethan Jackson
sparse: Add 'leaf' t
o
igno
r
ed attribu
t
e
s
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-02
Christopher Li
Merge branc
h
'sparse-llvm' of
git://gith
u
b
.
com
/
p
enber
g
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
Chr
i
s
t
opher
L
i
sp
a
rse 0
.
4
.
4
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpente
r
recognize binary constants
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
Christo
p
her Li
Add
te
s
t case for binary constants
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-29
Chr
i
s
t
op
h
er Li
Sparse 0
.
4
.
4
-
rc2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
L
i
nus T
o
rvalds
Make
'
l
i
nearize_r
e
tu
r
n()'
he
l
pe
r
fun
c
tion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Linus Tor
v
ald
s
Mak
e
'lin
e
arize_switch()' he
l
per functi
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Linus T
o
rval
d
s
Make 'linearize_iterator()' he
l
per function
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Kamil Dudka
c
se: update
P
HI users when throwi
n
g away an ins
t
ruc
t
i
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Kamil D
u
dka
cse: t
r
eat PHI-nodes as
o
t
h
er instruc
t
ions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-26
Pe
k
k
a Enbe
r
g
sparse: Fix __builtin_s
a
fe_p for pur
e
and const
functions
Cc:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-25
Pekka Enberg
Sh
o
w expected vs
.
a
c
t
u
al outpu
t
on test failure
Cc:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-24
Pekka E
n
berg
sparse: Enable unhandled validation test
s
Cc:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Chri
s
toph
e
r Li
Fix parsing
e
mpty asm clobber
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Chri
s
topher L
i
A
d
d test case f
o
r em
p
ty asm clobbers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Micha
e
l
S
tefaniuc
Ignor
e
the m
s
_hook_prolog
u
e
attribute
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Jon
a
than Neu
s
chäfer
fi
x
common misspellings with codes
p
ell
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Jona
t
han
N
euschäfer
FAQ: fix a typo ("bec
a
use or")
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Christop
h
e
r
Li
Sparse 0
.
4
.
4-r
c
1
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Ch
r
istopher Li
Fix inlining swi
t
ch statement
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Christopher Li
validation: inline
s
witch
s
t
atement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-12
Christopher Li
in
s
pe
c
t: Add switch statement an
d
more
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-11
J
o
n
a
than Neuschäfer
fix
a
memory leak
i
n c
o
mpile-i386
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-06-29
Pek
k
a E
n
be
r
g
sparse:
A
dd 'ar
t
ifical' to ignore
a
ttribute
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Christophe
r
Li
Remove
s
et but not used va
r
i
a
ble
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Christopher Li
Ignor
e
attribute vector_size
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-07
B
e
n
P
f
aff
e
v
aluate:
Allow sizeof(_Bool) to succeed
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
J
an
P
o
k
orn
ý
parse
.
c:
"
if("
-
> "if (" adjustm
e
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
J
a
n
P
okorný
use A
R
RAY_SIZE() when p
o
ssible
(continued)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
C
h
ristopher L
i
Allow overwrite CFLAGS
from command line
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-19
Linus
Torva
l
ds
Teach 'already_toke
n
ized(
)
'
t
o
us
e
the
s
tr
e
am name
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torval
d
s
A
dd new streams t
o
a hash-list based on their names
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-18
Diego E
l
io Pettenò
Fix buil
d
with GCC 4
.
6 series
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-18
Diego Eli
o
Pettenò
buil
d
: add an all
-
i
n
stallab
l
e
t
a
rge
t
t
h
at builds
the
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-18
Diego E
l
io
P
e
t
tenò
build: all
o
w easy override of
GCC_BASE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-13
Jan
P
okorný
flow
.
c: make comment for `d
o
minates' r
e
flect code
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-13
Jan Pokorn
ý
remove unused
"
container" mac
r
o
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-03-11
F
lorian Fainelli
Makefi
l
e: warn user
wh
e
n libxml a
n
d/or libgtk2 are
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung Ki
m
Update the validation check
for escape sequences
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
Namhy
u
ng Ki
m
F
i
x tokenizer fo
r
octal e
s
c
ape sequences
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
N
a
m
hyung Kim
use ARRAY_SIZE() when po
s
sible
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
Nicolas Kaiser
memops
.
c: always
t
rue expr
e
ss
i
on
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-11-08
Chris
t
oph
e
r Li
inspect: adding function
a
ru
g
ument list
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-03
C
h
ristophe
r
Li
sparse 0
.
4
.
3
f
in
i
a
l
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-10-08
Mike Fry
s
inger
parser: add
Blac
k
fin gcc info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-15
Christopher Li
Fixup an
d
c
leanu
p
modifier_str
i
ng() fu
n
ction
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpenter
a
d
d tes
t
-
i
n
s
pe
c
t t
o
.
gitignore
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-01
Bernd Pet
r
ovitsch
Fix
a typo - "typdef" is neit
h
e
r
C nor plain E
n
glis
h
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-22
Christopher Li
i
n
sp
e
ct: cas
t
e
x
pression
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-19
Morten Welinder
sk
i
p may_a
l
ias and declare
b
u
i
ltin_fab
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christo
p
her
inspect: ad
d
s
ome expression
i
nspecti
o
n
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
C
h
r
ist
o
pher Li
inspect: Add test-
i
nspect program
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Chri
s
topher Li
inspec
t
:
add som
e
exa
m
ple inspect
for symbol and statement
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher Li
inspec
t
: ad
d
c
u
s
tom a
s
t treeview model
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Jiri Slaby
p
a
rse
r
:
a
dd support fo
r
asm
goto
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Chri
s
topher Li
Adding asm g
o
to label test case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Damien
L
espiau
Ignore th
e
m
ay_alia
s
GCC attr
i
bute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christopher Li
P
arsing wi
d
e
ch
a
r string
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-04-08
Ch
r
istoph
e
r
Li
Allow parsin
g
L'\
0
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
C
h
ristoph
e
r
Li
Make MOD
_
NORETUR
N
f
its into 32 bit
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Kamil
Dudka
do not
i
gnore att
r
i
b
u
t
e
'
noreturn'
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-11
Christopher L
i
Sparse 0
.
4
.
2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-21
Pe
k
k
a
Enberg
sparse: Add GCC pre-defined
macro
s
f
or
u
ser-s
p
ace
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-11
Kamil Du
d
ka
make sparse h
e
aders
self-compi
l
able
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-11
Reinh
a
rd T
a
rtler
show_token: handle TOKEN_UNTAINT and TOKEN
_
ARG_COUNT
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-02
Ka
m
il Dud
k
a
un
s
s
a: tr
a
ck uses wh
e
n replacing a
phi
n
o
d
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-02
Blue Swirl
Def
i
n
e
__LP64__
f
or x86_64 unle
s
s in 32 bit mode
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next