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
parser: add Blackfin gcc info
2010-10-08
M
ik
e
Frysinger
parser: add Black
f
i
n gcc info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-15
Christopher L
i
Fixup and
cle
a
nup m
o
dif
i
er_str
i
ng
(
) funct
i
on
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Dan Ca
r
pe
n
ter
add test-insp
e
c
t
to
.
gitignore
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-09-01
Bernd
Petrovitsch
Fix a typo - "typdef" is neith
e
r C nor
pla
i
n Engl
i
sh
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-22
Christop
h
e
r
Li
in
s
pect:
cast exp
r
e
s
s
ion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-19
Mort
e
n Welinder
skip ma
y
_alias and declare
bui
l
tin_
f
abs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
C
hri
s
topher
inspect: ad
d
s
om
e
expression i
n
spect
i
on
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
L
i
inspect: Ad
d
te
s
t-inspe
c
t
program
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christ
o
p
h
er Li
ins
p
ect: ad
d
some example inspect
f
or symbol and statement
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher L
i
i
n
s
p
ect: ad
d
c
ustom
a
st tr
e
ev
i
e
w model
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Jiri Slaby
pars
e
r:
def
i
ne __bui
l
tin_unr
e
achable
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
Christopher
Add test
c
ase for builtin_unreachable()
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-07-13
J
i
r
i Slaby
parser: fix and simplify sup
p
ort of asm got
o
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Jiri
Sla
b
y
parser: add support for
a
s
m
g
o
to
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Christopher
Li
Add
i
ng asm goto label test
c
ase
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Damien
L
espiau
I
gnore
t
he m
a
y_
a
lias
G
C
C attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-06-18
Christ
o
pher Li
P
a
rsing w
i
d
e
char str
i
ng
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-04-08
Christopher L
i
A
l
low parsing L'\0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Chr
i
s
t
op
h
e
r
ev
a
luate:
c
heck for
NULL ty
p
e in
s
ide typeof
Signed-off-by: Christopher <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
Point
e
r d
o
n
't inheren
t
t
h
e
alignm
e
nt
f
r
om
b
a
s
e
type
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
J
o
e
l Soete
po
s
sible fix to cgcc
i
ssue in
s
parse 0
.
4
.
2
:
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
M
i
chael Buesch
Ig
n
o
re
"
n
a
ked" attri
b
ute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Michael Buesch
ignore
at
t
rib
u
tes "ext
e
r
n
ally_visible" and "sig
n
a
l
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Chri
s
topher Li
A
d
ding
t
e
st case
for
"
x && y && z"
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
D
a
niel De Graaf
F
i
x incorrect lineariza
t
io
n
of "x && y &
&
z
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
D
a
n
M
cG
e
e
Ma
k
e
file: fix permissio
n
s mixup on install
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Josh Triplett
New att
r
i
b
ut
e
des
i
g
n
ate
d
_init:
m
ark
a st
r
uct as
requiring
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
J
o
sh Trip
l
ett
Re
n
ame -Wal
l
t
o Wspa
r
s
e-all, s
o
it doesn't
get turned
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Mi
c
hael Stefaniuc
H
a
ndle __builtin_ms_va_list
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christ
o
pher Li
Simplify Makefile usin
g
static
p
a
tter
n
r
u
les
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
M
i
chael Stef
a
n
i
uc
Ignore the alloc
_
size at
t
ribute
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
M
icha
e
l
S
tefan
i
uc
Ignore
t
h
e
m
s_abi/sysv_abi at
t
ribute
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christop
h
er Li
D
e
clare ignored at
t
ributres into a list of string
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2010-03-29
Christopher Li
M
o
ve noreturn attr
i
bute out of i
g
nore at
t
r area
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
Christopher Li
Make MO
D
_N
O
RETURN fits i
n
to 3
2
bit
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-10-16
Kamil
D
u
d
ka
do not ign
o
re a
t
tri
b
ute
'
n
oreturn'
.
.
.
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
Pekka Enbe
r
g
sparse: Add GCC p
r
e-defined macr
o
s
f
o
r u
s
er-space
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Kamil
D
u
d
k
a
make spa
r
se headers self-compilable
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-11
Reinha
r
d
Tar
t
ler
show_token
:
h
andle TOKEN_UN
T
A
INT and TOKEN_ARG_CO
U
NT
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Kamil Dudka
uns
s
a: tr
a
ck uses when replacing a
p
hi node
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
B
lue Swir
l
Define __LP
6
4__ for x86_64 unless in 3
2
bi
t
mod
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-02
Blue Swirl
Add supp
o
r
t
fo
r
TImode typ
e
(__in
t
1
2
8_t)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-29
K
a
mil Du
d
ka
linearize
.
h: sa
n
itize header
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-03
Blue S
w
irl
Add c{l,t
}
z{,l,ll}, ffsl{,l},
popcountll and floa
t
ing
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-08-03
Blue Swir
l
I
g
nore attribu
t
e __bounde
d
__, used by OpenBS
D
h
e
aders
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-27
Hannes
E
der
test-suite: integrate unhan
d
l
e
d propr
o
cessor
t
ests
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-22
K
a
mil Du
d
ka
compile-i386: do not gener
a
te an infinite loop
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-20
Ra
m
say Jon
e
s
Makef
i
le: su
p
pre
s
s
error mes
s
age from p
k
g-config
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
Han
n
es E
d
er
test-su
i
te: be more verbose on 'unhandled' and 'known
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-19
Christop
h
er Li
move extern inline fun
c
tion
to file scope
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Christophe
r
Li
A
d
d validation for restrict and attribute
warni
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linus Torvalds
A
v
oid "attribute 'warning': unknown a
t
tribute
"
warning
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Linu
s
Torvalds
Turn off '-Wtran
s
parent-union'
b
y defa
u
lt
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Li
n
us Torvalds
A
l
l
ow array declarators to ha
v
e
'
restrict' in
them
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Samuel Bronson
H
a
ve Makefi
l
e import local
.
mk
if it exist
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Albe
r
to Bert
o
gli
S
upport the __t
h
read s
t
orage class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Mart
i
n Nagy
Print an
error
i
f typeof
(
) la
c
ks
a
n argument
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Martin Nagy
Add missin
g
checks for Wa
d
d
ress-s
p
ace
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Martin Nag
y
.
gitignore: Ig
n
ore dependenc
i
es and Vim swap files
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
wa
r
n di
r
ective in argument list
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Al
V
i
ro
Segf
a
ult at evaluate
.
c:34
1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Al
Viro
Sanitize
pointer()
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
Don'
t
mix sto
r
age class bits with
c
type->modifi
e
r
s
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Al V
i
ro
S
implify get_number_value()
a
nd ct
y
p
e
_integ
e
r()
commit
|
commitdiff
|
tree
2009-07-18
Al
V
iro
Fix __label__ ha
n
dling
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
Fix decla
r
a
t
ion_sp
e
cifiers()
handl
i
ng of typedef name
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
Fix enumeration constan
t
s' scope b
e
g
inning
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Al Viro
Resto
r
e
_
_attribute__((mode)) handling
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-18
Al Vir
o
P
a
s
s
decl
_
stat
e
d
o
w
n
to
-
>attribute()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
A
l V
i
ro
Pa
s
s decl_state down to ->declarator(
)
and handle_at
t
ribute
s
()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
A
l Viro
Clean up
a
n
d
sp
l
it de
c
larat
i
on_s
p
ecifiers()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
A
l
Vi
r
o
Ha
v
e ->declar
a
tor
(
) act directly
o
n
ctype bein
g
affected
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al
Viro
Rewrite
a
n
d fix sp
e
cifiers handli
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al
Viro
Saner type for __b
u
iltin_va
_
list
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Viro
Take
the rest of specifiers
t
o pars
e
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Vir
o
preparati
o
ns to
-
>declarato
r
() cleanup - s
e
pa
r
a
t
e
typedef
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Vi
r
o
Fix ha
n
dling
of typedefs with
s
evera
l
declar
a
t
o
rs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al
Viro
Tak
e
the rest of stora
g
e cla
s
s k
e
yw
o
rds to parse
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Vir
o
Fix re
g
ression created by commit
a
f30c6df74
f
01db1
0
fa78ac
0
cbd
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Viro
Pro
p
agate
decl_sta
t
e to d
e
cl
a
ration_spec
i
fiers()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al
V
i
r
o
Se
p
arating
c
type and
p
a
r
ser stat
e
, part 1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Viro
Sanitize direct_declarator l
o
gi
c
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Vir
o
Fix braino in whi
c
h_kind(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Viro
D
on't
m
ess with
passing symbol to de
c
lar
a
tor/direct_declarator
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Viro
Leave applying a
t
tributes
until we know whether it
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al
V
iro
Apply attributes after ( to the right place
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al
V
iro
Warn about non-empty identifier list outside of definition
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Viro
more
direct_declarator() sa
n
itiz
i
ng
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
A
l
Viro
F
ix attribute/asm h
a
ndling
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al
V
iro
More nested d
e
clara
t
or fixes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Viro
Separate par
s
ing of
i
dentifier-
l
ist (in
K&R-style d
e
c
larat
i
ons)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
A
l
Viro
Fix handling
of id
e
nt-less declarations
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Thomas
S
c
hmid
Fix
i
mplicit cast t
o
fl
o
at
Signed-Off-By: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Viro
fun
w
ith declaratio
n
s and definiti
o
ns
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Al Viro
Fix typ
e
_info
_
e
xpr
e
s
s
ion()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
A
l Vir
o
fun
with decla
r
ation
s
and d
e
finitions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
C
h
ristop
h
er
Li
Update the
v
alidation
check for
ftabs
t
op
=
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2009-07-17
Hann
e
s Ed
e
r
refa
c
tor h
a
ndle_
s
witch_
f
commit
|
commitdiff
|
tree
2008-12-29
C
h
ristop
h
er Li
C
l
ea
n
u
p
Make
f
ile long
l
in
e
s
Signed-Off-By: Christopher Li<
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next
