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
[PATCH] Add support for GCC's __builtin_types_compatible_p extension
2006-06-10
Linus T
o
rvalds
Fix N
U
LL ptr der
e
f
erence wit
h
b
ad t
y
pe
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-05-09
Li
n
us T
o
rvalds
Me
r
ge branch 'init-
b
races-fix
'
of
g
i
t
://git
.
k
e
rn
e
l
.
.
.
commit
|
commitdiff
|
tree
2006-01-08
L
i
nu
s
Torvald
s
Fix incorrect cas
t
s
implifica
t
ion around
'~' operation
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-12-31
L
i
n
us To
r
valds
Make loca
l
dec
l
arations be statements of their own
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-23
Li
n
us Torvalds
e
xample: OP
_
COPY must destroy an
y
o
ld pseudo state
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-23
Linus
Torva
l
d
s
Make t
h
e "example" c
o
mpiler use the
n
ew
unssa() phas
e
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-22
Lin
u
s To
r
valds
When taking th
e
addr
e
s
s
of a sy
m
bol,
fix up the
po
i
n
ter
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-20
Linus Torvalds
Si
m
plify some more in
s
tru
c
tions
commit
|
commitdiff
|
tree
2005-11-20
Linu
s
Torvalds
Remo
v
e totally bogus
p
hi-sour
c
e liveness t
h
in
g
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-19
Lin
u
s Torvalds
Evaluate expressions fully w
h
en do
i
n
g
type compa
r
isons
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-17
Linus T
o
rvalds
Fi
x
up
s
tupid
thin
k
o in K&R para
m
eter parsing
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus Torvald
s
Re-
n
ame "error()" fun
c
tion
t
o "sparse_error
(
)
"
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus Torval
d
s
Fix K&R argument sc
o
p
ing
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus
T
o
r
v
a
lds
In
t
e
ger promotion: l
e
ave
s
ufficientl
y
larg
e
i
n
teger
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-04
L
inus
Torvald
s
Make switch/
c
as
e
s
t
atements check type compa
t
i
b
ility
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
Linus Tor
v
alds
Cast all enum values to the final
t
ype
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
Linus Torval
d
s
M
ake sure we keep
e
n
u
m values in a suf
f
iciently large
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-02
Lin
u
s Tor
v
alds
A
d
d "
.
g
it
i
gnore" file
commit
|
commitdiff
|
tree
2005-11-02
L
i
n
us
T
orvalds
Han
d
l
e
symbols from "-include"
fi
l
e too
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-30
Linus Torvalds
Make sure to be
m
ore careful
a
bout marking sy
m
b
o
l
s
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
Linus
Torvalds
Simplify
constant
a
r
r
ay (or structure) der
e
ferences
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
L
i
nus Torvalds
Teach dereference expans
i
on to look into constant array
.
.
.
commit
|
commitdiff
|
tree
2005-09-24
Linus Tor
v
alds
Do stupid
and cra
p
py CSE on casts
.
commit
|
commitdiff
|
tree
2005-09-22
L
i
nus T
o
rvalds
Tur
n
the
"incor
r
e
c
t
type" error back
in
t
o
a warning
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
Lin
u
s To
r
valds
A
d
d va
r
ious dec
l
aratio
n
s for more b
u
i
l
tin functions
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
L
inus
T
orvalds
M
ake
s
ure that whe
n
we define __OPTI
M
I
Z
E
[_
S
IZE]_ we
.
.
.
commit
|
commitdiff
|
tree
2005-09-09
Li
n
us
Torvalds
Warn about unde
f
ined
preproces
s
o
r
symbols at
expans
i
on
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-08-15
Linus
T
orvalds
Mak
e
'cgcc' w
o
rk at leas
t
half-
w
ay better
commit
|
commitdiff
|
tree
2005-08-15
Lin
u
s
T
o
rv
a
lds
Fi
x
parsing of top-level as
m
sta
t
ements
commit
|
commitdiff
|
tree
2005-08-15
L
i
nus T
o
rvalds
Add __O
P
T
I
M
IZE[_SIZ
E
]__ pr
e
defines
commit
|
commitdiff
|
tree
2005-08-15
L
i
n
us To
r
valds
Clean up iterator handlin
g
commit
|
commitdiff
|
tree
2005-08-11
Lin
u
s To
r
valds
Make delete_last_instruction() use the
new undo_ptr_li
s
t
_
las
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
Linus Torvald
s
A
d
d
'
undo_ptr_list_last()' helpe
r
fu
n
ction
commit
|
commitdiff
|
tree
2005-08-06
Li
n
us Torvalds
Have m
o
re bits f
o
r "stream nu
m
b
er" in "struc
t
pos"
commit
|
commitdiff
|
tree
2005-08-04
Linus Torvalds
D
o
n
't overwrite
b
uil
t
-in ma
c
ros when redefinin
g
them
.
commit
|
commitdiff
|
tree
2005-08-04
Lin
u
s Tor
v
a
l
d
s
Update
the
callin
g
inter
f
a
ce to "spar
s
e
()
"
.
commit
|
commitdiff
|
tree
2005-08-03
Linus
T
orvalds
Get
c
loser to parsing
m
ultiple
f
i
l
es correctl
y
.
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
A
d
d function to
"
prot
e
ct" allocation
s
from bei
n
g dropped
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus
Torvalds
Don't free
e
xpre
s
sions
a
fter pre
p
rocessing
commit
|
commitdiff
|
tree
2005-08-03
Lin
u
s Torvalds
Add DEBUG m
o
de, w
h
ich enables various expe
n
s
ive debug
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus T
o
rvalds
Make
types have file scope,
not global scop
e
commit
|
commitdiff
|
tree
2005-08-03
Li
n
us Torvalds
Make "spa
r
se()
"
handle multip
l
e
in
p
ut f
i
les on th
e
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
L
i
nus Torvald
s
M
a
ke macros have file scope
commit
|
commitdiff
|
tree
2005-08-03
Li
n
us Torval
d
s
When dr
o
pping all all
o
cations, c
l
ear the freelist too
commit
|
commitdiff
|
tree
2005-08-02
Linus Torv
a
lds
Start work on proper scoping with
m
ultiple files
commit
|
commitdiff
|
tree
2005-07-11
Linus Tor
v
alds
Do
n
't
warn
a
bout
"no
c
ast" warning
s
tha
t
only chan
g
e
.
.
.
commit
|
commitdiff
|
tree
2005-07-03
Linus Torvalds
Add "_
_
builtin_
o
ffs
e
tof()" to
w
ork wi
t
h newer gcc's
commit
|
commitdiff
|
tree
2005-06-21
Linus
T
or
v
alds
Be mor
e
c
a
reful about linearizing condi
t
i
onals
commit
|
commitdiff
|
tree
2005-06-20
Linus Tor
v
a
l
d
s
Init
i
al cut at __b
u
iltin
_
ex
p
ect() implementation
commit
|
commitdiff
|
tree
2005-06-20
Linus Torvalds
D
efault t
o
repor
t
ing
t
he s
a
me GNU C version as
the
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Linus
T
o
rvalds
Fix ass
i
gnme
n
t and conditiona
l
exp
r
e
s
sion pa
r
s
i
ng w
i
th
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Linus
Torvalds
Fix SIGSEGV on assignmen
t
to bad
l
eft side
.
commit
|
commitdiff
|
tree
2005-06-17
Linus To
r
valds
Fix up
a
few missing bas
e
type evalua
t
io
n
s
commit
|
commitdiff
|
tree
2005-06-17
Lin
u
s Torvalds
Fix up type examination
.
commit
|
commitdiff
|
tree
2005-05-19
Lin
u
s Torval
d
s
Don'
t
warn abou
t
undeclared "main()
"
func
t
i
on
.
commit
|
commitdiff
|
tree
2005-05-19
Li
n
us Torvalds
Fix posi
t
ion reporting
on unterm
i
nated prep
r
ocessor
.
.
.
commit
|
commitdiff
|
tree
2005-05-17
Li
n
us Torval
d
s
Fi
x
SIG
S
EGV on non-AN
S
I
fun
c
tion-line declarations
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Give f
u
n
ction name in n
o
n-ANSI
d
ec
l
a
r
ation warning
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
d
s
Make e
n
um sy
m
bols be reg
u
lar symbols w
i
t
h
c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Wa
r
n about implic
i
t ca
s
ts to/
f
rom "noca
s
t" type
s
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Mo
v
e th
e
p
t
r
l
ist macros out of the spar
s
e "lib
.
[ch
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Handl
e
bad enum
e
xpr
e
s
s
ion typ
e
s gracefu
l
ly
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Add
support for
cont
e
xt
c
hecking f
u
nctions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Name static libr
a
ry
"
l
i
bsparse
.
a" to
m
atch
sh
a
red
library
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Don't
w
arn ab
o
ut zero-size
d
"sizeof"
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Warn about
undeclared identi
f
iers
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Tor
v
alds
S
u
pport building sparse as a shared libra
r
y
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torva
l
ds
Warn about si
z
eof of
zero size
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
B
e more care
f
ul about removing impl
i
cit casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Ma
k
e sure to re-exam
i
ne a stru
c
t/uni
o
n/enum
t
ype after
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s T
o
r
v
alds
Mak
e
"
c
h
e
ck" (aka sparse) chec
k
argu
m
en
t
s to some fu
n
ction
s
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s
Tor
v
a
l
ds
Fix typo (duplicate src2 shou
l
d be
src3) in simplify_
r
ange
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
Rem
o
ve old stale
po
i
nter
d
e
r
eference typ
e
mess, that
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Export "
i
s_ptr
_
type()" helper function to othe
r
s
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
T
o
rva
l
ds
Avoid SIGSEGV
w
hen linearizing bad
expressions
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
Don't
drop
modifier
b
its fr
o
m a member de
r
efere
n
ce
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Use the ne
w
per-in
s
t
r
uct
i
o
n position inform
a
ti
o
n
f
or
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Make
e
a
ch inst
r
uction hav
e
a
position
o
f its own
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Make ra
n
ge check code a b
i
t mor
e
readable (a
n
d more
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s
To
r
v
a
l
d
s
A
d
d
c
ompile-time "range-check
"
infrast
r
ucture to sparse
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
M
a
ke sure w
e
eva
l
uate pointer comparisons as unsigned
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
S
hut up infor
m
ational
m
essa
g
es o
n
c
e
we've hit the
m
aximum
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Make "che
c
k"
(
aka "spa
r
se") check data-dropping cas
t
s
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
M
ake simplif
i
c
a
t
ion remove c
a
sts
t
hat change ne
i
ther
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us
To
r
valds
S
plit
OP_CAST into signed,
u
nsi
g
ned and FP casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Sim
p
lify OP_CAST of OP_AND
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Don't optimize away casts too ea
r
ly
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Duh
.
When
a function returns VOID, we should _
n
o
t
_
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us
Torvalds
F
i
x code
gen
e
ration confusio
n
between O
P
_ADDR
a
nd the
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make the examp
l
e code generato
r
d
o some
t
hing
half-way
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make constant instruction sim
p
lification t
a
ke the sign
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Tor
v
alds
Split the binop
s
whe
r
e sign
e
dness matters i
n
to uns
i
gned
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
r
v
alds
M
ak
e
linearizer able to handle assig
n
ment ops where the
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Evaluate
asm out
p
uts
as assi
g
nments
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
rvalds
We didn'
t
mark s
y
mbo
l
s wi
t
h their address taken as
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
Make
expre
s
sion type enums s
t
art at
o
ne
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
i
nl
i
nin
g
: don't co
p
y an initi
a
lizer expr
e
ssion for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
v
a
lds
Lin
e
ariz
e
EXPR_POS
init
i
alize
r
s mor
e
carefully: th
e
y can
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Add option "-Wptr-
s
u
b
traction-blows" t
o
warn about
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
M
a
ke "
c
heck_access()" take the
s
i
ze of th
e
access
p
rop
e
rly
commit
|
commitdiff
|
tree
next