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-05-10
Jan Pokor
n
ý
simplif
y
: con
s
ervative handling of casts with
p
o
i
nters
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-05-04
Jan Pok
o
r
ný
unssa: tr
a
c
k
use
o
f
newly
added pseudo
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-03-23
C
hristop
h
er Li
Addi
n
g def
a
u
l
t
for m64/m32 handle
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-03-23
Frederi
c
Crozat
Add __builtin_stpcpy, __sync_synchron
i
ze, __sy
n
c_bool_compar
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-19
Eth
a
n Jackson
sp
a
rse: A
d
d 'leaf' to ignor
e
d attributes
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2012-01-02
Christopher Li
Merg
e
branch 's
p
arse
-
llvm' of
git://github
.
com/penberg
.
.
.
commit
|
commitdiff
|
tree
2011-11-21
C
h
ri
s
top
h
e
r
Li
sparse 0
.
4
.
4
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpent
e
r
reco
g
nize binary c
o
nstants
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-11-21
Chri
s
t
o
pher
L
i
Add te
s
t
ca
s
e for binary
c
onstants
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-29
Ch
r
ist
o
pher Li
Sparse 0
.
4
.
4-rc
2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Lin
u
s Torvalds
Make 'lineariz
e
_return()' helpe
r
fun
c
tion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torv
a
lds
M
ake 'linearize_swi
t
ch()
'
help
e
r funct
i
on
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torvalds
Make 'lin
e
arize_iterato
r
()
'
h
elper fu
n
ction
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Kamil Dudka
cse: upd
a
te P
H
I user
s
when thr
o
wing
away an instructi
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-28
Kamil Dudka
cse:
t
re
a
t PHI-nodes a
s
other instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-26
Pekka
E
nbe
r
g
sparse:
Fix
__builtin_
s
af
e
_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
E
nberg
Show expected vs
.
a
ctual output on test
fail
u
r
e
Cc:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-24
P
e
k
k
a
Enberg
sparse: E
n
able unhandled validation te
s
ts
Cc:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
C
h
ristopher Li
F
i
x parsing
e
mpty asm
c
lobber
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
C
h
ristopher Li
A
dd test
case for em
p
ty asm clob
b
e
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-23
Michael St
e
f
a
niuc
Ign
o
r
e
th
e
m
s
_
h
ook_prologue attr
i
bute
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Jonat
h
an Neus
c
häf
e
r
fix common missp
e
llin
g
s with c
o
despell
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
J
ona
t
han N
e
uschäfer
FAQ: fix
a typo ("because or")
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-20
Christopher
Li
Spars
e
0
.
4
.
4
-
rc1
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
C
h
r
i
st
o
ph
e
r
L
i
Fix inlining switch statemen
t
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-14
Christopher Li
validation
:
inline s
w
itch statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-12
Christopher Li
inspect: Add switch statement
a
n
d more
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-08-11
J
o
nathan Neus
c
häfer
fix a mem
o
ry l
e
a
k
in co
m
pile-i386
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-06-29
Pekka Enberg
spars
e
:
Add 'artifical' to ignore attributes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Ch
r
isto
p
h
e
r Li
Remove
s
et but
not used variable
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-31
Ch
r
istopher Li
Igno
r
e
a
t
t
r
i
bute vec
t
or_size
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-05-07
B
e
n
Pfaff
eva
l
u
ate: Allow
sizeof(_Bo
o
l) to suc
c
eed
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
Jan
P
okorný
pars
e
.
c: "
i
f
(" -> "if (" adjus
t
m
ent
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
Jan Pokorný
use ARRAY_SIZE() when po
s
sible (continued)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-26
Christopher Li
A
llow ov
e
r
w
r
i
te C
F
LAGS from comm
a
nd
l
ine
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torvalds
Teac
h
'
a
lre
a
dy_tokenize
d
()' to use
t
he stream
n
ame
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-19
Linus Tor
v
a
l
ds
Add new streams to a hash-
l
i
s
t based on
t
heir names
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-18
Dieg
o
E
l
io Pettenò
Fix build with GCC
4
.
6
series
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-18
Diego
Elio Pettenò
build: a
d
d an al
l
-
i
nstallable
t
arge
t
that builds the
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-18
D
i
ego Elio Petten
ò
build: all
o
w
easy ove
r
ri
d
e
o
f GCC_BASE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-13
J
a
n Po
k
or
n
ý
flow
.
c
:
make comment for `d
o
minates' re
f
lec
t
c
ode
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-04-13
Jan
Pokorný
remove unused "contain
e
r
"
m
acr
o
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-03-11
Flor
i
an Fainelli
Mak
e
file:
w
arn u
s
er when libxml and/or li
b
g
tk2 are
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
Namhy
u
ng Kim
Update th
e
val
i
dation check for
e
scape s
e
quences
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
N
amhyung
Kim
Fix
t
okenizer for
o
ct
a
l escape sequences
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
Namhyung Kim
use ARRAY_SIZE()
wh
e
n p
o
ssible
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2011-01-03
N
icolas Kaiser
memops
.
c
:
a
lways
true expression
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-11-08
Christophe
r
Li
ins
p
ect:
a
dding function arugument list
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-03
Ch
r
ist
o
pher Li
sparse 0
.
4
.
3 finial
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-10-08
Mike Frys
i
nger
parser: add Blac
k
f
i
n gcc info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-15
Christopher Li
F
ixup and
c
leanup modi
f
ier_
s
tr
i
ng() fun
c
tion
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpe
n
ter
a
d
d
test-insp
e
ct to
.
giti
g
nore
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-09-01
Bernd Petrovitsch
F
ix a typo -
"
ty
p
def" is neither C nor plain
Engli
s
h
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-22
Christopher Li
i
n
spe
c
t
:
cast expressi
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-19
Morten Welinder
skip ma
y
_
a
lias and declare builtin_fabs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Chri
s
toph
e
r
inspect: add some
expres
s
i
o
n
i
nspection
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
L
i
i
n
sp
e
ct: Add test-inspect program
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Ch
r
i
stopher
L
i
inspect: add
some examp
l
e insp
e
ct for symbo
l
and
statement
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
Li
inspect: a
d
d custom ast treeview model
Signed-Off-By:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Jiri Sl
a
by
p
arser: a
d
d support fo
r
asm goto
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christopher
Li
Ad
d
ing asm
goto label test case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
D
amien L
e
s
p
iau
Ignore the m
a
y
_a
l
ias
G
CC attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-06-18
Christo
p
her Li
Parsing wide ch
a
r string
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2010-04-08
Christopher L
i
Allow p
a
rsing L
'
\0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
Chris
t
opher Li
Make
M
OD_NORETURN f
i
ts in
t
o
32 bit
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-16
K
amil
Dudk
a
do
not igno
r
e
attribute
'nor
e
t
u
rn'
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-10-11
C
hri
s
topher Li
S
parse 0
.
4
.
2
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-21
Pekka
E
nber
g
spa
r
se: A
d
d
G
CC pre-defined macros
f
or user-spa
c
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-11
Kamil
D
u
d
ka
m
a
ke
spar
s
e headers
s
elf-comp
i
lable
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-11
Reinhard Ta
r
tler
sh
o
w_t
o
k
e
n: h
a
ndl
e
TOKEN_UNTA
I
NT
a
nd
T
OKEN_A
R
G_COUNT
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-02
Kami
l
Dud
k
a
unssa: track uses
when r
e
plac
i
ng a phi node
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-02
Blue
S
wirl
Defi
n
e
_
_LP64__ f
o
r x86_6
4
unless in 32 bit
m
ode
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-02
Blue Swirl
Add
s
upport for TImode type (__int12
8
_
t)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-29
K
amil Dudka
line
a
rize
.
h: sanitize
h
e
a
d
er
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-03
Bl
u
e S
w
irl
Add
c
{l,t}z{,l,ll}, ffsl{,l}, popco
u
n
tll and
fl
o
ating
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-08-03
Blue
S
wirl
Ignore attribute
_
_bounded__, used by
Open
B
SD head
e
rs
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-27
Hannes Eder
test-suite: integrate unh
a
ndled
p
r
o
p
rocessor tests
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-22
Kam
i
l Dudk
a
comp
i
le-i386: do not gene
r
ate an infinit
e
loop
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-20
Ramsay Jones
Makefile: sup
p
ress error mess
a
ge from pkg-config
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-19
Hannes
E
der
test-
s
uite: be
m
ore
v
erbose on 'unhandled' an
d
'known
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-19
Christopher Li
move exter
n
inline func
t
ion to file scope
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Christo
p
her
Li
Add
validation fo
r
restrict a
n
d attribute warning
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Linus Torvalds
Avoid
"
attr
i
bute 'warning':
unknown at
t
r
i
bute" warning
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Linus Torvalds
T
u
rn off '-Wtransparent-union' by d
e
fault
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Lin
u
s Torvalds
A
l
l
o
w
a
rray declarat
o
rs
to have 'restrict' in them
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Samuel Br
o
ns
o
n
Ha
v
e
Ma
k
efile impor
t
local
.
m
k if
it
exists
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Alberto Bertogli
Supp
o
rt the __t
h
read
stor
a
ge
class
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Martin
Nagy
Prin
t
a
n e
r
ror if typeo
f
() lacks a
n
argument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Martin Nagy
Add missin
g
ch
e
ck
s
for Waddres
s
-space
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Martin
N
agy
.
git
i
g
nore
:
Ignore d
e
pendencies and Vim swap files
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
warn directi
v
e in argument lis
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
Segfau
l
t
at evaluate
.
c:341
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Al
Vir
o
Sanitize pointer()
Signed-off-by:
Christopher Li
<chrisl@hera.kernel.org>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
Do
n
't mix
s
t
orage clas
s
bits with ct
y
pe->
m
odifiers
.
.
.
Signed-off-by:
Christopher Li
<chrisl@hera.kernel.org>
commit
|
commitdiff
|
tree
2009-07-18
Al Vir
o
Simplify
g
e
t
_number_valu
e
() and cty
p
e_in
t
eger()
Signed-off-by:
Christopher Li
<chrisl@hera.kernel.org>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
Fix _
_
label__ handl
i
ng
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
Fix decl
a
ration_spe
c
ifi
e
rs() handling
o
f
type
d
ef na
m
e
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
F
ix
e
n
u
m
eration constants' s
c
ope
beginni
n
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
Restore
__attribute
_
_((mode)) handli
n
g
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
Pass
decl_s
t
ate down to -
>
attr
i
bute()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next