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
simplify: conservative handling of casts with pointers
2012-02-04
Linus T
o
rvald
s
s
p
arse,
l
lvm
:
Make function d
e
claration acc
e
ssible
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torvalds
Make 'linearize_retur
n
()' helper func
t
ion
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2011-08-28
Linus To
r
valds
Make 'line
a
riz
e
_switch()'
helper function
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torvalds
Make '
l
i
nearize_iterator()
'
helper
f
u
nction
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2011-04-19
L
inus Torvalds
Teach 'a
l
ready_tokenized()' to use
t
he str
e
am name
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torvalds
Add new streams to a hash-list based
o
n their n
a
mes
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2009-07-18
Linus Torvald
s
A
v
o
id "att
r
ibute 'warn
i
ng':
u
nkn
o
wn att
r
ib
u
te" warn
i
ng
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2009-07-18
L
inus
Torvalds
T
urn off '-Wtrans
p
arent-union'
b
y defaul
t
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2009-07-18
Linus
T
orvalds
Allow a
r
ray declarato
r
s to have
'
r
e
s
trict' in
them
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2008-04-25
L
inus Tor
v
alds
S
impl
i
fy (a
n
d warn
a
bout)
r
ight shi
f
ts that r
e
sult
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2008-04-25
Linus Torvalds
Fix cast instru
c
t
i
o
n
generation
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2006-10-01
Linus Tor
v
a
l
ds
Merge
branch 'fo
r
-linus' of git://
g
it
.
kerne
l
.
or
g
/
pub
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Linu
s
T
orva
l
ds
Add warning m
e
ssage for naked do-while
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-09-03
Linu
s
Torvalds
Mak
e
sp
a
rse warn about i
n
itial
i
z
e
rs th
a
t
initialize
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-08-01
Linus Tor
v
alds
First cut at some
t
hing
t
hat approach
e
s a sane -Wshadow
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-07-08
Linu
s
Torv
a
lds
Avoid b
o
g
us gcc wa
r
ning
s
about unused res
u
lt
s
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-07-08
Linu
s
Torva
l
ds
Fix dropp
e
d
t
ype inf
o
rmation in "add_pseud
o
()"
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-06-10
Li
n
us
T
orvald
s
Fix N
U
L
L
p
tr dereference with bad type
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-05-09
L
i
nus Tor
v
ald
s
M
erg
e
b
ranch 'init-braces-fix' of git://g
i
t
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2006-01-08
Linus Torvalds
Fix incorr
e
ct cast simplifi
c
ation around '~' op
e
ra
t
ion
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-12-31
Linus
Torvalds
Make local dec
l
a
rati
o
ns be sta
t
e
ments of their ow
n
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-23
Linus Torva
l
ds
e
x
a
mple: OP_CO
P
Y
mu
s
t destroy any o
l
d pseudo state
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-23
Linus T
o
rvalds
Make t
h
e "exa
m
ple
"
compiler use the new unssa() phase
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-22
L
inus Torvalds
When takin
g
the a
d
dres
s
of a symbol,
f
ix u
p
t
he p
o
inte
r
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-20
L
inus T
o
rv
a
lds
S
i
mplify some more
instructions
commit
|
commitdiff
|
tree
2005-11-20
L
inus Torvalds
Remo
v
e tota
l
ly bogus p
h
i-source liveness thing
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-19
Linus To
r
valds
Evaluate expressions
f
ully wh
e
n doin
g
type comparisons
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-17
L
inus Tor
v
alds
Fix up stu
p
id thinko
i
n
K
&R param
e
ter parsing
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
L
i
n
u
s Torvald
s
Re-name "er
r
or()"
f
unction
to
"sp
a
rse_error()"
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Li
n
u
s
Torvalds
Fix K
&
R argument
scoping
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus To
r
val
d
s
Int
e
ger promotio
n
: leave suffic
i
ently lar
g
e in
t
eger
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-04
Li
n
us Torva
l
ds
Make swit
c
h/case state
m
ents ch
e
ck typ
e
comp
a
tib
i
l
i
t
y
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
Linus Torvalds
Ca
s
t all enum values to t
h
e final
t
ype
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
Linus To
r
va
l
ds
Make sure w
e
k
eep
enum values in a suffic
i
ently
l
arg
e
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-02
L
i
n
u
s Torvald
s
Add
"
.
g
it
i
gnore" file
commit
|
commitdiff
|
tree
2005-11-02
Linus To
r
valds
Handl
e
symbols
fr
o
m "-include" f
i
le
t
o
o
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-30
Lin
u
s Torv
a
lds
Make sure to b
e
more
c
a
r
eful
about marking sym
b
ols
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
L
inus Torv
a
lds
Simplify cons
t
a
n
t ar
r
ay (or structure) dereferences
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
L
i
nus Torval
d
s
Te
a
c
h
d
e
reference
exp
a
nsion to
look
i
nto constant array
.
.
.
commit
|
commitdiff
|
tree
2005-09-24
Linus Torvalds
Do stupid and crapp
y
CSE on casts
.
commit
|
commitdiff
|
tree
2005-09-22
Linus Torval
d
s
Turn the
"
incorrect type" e
r
ror back int
o
a warning
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
Linus
T
orvalds
Add
v
arious decl
a
rations for more builtin funct
i
o
n
s
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
Li
n
u
s Torvalds
Make sure that whe
n
we
d
ef
i
ne __
O
PTIM
I
ZE[_SIZE]_ we
.
.
.
commit
|
commitdiff
|
tree
2005-09-09
Linu
s
Torv
a
l
d
s
Warn
about und
e
fined
preprocesso
r
symbols at expansion
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-08-15
Linus Torvalds
Make 'cgcc' work
at
least half-way better
commit
|
commitdiff
|
tree
2005-08-15
Linus
Tor
v
alds
Fix parsing
of top-level a
s
m stat
e
ments
commit
|
commitdiff
|
tree
2005-08-15
Linus
T
o
rval
d
s
Add __OPTIM
I
Z
E[_SI
Z
E
]__ pre
d
efines
commit
|
commitdiff
|
tree
2005-08-15
Linus Tor
v
al
d
s
Cl
e
an up
iter
a
tor
handling
commit
|
commitdiff
|
tree
2005-08-11
Linus Torva
l
ds
Make
d
e
lete_last_instruction
(
) use
t
he new undo_ptr_list_las
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
L
in
u
s Torvald
s
Add
'
undo_ptr_list_l
a
s
t()' he
l
per function
commit
|
commitdiff
|
tree
2005-08-06
Linus Tor
v
alds
Have more bits for "stream
numb
e
r" i
n
"s
t
ru
c
t pos"
commit
|
commitdiff
|
tree
2005-08-04
Linus Torvalds
Do
n
'
t
overwrite built-in m
a
cros when
rede
f
in
i
ng them
.
commit
|
commitdiff
|
tree
2005-08-04
Linu
s
Torvalds
Upda
t
e
t
he
c
alling inte
r
fac
e
to "sp
a
rse()"
.
commit
|
commitdiff
|
tree
2005-08-03
Linu
s
T
orvalds
Ge
t
closer t
o
parsin
g
multiple files correctly
.
commit
|
commitdiff
|
tree
2005-08-03
L
i
nus
Torval
d
s
Add
fu
n
c
tion to "protect" al
l
ocations
fr
o
m bei
n
g dropped
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Don't free e
x
pressions after p
r
e
proce
s
sin
g
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Add
DEBUG mode,
whi
c
h enables
variou
s
expensiv
e
debug
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus
T
orvalds
Ma
k
e types
have file scope, not
g
lo
b
al scope
commit
|
commitdiff
|
tree
2005-08-03
Linu
s
Torval
d
s
Make "s
p
arse()"
h
andle multiple input files
o
n the
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
L
i
nus
Torvalds
Ma
k
e macros have file sc
o
pe
commit
|
commitdiff
|
tree
2005-08-03
Linus Torv
a
ld
s
W
hen
d
rop
p
ing all allocatio
n
s, clear
the freelist too
commit
|
commitdiff
|
tree
2005-08-02
Lin
u
s
Torval
d
s
S
ta
r
t
wor
k
on prope
r
sc
o
ping
with
m
u
ltiple files
commit
|
commitdiff
|
tree
2005-07-11
Linu
s
Tor
v
alds
Do
n
'
t w
a
rn about "nocast"
warnings that only ch
a
nge
.
.
.
commit
|
commitdiff
|
tree
2005-07-03
L
inus Torvalds
A
d
d "__builtin_offsetof()" to
w
ork with newer gcc's
commit
|
commitdiff
|
tree
2005-06-21
L
inus Torvalds
Be more careful a
b
out
lineariz
i
ng
c
o
ndit
i
on
a
ls
commit
|
commitdiff
|
tree
2005-06-20
L
inus Torvalds
I
n
itial cut at __b
u
iltin_expec
t
() implementat
i
on
commit
|
commitdiff
|
tree
2005-06-20
Linus Torvalds
Default to
reporting
the same GNU C vers
i
on as th
e
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Lin
u
s
T
orvalds
F
i
x assig
n
men
t
and con
d
i
t
ional expressio
n
parsin
g
with
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Lin
u
s Torv
a
lds
Fix SIGSE
G
V
on assi
g
nme
n
t
to
bad
left si
d
e
.
commit
|
commitdiff
|
tree
2005-06-17
Linus To
r
vald
s
Fix up a few
m
issing b
a
se typ
e
evaluation
s
commit
|
commitdiff
|
tree
2005-06-17
L
inus Torvalds
Fix up type examinati
o
n
.
commit
|
commitdiff
|
tree
2005-05-19
L
in
u
s Torvalds
Don't warn about undeclared "main()"
f
u
n
ct
i
on
.
commit
|
commitdiff
|
tree
2005-05-19
Linus Tor
v
a
lds
Fix position report
i
n
g
on un
t
erminated preproce
s
so
r
.
.
.
commit
|
commitdiff
|
tree
2005-05-17
Linus Torvald
s
F
i
x SIGSEGV on
n
on-A
N
SI function-line declarations
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Give
f
u
nction nam
e
i
n
n
on-ANSI declaration
warning
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
rvalds
Make en
u
m s
y
mbols be regular
s
ymbols with constant
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
d
s
W
arn about implicit casts to/from
"nocast" t
y
pes
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
M
ove th
e
p
trlist
m
a
c
r
os out
of the
sparse
"
lib
.
[c
h
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
T
o
rvalds
Handle bad enum expressio
n
ty
p
es
g
raceful
l
y
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
A
d
d
support for
c
on
t
e
x
t
checking
functions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Name s
t
atic
libr
a
ry "
l
i
bsparse
.
a" to m
a
tc
h
shared library
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Don't
warn about zero-size
d
"sizeof"
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Warn about undeclar
e
d identifier
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
S
u
pport buildi
n
g sparse
a
s
a shared library
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nu
s
To
r
valds
Warn a
b
out sizeof of zero
size
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
To
r
valds
B
e
mor
e
careful about rem
o
ving impl
i
cit
c
a
s
ts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rva
l
d
s
Make
s
ure to r
e
-examine
a struct
/
un
i
on/enu
m
t
ype
after
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make
"check" (aka spars
e
) check arguments to some functions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Fix
t
ypo (duplicate
s
r
c
2 should be src3)
in
simplify_r
a
n
ge
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Rem
o
ve old
stale pointer
dereference type mess, that
commit
|
commitdiff
|
tree
2005-04-08
L
inus Tor
v
alds
E
x
port "is_ptr_t
y
pe()" helper fun
c
tion to others
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Tor
v
alds
Avoid S
I
GSEGV wh
e
n linea
r
izin
g
b
ad expressions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Don't
drop
m
odifier b
i
ts from a me
m
b
e
r
d
ereference
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Us
e
t
he new p
e
r
-
instruction pos
i
tion inf
o
rmation for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torva
l
ds
Make each in
s
t
ruction have a
p
osition of
i
ts own
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make
r
ange chec
k
code a bit more rea
d
a
ble (and more
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add compile-time "range-chec
k
" infrastructure to
sp
a
rse
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
M
a
ke sure we evaluat
e
pointer comparisons as
u
nsi
g
ne
d
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torva
l
d
s
S
hut up in
f
or
m
ation
a
l
messa
g
es once
we've hit the
m
a
xi
m
um
commit
|
commitdiff
|
tree
2005-04-08
L
inus Tor
v
alds
Make
"che
c
k" (aka
"
sparse") check
data-dropping casts
.
commit
|
commitdiff
|
tree
next