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
unssa: track uses when replacing a phi node
2009-07-18
L
inus To
r
v
a
lds
Avo
i
d
"attribute
'
warning
'
:
u
n
k
nown
a
ttribu
t
e
"
war
n
ing
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2009-07-18
L
i
nu
s
Torvalds
Turn off '
-
Wtrans
p
arent-union'
by def
a
ult
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2009-07-18
Linus
T
orvalds
All
o
w array de
c
larators to have 'restrict' in them
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2008-04-25
Li
n
u
s
Tor
v
alds
Simplify (and warn
about) right shifts that result
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2008-04-25
Li
n
us Torvalds
Fix cast ins
t
ru
c
tio
n
generation
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2006-10-01
Li
n
u
s
Torv
a
lds
M
erge branc
h
'for-lin
u
s'
of git://git
.
ker
n
el
.
org/
p
ub
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Linus
T
o
r
v
a
lds
Add warning mess
a
ge for naked
d
o-w
h
ile
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-09-03
Linus To
r
valds
Make sparse warn about initializ
e
rs t
h
at initia
l
ize
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-08-01
Linus Torvalds
Fir
s
t cut at something t
h
at
a
pproaches a sane -Wshadow
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-07-08
Linus
T
or
v
a
lds
Av
o
id bogus gcc warnings about unu
s
ed results
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-07-08
Linus Torval
d
s
Fi
x
dropp
e
d ty
p
e information i
n
"add_pseud
o
()"
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-06-10
Linus To
r
valds
Fix NULL p
t
r dereference wi
t
h bad typ
e
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-05-09
Linus T
o
rvalds
Merge branch
'init-brace
s
-
f
ix' of
git://git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2006-01-08
L
inus
Torvalds
Fix inco
r
r
e
ct cast
s
i
m
p
l
ification aro
u
n
d '~' operation
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-12-31
Linus T
o
rvald
s
M
ake l
o
cal declaration
s
b
e
state
m
en
t
s of th
e
ir own
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-23
Linus To
r
valds
ex
a
mple: OP_COPY
m
ust destroy any old pse
u
do state
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-23
Linus T
o
r
v
a
lds
Make
t
he "exampl
e
" compi
l
er us
e
the new uns
s
a(
)
ph
a
se
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-22
L
i
nus Torvalds
Whe
n
t
aking the ad
d
ress of a
s
ymbo
l
, fix up
t
he pointe
r
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-20
Linus To
r
v
a
l
d
s
Si
m
plif
y
some
m
o
re ins
t
r
uct
i
ons
commit
|
commitdiff
|
tree
2005-11-20
L
i
nus Torvalds
Remov
e
totally
b
ogus phi-so
u
rce liveness thi
n
g
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-19
L
inus Torvalds
Evalua
t
e expressio
n
s fully
when doing type compa
r
isons
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-17
Lin
u
s Torval
d
s
F
i
x up stupid thinko in K&R paramet
e
r parsing
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus
T
orv
a
lds
Re
-
name
"err
o
r()" function to "spars
e
_error()"
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus Torvalds
Fix K&R argument scoping
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus Torvalds
Integ
e
r promoti
o
n:
l
e
ave sufficiently large in
t
eger
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-04
Linus Torvalds
Make switch
/
ca
s
e
stat
e
ments check ty
p
e
comp
a
tibility
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
Linus Torvald
s
Cast a
l
l
enum v
a
lues to
t
he final type
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
Linus Torvald
s
M
ake sure
we keep en
u
m
val
u
e
s in a su
f
fic
i
en
t
ly la
r
g
e
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-02
L
i
nus Tor
v
alds
Add
"
.
g
i
tignore" f
i
l
e
commit
|
commitdiff
|
tree
2005-11-02
Linus
T
orva
l
ds
Handle symbol
s
from "-incl
u
de" file too
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-30
Linu
s
Torva
l
ds
Make sure
t
o be more car
e
f
ul a
b
o
u
t marking
s
ymbols
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
Li
n
u
s
Torvalds
S
i
m
plify constant ar
r
ay
(
or structure)
derefer
e
nces
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
Lin
u
s Torvalds
T
e
a
c
h der
e
ference expansion to look into cons
t
ant
array
.
.
.
commit
|
commitdiff
|
tree
2005-09-24
Linus Torva
l
ds
Do s
t
upid and crap
p
y
CSE on casts
.
commit
|
commitdiff
|
tree
2005-09-22
Linus Torvalds
T
u
r
n
t
he "incorrect type" e
r
ror back
i
n
to a
w
arning
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
Linus Torvalds
Add va
r
io
u
s declara
t
ions for
m
o
re builtin f
u
nc
t
ions
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
Lin
u
s T
o
r
v
alds
Make
s
ur
e
th
a
t when we de
f
ine __OPTI
M
I
Z
E[_SIZE]_ we
.
.
.
commit
|
commitdiff
|
tree
2005-09-09
L
i
nu
s
T
o
r
v
alds
W
arn about unde
f
ined preprocessor symbo
l
s at expansion
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-08-15
Linu
s
Torv
a
lds
Make
'
cgcc' work at least half-way better
commit
|
commitdiff
|
tree
2005-08-15
Lin
u
s Torvalds
Fi
x
parsing
o
f t
o
p-level asm st
a
temen
t
s
commit
|
commitdiff
|
tree
2005-08-15
Lin
u
s Torvalds
Ad
d
__OPTIMIZ
E
[_SIZE]__ predefines
commit
|
commitdiff
|
tree
2005-08-15
Linus Torvalds
Cl
e
an up iterator
h
a
n
dl
i
n
g
commit
|
commitdiff
|
tree
2005-08-11
Li
n
u
s To
r
va
l
ds
Make
d
e
lete_last_i
n
s
tr
u
c
t
ion() use the ne
w
undo_
p
tr_list_las
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
Linus
T
orvalds
Add 'undo_
p
tr_l
i
st_last()' helper functio
n
commit
|
commitdiff
|
tree
2005-08-06
Linus T
o
rvalds
Have more bits for
"stream
number" i
n
"struct po
s
"
commit
|
commitdiff
|
tree
2005-08-04
Linus Torvalds
Don't overwrit
e
built-
i
n macro
s
w
hen redefin
i
ng them
.
commit
|
commitdiff
|
tree
2005-08-04
Linus Tor
v
ald
s
Updat
e
the calling interface to
"
sparse(
)
"
.
commit
|
commitdiff
|
tree
2005-08-03
Linus Torv
a
l
ds
Get
closer
t
o parsing multiple files correctly
.
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Add function to "protect" allocations from be
i
ng
d
ropped
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
L
inus Torv
a
lds
Don'
t
f
r
ee expressions after prep
r
o
c
e
s
sing
commit
|
commitdiff
|
tree
2005-08-03
Linus Tor
v
alds
Add DEBU
G
mode, which ena
b
les
v
arious expe
n
sive debug
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
L
i
nus Torva
l
ds
Make types ha
v
e file
sco
p
e, not global scope
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Make
"
s
p
a
rse()" han
d
l
e
multiple input fi
l
e
s
on t
h
e
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Make mac
r
o
s hav
e
f
i
le scope
commit
|
commitdiff
|
tree
2005-08-03
L
inus Torva
l
ds
Whe
n
droppin
g
all allocations, clear th
e
freelist too
commit
|
commitdiff
|
tree
2005-08-02
Linus
Torval
d
s
Start work o
n
proper scoping w
i
th
m
ult
i
ple files
commit
|
commitdiff
|
tree
2005-07-11
Linus
T
or
v
alds
Don't warn
ab
o
ut "nocast"
w
a
rnings that only change
.
.
.
commit
|
commitdiff
|
tree
2005-07-03
Linus Tor
v
alds
Add
"__builtin_
o
ffsetof()" to work wi
t
h
new
e
r gcc's
commit
|
commitdiff
|
tree
2005-06-21
Lin
u
s Torvalds
Be
m
ore careful about l
i
n
earizing cond
i
tion
a
l
s
commit
|
commitdiff
|
tree
2005-06-20
Linus Torvalds
Initial cut at
_
_builtin_expe
c
t() imp
l
em
e
n
t
atio
n
commit
|
commitdiff
|
tree
2005-06-20
Li
n
us
Tor
v
al
d
s
D
efa
u
lt to repor
t
ing
t
he same
GNU C version as
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
L
i
nus To
r
vald
s
Fix assign
m
ent and
conditiona
l
expression
p
arsing with
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
L
i
nus Torvalds
Fix
SI
G
SEGV on
a
ss
i
gnment to
bad left
s
ide
.
commit
|
commitdiff
|
tree
2005-06-17
Linus
T
o
rvalds
Fix up a few missing ba
s
e typ
e
evaluations
commit
|
commitdiff
|
tree
2005-06-17
Lin
u
s Torvalds
Fi
x
up
t
y
p
e examinati
o
n
.
commit
|
commitdiff
|
tree
2005-05-19
Linus Torvald
s
D
o
n't wa
r
n about undeclared "main()"
f
unction
.
commit
|
commitdiff
|
tree
2005-05-19
Linus Torvalds
Fi
x
po
s
ition reporting on unterminated p
r
epro
c
esso
r
.
.
.
commit
|
commitdiff
|
tree
2005-05-17
Linus Torvald
s
F
i
x S
I
GSEG
V
on non-ANSI
fu
n
ctio
n
-line declarations
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Give function name
in non-
A
NSI d
e
cla
r
ation warning
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Mak
e
e
n
um sym
b
ols be r
e
gular symbols with constant
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Wa
r
n about imp
l
ici
t
casts
t
o/from "nocast"
t
y
pes
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
M
o
v
e the ptrlist macros
o
ut of the sparse "l
i
b
.
[
c
h
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Handle b
a
d enum exp
r
e
ssion typ
e
s gracefully
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Add
support
f
o
r
c
ontext check
i
ng functions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
ald
s
Name
s
tatic l
i
brary "
l
ibsparse
.
a" to match shared
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
D
o
n
't warn about zero
-
sized "sizeof"
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Warn about undeclared identifiers
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Support buildi
n
g spa
r
se
a
s a shared librar
y
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
Warn
about
s
izeof of zero size
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Be more careful about re
m
oving implicit casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torva
l
ds
Mak
e
s
u
re
to r
e
-
examine a struct/uni
o
n/enum typ
e
after
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
l
d
s
Make "check"
(aka spars
e
) chec
k
argument
s
to
s
ome func
t
ions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Fix typo (duplicate src
2
sho
u
ld
b
e sr
c
3) in simplify_range
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
a
l
ds
R
emo
v
e old
stale pointer dereference
t
ype
m
ess, that
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Export "is_ptr_type()" hel
p
e
r
f
u
nct
i
on to others
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Avoid SIGSEG
V
when
linear
i
zing
bad expression
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
v
a
lds
Don't drop mod
i
fier bi
t
s from a member dereference
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us
T
orva
l
ds
U
se
t
he new per-in
s
truction posi
t
ion information fo
r
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Make each instruct
i
on have a position of its own
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make range
c
heck code a bit more readable (and more
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
To
r
va
l
ds
A
d
d
c
o
m
p
ile
-
time
"range-ch
e
ck
"
infrastructure to spar
s
e
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s T
o
rvalds
Make sure we
e
valuate
pointer c
o
mparisons as unsigne
d
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nu
s
Torvalds
Shu
t
up
i
nformational me
s
sages onc
e
we've hit
the m
a
ximu
m
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
M
a
ke "check" (aka "sparse") che
c
k data-
d
roppin
g
casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
M
ake simplificati
o
n remove casts
that chan
g
e
neither
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Split OP_
C
AST into
signed, unsigned and
F
P
cas
t
s
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
u
s
Torva
l
ds
Simpl
i
fy OP_CAST of OP_AND
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
D
o
n't
o
pti
m
ize away cast
s
t
oo early
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
Duh
.
W
h
e
n
a func
t
i
o
n returns VOID, we s
h
ould _not
_
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
F
ix code
g
e
n
eration co
n
fusi
o
n between OP_ADDR
a
nd
t
he
commit
|
commitdiff
|
tree
next