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
OP_SWITCH should use 'insn->cond' instead of 'insn->target'
2017-02-13
Lu
c
Van
O
o
st
e
nryc
k
O
P_SWITCH should
u
se 'insn->cond' inst
e
ad of
'insn
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nryc
k
give comparable labe
l
'
s na
m
es to basic blocks
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
let
"
c
ompile
"
not cr
a
sh
on b
o
o
l
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oos
t
enr
y
c
k
make ptrlist
walking
a
gainst
r
o
b
ust against empty blocks
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
E
m
ily Maier
validation: Check
C99 fo
r
loop variab
l
es
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
D
a
n
i
e
l
Wagne
r
p
arse:
Add commen
t
to s
t
ruct
s
ta
t
ement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nesterov
d
iss
e
c
t
:
s/mode_t/usage
_
t/ in repo
r
t_member()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
O
leg
N
esterov
dissect: teach do_ini
t
ializer() to handle
t
he neste
d
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nesterov
dissect: teach do_expression() to handle EXPR_OFFSETOF
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oos
t
enryck
a
d
d test case for builti
n
b
swap with constant args
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Johannes Berg
implem
e
nt con
s
tant-folding in __buil
t
in_bswap*()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
fix
d
iscard
e
d label
statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oos
t
enryck
Re
m
ove unneeded
v
ariab
l
e in intege
r
_promotion()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
Warn on
u
nknown attributes instead
o
f throwing errors
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenry
c
k
cleanup:
r
emove ev
a
luate_argu
m
e
n
ts()'s unused argument
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
make 'i
g
nored_attributes
[
]' static
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
E
m
ily Maie
r
linearize: Emit C99 declarations correct
l
y
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Luc
V
an Oostenr
y
ck
add miss
i
ng
#
inc
l
ude "cha
r
.
h" to char
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Lu
c
Van Oostenryck
F
i
x type
ch
e
cking of variadic functions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Lance Richardso
n
sp
a
rs
e
: update
__b
u
iltin_obje
c
t_size
(
) prototype
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
L
uc V
a
n Ooste
n
ryc
k
fix
m
ixup i
n
"Handle SForced in storage_modif
i
er
s
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-11-16
Jeff Layton
H
andle
SForced i
n
storage_mod
i
fier
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-27
Rui Teng
spar
s
e:
a
dd no_sanitiz
e
_
a
ddre
s
s as
a
n ignored attrib
u
te
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
La
n
ce Ri
c
hard
s
on
sparse
:
ignore __assume_al
i
gn
e
d
_
_ a
t
tr
i
bute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
Rams
a
y Jones
s
p
a
r
s
e
: add
'alloc_align' to the igno
r
ed
attributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
Christopher
L
i
Fix warning c
o
mp
i
ling spa
r
se-
l
lvm
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van Oo
s
t
e
nryck
Do not drop
'
nocast' mod
i
fie
r
when taking the
address
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-02-04
L
uc
V
an Oost
e
nryck
Fix s
i
ze calcu
l
ation of unsized bool a
r
ray
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-15
T
ony Camuso
Add default
c
a
s
e to switch
e
s on enum variable
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-15
Tony Camuso
.
gitig
n
o
r
e: add
c
scope and Qt project files
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-04
Dan
C
arpenter
ptrlist: r
e
ading deleted items in NEXT_PTR_LIST()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-06-14
Azat K
h
uzh
i
n
vali
d
ation/prototype:
r
egression for skipping pr
o
totyp
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-06-14
Azat
Khuzhin
spar
s
e, llvm: compile: sk
i
p
functio
n
p
rototypes t
o
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-06-12
Heiko Carstens
spa
r
se/parse
.
c: ignore hotp
a
tch attribut
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-04-21
Michael Stef
a
n
i
uc
A
d
d tests
f
or t
h
e builtin INF and nan() funct
i
on
s
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
Ard Biesheuvel
Ignore p
u
re att
r
ibute in
a
ssigneme
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
Michael Stefaniuc
Add
a define for __bui
l
tin_ms_va_co
p
y
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
Michael Stefaniu
c
Add
the __b
u
il
t
in
functi
o
ns needed
for INFINI
T
Y and
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-02-09
Luc Van Oostenryck
T
e
a
ch
sparse about the _
_
COUNTE
R
__ predefined
m
acro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-02-06
Christo
p
h
er Li
M
a
ke
m
a
cro expanded
s
tring
im
m
ut
a
ble
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-01-28
Christian
B
or
n
traeger
s3
9
0x: add the
pr
o
per defines for data types
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-12-12
C
hristop
h
er Li
Ptr list so
r
ting should use memm
o
ve instead of memcpy
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
A
a
ro Kos
k
i
ne
n
build: allow
use o
f
PKG_CONFIG
to ove
r
r
i
de pkg
-
config
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay J
o
nes
compile-i386
.
c: don't ign
o
re re
t
ur
n
value of write(2)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Rams
a
y J
o
nes
pars
e
.
c: remove du
p
l
i
cate 'm
a
y
_alias
'
ignored_at
t
ributes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ra
m
say Jones
c
gcc: avoid passing a sparse-
o
n
l
y
op
t
io
n
to cc
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
R
a
msay Jones
t
est-suite: remove bas
h
ism
t
o
a
voi
d
test failures
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-25
Christop
h
er Li
teach
n
e
xt_d
e
sig
n
at
o
rs()
u
se array_ele
m
ent_offset()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay Jones
cg
c
c
: u
s
e $cco
m
to set $multiarch_dir if not
s
pecified
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
R
am
s
ay
J
on
e
s
cgcc: use
only
t
he cc command
t
o
d
etermine $
g
cc_base
_
dir
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsa
y
Jones
Add
s
u
p
port for
multi
a
rch syste
m
header f
i
l
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
R
amsay Jones
d
on't
r
un sp
a
rse{c
,
i} tests when
sparse-llvm is
disabl
e
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsay
Jones
Makefil
e
: supp
r
es
s
e
r
ror message from
s
h
ell
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ra
m
sa
y
Jo
n
e
s
don't call isdigit/tolower
with a
c
h
ar argument
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
R
amsay Jones
sparse: add 'gnu_inli
n
e' to t
h
e
i
gnored a
t
t
r
ibutes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ramsa
y
Jones
Add the
_
_re
s
trict__
k
e
y
wor
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Ard Bies
h
euv
e
l
spar
s
e
:
t
reat function poin
t
ers
as pointers
t
o const
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-10-10
Christopher Li
rename -Werror
to -Wsparse-error
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-09-28
T
homas Graf
sparse: Make -W
e
rr
o
r turn wa
r
nigns into e
r
rors
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-09-25
Pavel Roski
n
Use
L
LVM_CONFI
G
instead of llvm
-
config
i
n
Make
f
i
l
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-09-25
Om
a
r Sandoval
sparse-llvm: F
i
x L
L
VM 3
.
5 linker erro
r
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-09-18
Linus Tor
v
alds
Fix initializers in anonymous structs
a
nd u
n
ions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-08-02
C
h
r
isto
p
her Li
Make
same_symb
o
l list
share
t
h
e
sa
m
e
s
c
ope
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-08-02
Linus T
o
rvalds
Fi
x
scoping of extern symbols in
b
l
o
c
k sc
o
pe
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-07-17
C
hristo
p
h
e
r
Li
round up the array eleme
n
t size to
b
y
t
e align
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-07-16
Jef
f
Layt
o
n
s
p
ar
s
e: m
a
ke bits_to
_
bytes round up
instead of down
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-06-29
Christ
o
pher
L
i
Minor clean up for
o
p
ti
o
n hand
l
ing
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-06-29
Andy Shevchenko
lib
.
c: skip --param parameters
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-17
Cody
P
S
c
hafe
r
pars
e
: support
c99 [
s
tatic
.
.
.
] in
abstract a
r
ray dec
l
a
r
a
t
ors
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-15
Cody P Schafer
s
parse{i
,
c}:
u
se LLVM_CONFI
G
t
o
f
i
n
d llc and lli
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-15
Cody
P
S
ch
a
fer
bu
i
ld: all
o
w
u
s
e
of LLVM_CONFIG to override llvm-
c
o
n
fig
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-03
Linus
T
o
rval
d
s
Fix error at ano
y
mous unions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-03
Hans Verkuil
A
d
d
t
est ca
s
e f
o
r the i
o
c ty
p
e check
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-03
Hans V
e
r
kuil
A
d
d test
case
f
or anonymous union in
i
tializer
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-03
Hans
V
erkui
l
A
dd t
e
st case for e
x
ter
n
array
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-01
Linus To
r
valds
Use any
p
reviou
s
i
n
itializer to size
a symbol
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-01
Linus Tor
v
alds
Add warning
abou
t
duplic
a
t
e
i
nitializers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-01
John
K
eeping
Suppo
r
t GCC's tr
a
nspa
r
ent uni
o
ns
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-01
John Keeping
evaluate: s
p
lit out imp
l
ementation of compa
t
ibl
e
_assignment
_
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-04-01
J
ohn Ke
e
pi
n
g
valid
a
ti
o
n/sizeof-boo
l
: fix broken
t
est case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-02-27
Joe P
e
rches
spar
s
e
:
Al
l
ow override of
sizeof(bool)
w
ar
n
in
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-01-29
Emilio
G
.
Cota
Define
__CH
A
R_BIT__
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-01-29
Christopher
L
i
Spa
r
se 0
.
5
.
0
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-01-29
Chris
t
o
ph
e
r Li
Fix make dist failure
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-21
Christo
p
her Li
Spa
r
se 0
.
5
.
0 rc1
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-21
Ki
m
Phi
l
l
i
ps
sparse: add built-in atomic me
m
ory acc
e
ss
i
d
e
n
ti
f
ie
r
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-21
Emilio G
.
Cot
a
giti
g
n
o
re: a
d
d 'versio
n
.
h'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-12-09
Ja
m
e
s
Westby
Update
the
i
nformation in RE
A
DME about us
i
ng the libra
r
y
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Franz Schr
o
ber
sparse: Also che
c
k bit
_
offs
e
t when checking i
m
plici
t
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Fran
z
Schrober
FAQ: Remove outdated
s
ections about
the licen
s
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Fra
n
z
S
chrober
s
parse: Relicen
s
e
u
n
d
e
r
th
e
M
IT li
c
ense
Acked-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Fran
z
Schrober
Re
v
ert "Fix m
i
staken comparison that beco
m
es a no-op
.
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Franz
Sch
r
o
b
er
Re
v
e
r
t
"Upd
a
te
the in
f
ormation in README about using
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-11-29
Christopher L
i
Me
r
ge branch 'Novafora'
o
f git:/
/
g
it
.
zytor
.
com/users
.
.
.
commit
|
commitdiff
|
tree
2013-07-25
Christ
o
pher Li
Merg
e
br
a
nch 'llvmcore'
commit
|
commitdiff
|
tree
2013-07-25
Jeff Layton
sparse
:
a
d
d
__bu
i
lti
n
_va_ar
g
_p
a
ck() and __b
u
iltin_
v
a_arg_pac
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-23
Ramsay Jo
n
es
symbo
l
.
c: Se
t
c
orrect
size of ar
r
a
y from p
a
renthes
i
zed
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-17
Ramsa
y
Jones
c
h
ar
.
c: Fix p
a
rsing of esc
a
p
es
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-16
Chr
i
s
toph
e
r
Li
Trivial:
Re
m
o
v
e
r
edundant Ma
k
e
file v
a
riable
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2013-05-15
Xi
W
ang
spar
s
e, l
l
v
m: fix l
i
nk errors
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next