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: conservative handling of casts with pointers
2012-03-23
Chris
t
opher Li
Adding default f
o
r m64
/
m32 h
a
ndle
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-02
Ch
r
istopher Li
M
e
r
ge branch 'sparse-llvm' of git:/
/
github
.
com/pen
b
erg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
Chri
s
t
o
pher Li
sparse
0
.
4
.
4
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
Christo
p
h
er Li
A
d
d test
c
ase for binary constants
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-29
Christopher Li
Sparse 0
.
4
.
4-
r
c2
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Ch
r
i
s
topher
L
i
Limit u
s
age of g++ to llvm
r
elated programs
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Christopher Li
Fix parsin
g
empty asm c
l
obber
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Christopher Li
Add
test c
a
se for empty asm c
l
obbers
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Ch
r
i
s
tophe
r
Li
Sparse 0
.
4
.
4-
r
c1
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Christ
o
p
her Li
Fix inlining
switch statement
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Christ
o
pher Li
validation: i
n
line
s
wit
c
h statement
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-12
Christopher Li
i
n
s
pect:
A
dd
s
witc
h
statement and more
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Christ
o
phe
r
Li
Re
m
o
v
e
set
b
ut not used variable
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Ch
r
istopher Li
I
gnore attribute v
e
ctor_size
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
Christopher
L
i
Allo
w
overwrite CFLA
G
S fr
o
m comma
n
d line
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-11-08
Christoph
e
r Li
i
n
spe
c
t: adding
function a
r
u
gument li
s
t
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-03
Christopher Li
sparse
0
.
4
.
3
f
inial
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-15
Chri
s
t
o
p
h
e
r
Li
Fixup and
cle
a
n
u
p m
o
difier_st
r
ing()
fun
c
t
i
on
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-22
Christopher L
i
i
nspe
c
t:
c
a
s
t
e
x
p
ression
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christoph
e
r
inspec
t
:
add
s
om
e
expressio
n
inspection
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christoph
e
r Li
i
n
s
p
e
c
t:
A
d
d test-insp
e
ct program
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
C
h
r
isto
p
her Li
i
n
s
pect
:
add
s
ome
example
i
nspect for sym
b
o
l and s
t
a
t
emen
t
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
C
h
ristop
h
er Li
inspect: ad
d
c
ustom
ast t
r
eeview model
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Ch
r
istoph
e
r
Add
t
es
t
cas
e
for built
i
n_unreachable()
Signed-off-by:
Christopher
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christopher Li
A
d
ding asm goto label test
case
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Ch
r
ist
o
pher L
i
Parsing wid
e
char
s
tring
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-04-08
Christopher
L
i
A
llow parsi
n
g L'\0'
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christo
p
h
e
r
evaluate: che
c
k
for NULL type
i
n
side ty
p
eof
Signed-off-by:
Christopher
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Chri
s
tophe
r
Li
Poin
t
er don't inherent the a
l
i
gnment from base type
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Ad
d
ing tes
t
case for "
x
&& y && z"
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
Christopher
L
i
Simplify Makefi
l
e using
s
tatic patt
e
rn
r
ules
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
C
hri
s
topher
Li
Declare ignored attributres int
o
a list of st
r
i
n
g
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-03-29
C
hristopher L
i
Move noreturn attribute out of igno
r
e
at
t
r ar
e
a
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Christopher Li
Make MOD_NORETURN
f
i
t
s
int
o
32 bit
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-11
Christop
h
er Li
Sparse 0
.
4
.
2
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-19
Christopher Li
m
o
ve extern i
n
line function
to
f
i
l
e scope
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Chr
i
s
topher
L
i
Add va
l
idation
f
or restrict and attribut
e
w
arning
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-17
Ch
r
istoph
e
r Li
Update the validation check for ftabs
t
op=
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christopher
L
i
Cle
a
n up Mak
e
f
ile long lines
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
Christopher Li
Makefile automatic
header depen
d
ency
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-29
C
h
ristopher
L
i
W
arn a
b
out explicit us
a
ge of sizeof(void
)
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-25
C
h
ri
s
toph
e
r Li
T
e
a
ch cl
a
ssify_type
to handle typeof
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Christopher Li
Add
enum member list to the paren
t
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-18
Christopher Li
Remove pre_
b
uffer
Signed-Off-By:
Christopher
Li <spase@chrisli.org>
commit
|
commitdiff
|
tree
2008-12-14
C
h
ristopher
Li
E
v
al
u
a
te it
e
r
ator symbols
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-10-21
Christopher L
i
P
e
rform
local label
lookup
Singed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Ch
r
istop
h
er Li
Pass a bitmask of keywords to ha
n
dle
_
at
t
ribute
s
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-05-02
Christop
h
er Li
c
ombinations string c
l
ean up
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
C
hristop
h
er Li
handle labe
l
attributes
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-04-20
Christop
h
er Li
Fix the annotated inline call pos
i
tion
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-09
Ch
r
istopher L
i
Intr
o
duc
e
key
w
o
rd driven attribute p
a
rsing
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-03-02
C
hristoph
e
r Li
Add a
n
notation for inli
n
e func
t
ion call
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Christopher Li
Disab
l
e liveness "dead" ins
t
r
uction by default
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-28
Christo
p
her
Li
Introduce
e
xpression
_
error
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-26
Christopher Li
Fix core dump on huge s
w
itc
h
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
C
h
ristop
h
er Li
Adding debug o
p
t
i
on f
o
r sho
w
in
g
the linearized instruction
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-25
Chr
i
stop
h
er Li
Fix a bug that
match
_
idents forget
to end with NULL
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christ
o
pher Li
F
i
x
cor
e
dump on
a
nonymous symbol
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher
L
i
Ma
k
e the p
t
r
l
i
s
t u
s
ing the s
p
arse
alloc
a
tor
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
Fi
x
d
o
ubl
e
semicolon
in s
t
ruct de
c
la
r
a
t
ion
Signed-Off-By:
Christopher
Li<spase@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-23
Christopher Li
Fix the
s
e
g
fault w
h
en initializer ha
s
un
k
nown sym
b
o
l
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-21
C
hr
i
s
t
op
h
e
r
Li
Handle structure attributes between the structure keyword
.
.
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-02-13
C
hrist
o
pher
Li
Bug fix in pointer
m
o
difier inheritance at functi
o
n
.
.
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christopher Li
Marking anonymous string
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christoph
e
r
L
i
Another attemp
t
t
o fix the attribute p
a
rsing
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christopher
Li
Enhanc
e
debug inf
o
rmation
.
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-27
Christopher Li
Allow
m
ore
t
han
o
n
e command line include file
.
Signed-off-by:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christopher Li
Update
u
sage
c
hain for
dead branch instruction
.
Signed-Off-By:
Christopher
Li<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chr
i
s
t
opher L
i
Update
u
sage chai
n
for dea
d
instructions
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
C
hristopher Li
Add instr
u
ction to pseudo
u
ser t
r
a
c
king
.
Singed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Christ
o
p
h
er Li
Ch
a
nge the symbol a
c
cess l
i
st to a pseudo l
i
s
t
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2007-01-17
Chr
i
stoph
e
r
Li
Sparse-based Ctag
s
impleme
n
ta
t
ion
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Christophe
r
Li
cleanup write to arg
u
m
ent
a
r
ray
h
ack
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-12-05
Chri
s
to
p
her Li
delay rem
o
vi
n
g file scope
Signed-off-by:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
C
h
rist
o
p
her Li
Fix warning on sel
f
check
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2006-11-28
Christophe
r
L
i
trivial
fix
for seg fau
l
t
.
Signed-Off-By:
Christopher
Li <sparse@chrisli.org>
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
istoph
e
r
Li
[
PATCH]
s
t
a
tic
declear
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er Li
[PATCH] using 0 as
N
ULL in sparse
commit
|
commitdiff
|
tree
2005-04-08
Christoph
e
r Li
[PATCH] linearize
b
i
t
field in
i
tial
i
zer
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] L
i
nearize initializer
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
o
p
he
r
Li
[
PAT
C
H] trivi
a
l
ansi-c de
c
lear
commit
|
commitdiff
|
tree
2005-04-08
Christ
o
ph
e
r
Li
[P
A
TCH] make prep
r
ocesser
command a
symb
o
l
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATCH] Use m
o
re si
m
ple/fast i
t
erator
s
commit
|
commitdiff
|
tree
2005-04-08
Christop
h
er
L
i
[PATC
H
] more
o
n fixi
n
g dependency
commit
|
commitdiff
|
tree
2005-04-08
Christopher Li
[PATC
H
] avoid ma
t
ch
i
n
g
ident
s
w
i
th string compares
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
o
p
h
er Li
[PATCH] Avoid recursive
i
nline function ex
p
ansi
o
n
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
istopher Li
[PATCH]
F
ix "return" tar
g
et handling
commit
|
commitdiff
|
tree
2005-04-08
C
hristopher Li
[PA
T
CH] line
a
rizati
o
n
bug fix and bi
t
field handling
commit
|
commitdiff
|
tree
2005-04-08
Chris
t
op
h
er L
i
[PATCH] li
n
eari
z
e conditional expres
s
ions
commit
|
commitdiff
|
tree
2005-04-08
Christophe
r
Li
[PATC
H
]
M
o
r
e linearizion
fun
commit
|
commitdiff
|
tree
2005-04-08
Christopher
L
i
[PATCH] pack basic block
s
commit
|
commitdiff
|
tree
2005-04-08
Chri
s
topher Li
[PATCH] ma
k
e sparse recog
n
ise assembler naming
(re
g
ister
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Christoph
e
r Li
[PAT
C
H]
m
o
re op
-
codes
commit
|
commitdiff
|
tree
2005-04-08
C
h
ristopher Li
[PA
T
CH] condi
t
ion branch s
i
mpli
f
ication
commit
|
commitdiff
|
tree
2005-04-08
Christo
p
her Li
[PAT
C
H] PATCH: remov
e
dead whil
e
loop
commit
|
commitdiff
|
tree
2005-04-08
Christopher
Li
[PATCH]
print out the fu
n
ction which
c
a
us
e
s errors
commit
|
commitdiff
|
tree
2005-04-08
Christopher L
i
[PATCH] support __VA
_
A
RGS__ var
i
a
bl
e
macro arguments
commit
|
commitdiff
|
tree
2005-04-08
Christopher L
i
[P
A
TCH] print
out name of funct
i
on wh
i
ch causes e
r
rors
commit
|
commitdiff
|
tree