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
First cut at something that approaches a sane -Wshadow
2006-08-01
L
inus Torvalds
First
cut
a
t something tha
t
app
r
oaches a sane
-
Wshadow
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-07-08
Li
n
us Torva
l
ds
A
void bogus gc
c
warnings abo
u
t unused resul
t
s
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-07-08
Linus
T
o
rva
l
ds
Fix dropped type informat
i
on in "add_pseudo()"
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-06-10
Linus
To
r
valds
F
i
x
NULL ptr derefe
r
ence
w
i
th bad
type
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-05-09
L
inus To
r
vald
s
Merge branch 'i
n
i
t
-braces-fix' of git:
/
/git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2006-01-08
Linus
Torvalds
Fix incorrec
t
cast simplification
a
r
ou
n
d
'
~'
operation
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-12-31
Linus Torvalds
M
ak
e
loca
l
dec
l
arations be stat
e
ment
s
of the
i
r
o
wn
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-23
Linus Torvalds
e
x
ample: OP_COP
Y
mu
s
t
destroy any old ps
e
udo state
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-23
Linus Torvalds
Make
th
e
"example"
c
o
mpiler us
e
the new un
s
sa() ph
a
se
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-22
Li
n
us Torva
l
ds
W
h
en taking t
h
e ad
d
ress of a symbol, fix up the poin
t
er
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-20
Linus Torvalds
Si
m
plify some mor
e
in
s
truction
s
commit
|
commitdiff
|
tree
2005-11-20
Linus To
r
val
d
s
Remove totall
y
bogus phi-source
l
i
v
eness thing
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-19
Linus Torvalds
Evaluate ex
p
ressions fully when doin
g
type co
m
pariso
n
s
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-17
Linus To
r
val
d
s
F
ix up stup
i
d think
o
in K&R parameter
p
arsing
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus Torvalds
R
e-name "error()" function to "s
p
arse
_
error()"
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Lin
u
s
Torvald
s
F
i
x K&R ar
g
ument sco
p
ing
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus Torva
l
ds
Integ
e
r promotion:
l
e
a
ve suffi
c
iently l
a
rge integer
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-04
Linus To
r
v
a
lds
Make swit
c
h
/c
a
s
e
statements check type compatibility
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
L
i
nu
s
Torvalds
Cast all
enum values
to t
h
e fina
l
typ
e
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
Linus Torval
d
s
Make sure we
k
eep enu
m
values in a sufficientl
y
large
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-02
Linus Tor
v
alds
Add "
.
gitignore
"
file
commit
|
commitdiff
|
tree
2005-11-02
Linu
s
Tor
v
a
l
ds
Handle sy
m
bols from "-include"
f
ile too
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-30
Linus Torvald
s
M
a
ke sure
t
o
be more caref
u
l ab
o
ut
mark
i
n
g
symb
o
ls
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
Lin
u
s Torva
l
ds
Simp
l
ify co
n
stant array (or stru
c
tur
e
) dereferen
c
es
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
Lin
u
s Torvalds
T
e
ach d
e
reference ex
p
ansio
n
t
o
look into c
o
nstant array
.
.
.
commit
|
commitdiff
|
tree
2005-09-24
Linus T
o
r
valds
Do stupid an
d
crapp
y
CSE on
casts
.
commit
|
commitdiff
|
tree
2005-09-22
Linus Torvalds
Turn t
h
e "incorrect
type" error back in
t
o a w
a
rning
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
Linus Torval
d
s
Add various declarations for more builtin functions
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
Linus Torv
a
lds
Ma
k
e sure that w
h
en we define __O
P
TI
M
IZE[_SIZE]_ we
.
.
.
commit
|
commitdiff
|
tree
2005-09-09
Lin
u
s Torvalds
Warn
a
bout und
e
fined preprocessor symbols
at expansion
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-08-15
Li
n
us Torvalds
Make 'cgcc' wor
k
at least half-way
b
et
t
er
commit
|
commitdiff
|
tree
2005-08-15
Linus Tor
v
alds
Fix
p
ar
s
ing o
f
top-le
v
el a
s
m
s
tatements
commit
|
commitdiff
|
tree
2005-08-15
Linus
T
orvalds
Add _
_
OPTIMIZ
E
[_S
I
ZE]__ pr
e
define
s
commit
|
commitdiff
|
tree
2005-08-15
Linus Tor
v
alds
Clean u
p
iterator
handling
commit
|
commitdiff
|
tree
2005-08-11
L
i
nus Torvalds
Make delete_last_instruction(
)
use th
e
new
u
ndo_ptr_list_las
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
Linus
T
o
rvalds
Add 'undo_pt
r
_li
s
t
_last()'
he
l
per f
u
nction
commit
|
commitdiff
|
tree
2005-08-06
Linus Torvalds
Have more bits fo
r
"
s
tr
e
am
n
umber" i
n
"str
u
ct
p
os"
commit
|
commitdiff
|
tree
2005-08-04
Linus Torvalds
Don't overwrite built-in macros when r
e
defining them
.
commit
|
commitdiff
|
tree
2005-08-04
Li
n
us To
r
v
a
l
d
s
Update the calling interfac
e
to "sparse()"
.
commit
|
commitdiff
|
tree
2005-08-03
Linu
s
Torvalds
Get closer to
parsi
n
g mu
l
tiple files co
r
rectly
.
commit
|
commitdiff
|
tree
2005-08-03
L
i
n
u
s Torva
l
ds
Add funct
i
o
n
to "prote
c
t" all
o
c
a
tions from bei
n
g d
r
opped
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus Torva
l
ds
Don
'
t
free expressions
after preprocessing
commit
|
commitdiff
|
tree
2005-08-03
L
inus Torval
d
s
Add DEBU
G
mod
e
,
w
hich enables vari
o
us
e
xpensive
debu
g
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus Torva
l
d
s
M
a
ke types have file scope, not global
s
c
o
pe
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Make "sparse()" handle multiple input fi
l
es on
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
L
i
nus Torvalds
M
a
ke macros have file sco
p
e
commit
|
commitdiff
|
tree
2005-08-03
L
i
nus
T
orvalds
When droppin
g
a
l
l allo
c
a
t
i
ons, clear the
freelist too
commit
|
commitdiff
|
tree
2005-08-02
Linus
T
orvald
s
S
tar
t
work on
proper s
c
oping with mul
t
iple files
commit
|
commitdiff
|
tree
2005-07-11
L
i
n
us To
r
valds
Don't warn about "nocast" warnings that
only
chang
e
.
.
.
commit
|
commitdiff
|
tree
2005-07-03
Linus Torvalds
Add "__buil
t
in
_
off
s
etof()" to wo
r
k
with newer gcc's
commit
|
commitdiff
|
tree
2005-06-21
Linus Torvalds
Be more careful a
b
out linearizing
c
ond
i
tionals
commit
|
commitdiff
|
tree
2005-06-20
Linus Torvalds
Initial
cut at
__
b
uiltin_
e
xpect(
)
i
mple
m
e
ntation
commit
|
commitdiff
|
tree
2005-06-20
Linus Torvalds
D
e
faul
t
to reporting the s
a
me
G
NU C version as the
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Linus T
o
rval
d
s
F
i
x assi
g
nment and condit
i
on
a
l e
x
p
r
es
s
ion parsing with
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Linus Tor
v
alds
Fix SIGSEGV on assignment to bad
lef
t
side
.
commit
|
commitdiff
|
tree
2005-06-17
Linus
T
orvalds
F
i
x up a few
m
issing base type e
v
aluat
i
ons
commit
|
commitdiff
|
tree
2005-06-17
Lin
u
s Torva
l
d
s
Fix up type
e
xam
i
na
t
ion
.
commit
|
commitdiff
|
tree
2005-05-19
L
inus
Tor
v
ald
s
Don't warn abou
t
u
n
declared
"
m
ain()" function
.
commit
|
commitdiff
|
tree
2005-05-19
Linus Torv
a
lds
Fi
x
posi
t
i
o
n repo
r
ting on unterminated preprocessor
.
.
.
commit
|
commitdiff
|
tree
2005-05-17
Li
n
us To
r
valds
F
i
x SIG
S
E
G
V
on
n
on-A
N
SI func
t
ion-line
decl
a
rati
o
ns
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus
T
orvalds
Giv
e
func
t
ion
n
a
me in
n
on-ANSI declaration wa
r
ning
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
T
or
v
alds
M
a
ke enum symbols be regular symb
o
l
s with
c
onst
a
nt
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
W
a
r
n about implicit casts to/
f
r
o
m
"
noc
a
st" type
s
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
Move th
e
ptrl
i
s
t
macr
o
s out of the sparse
"lib
.
[ch
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Handle bad e
n
um expres
s
io
n
types gr
a
cefully
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add
s
u
pport for
c
ontex
t
check
i
n
g functions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
Nam
e
s
t
atic l
i
brary "
l
ibspa
r
se
.
a" to
match s
h
ared li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
D
o
n't wa
r
n abo
u
t
zero-sized
"size
o
f"
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torv
a
lds
Warn about undeclared ide
n
tifie
r
s
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
u
s Torv
a
lds
Suppor
t
bu
i
lding
s
parse
a
s
a shared libra
r
y
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torv
a
lds
W
a
rn about
sizeof of zero s
i
ze
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Be mor
e
careful about removing implici
t
casts
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
M
a
k
e sure
t
o
re-examine a struc
t
/union/enum type after
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make "chec
k
" (aka
s
parse
)
c
heck
a
rguments
to some functions
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s To
r
valds
Fix typ
o
(duplicat
e
src2 s
h
ould b
e
src3) in simplif
y
_range
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Re
m
ove old
s
tale
pointer deref
e
ren
c
e type m
e
ss,
that
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Export "is_ptr_type(
)
"
h
elper
f
u
nction to others
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvald
s
Avoid S
I
GS
E
GV when
l
inearizing bad
expressions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
D
on't drop mod
i
f
i
er bits from a member
d
ereference
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Use the
n
ew per-
i
ns
t
ru
c
ti
o
n position inf
o
rmat
i
on fo
r
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Make each instruction h
a
v
e a po
s
i
t
ion of
its
o
w
n
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make range chec
k
code
a
b
it more re
a
dable (and
more
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add comp
i
le-
t
ime "
r
a
n
ge-check" infrast
r
ucture
to sparse
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torva
l
d
s
Make sure we evalua
t
e
p
o
inter compa
r
iso
n
s
as unsi
g
ned
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Shu
t
up informatio
n
al
m
e
ssages once we've hit the maximum
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Mak
e
"check" (aka "sparse
"
)
c
heck data-dr
o
pping casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make simpli
f
ication
r
e
m
ove ca
s
ts that
c
hange neither
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Split OP_C
A
ST int
o
s
igned, uns
i
gned and FP casts
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us To
r
valds
Simplify OP_CAST of
OP
_
AND
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Don't optimize a
w
a
y
c
asts
t
o
o early
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
T
o
rvalds
Duh
.
When a f
u
ncti
o
n ret
u
rns VOID, we should _no
t
_
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Fi
x
code generation
c
onfusio
n
betwe
e
n O
P
_
A
DDR
and the
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make the example cod
e
gene
r
ator do something half-way
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Mak
e
con
s
ta
n
t inst
r
uct
i
o
n simpli
f
ication tak
e
the
s
ign
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Split the binop
s
where signedness matter
s
into
u
nsigned
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
M
a
k
e
linearize
r
able to handl
e
assignment o
p
s wher
e
th
e
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
Evalua
t
e
asm o
u
tpu
t
s a
s
assign
m
ents
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
We didn't mar
k
symb
o
ls with their addres
s
t
a
k
e
n as
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Tor
v
alds
Make expre
s
sion t
y
pe
e
nums st
a
rt at one
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
i
n
lining: don't copy an init
i
al
i
zer
expre
s
sion for
.
.
.
commit
|
commitdiff
|
tree
next