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
validation/sizeof-bool: fix broken test case
2012-02-04
L
i
n
us To
r
vald
s
sparse,
llvm:
M
a
ke functi
o
n
d
e
c
lar
a
tio
n
accessible
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2011-08-28
L
inus Torvalds
M
ake 'lin
e
a
r
ize_
r
et
u
r
n()' helper function
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2011-08-28
Linu
s
T
o
r
v
a
ld
s
Make 'linea
r
ize_swi
t
ch()' he
l
p
e
r fu
n
ction
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2011-08-28
Linus Torv
a
l
ds
Mak
e
'
l
inear
i
ze_itera
t
o
r
()' h
e
lper function
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torvalds
Teach 'alre
a
dy_tokenized()'
t
o
use the str
e
a
m
name
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2011-04-19
Linus Torvalds
Add n
e
w streams to a ha
s
h-
l
ist
b
a
s
e
d on their names
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2009-07-18
Linus To
r
valds
Avoid "at
t
r
ib
u
te 'wa
r
ning': unknown attribute" warnin
g
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2009-07-18
Linus Torvalds
Turn off
'-Wtransparen
t
-u
n
i
o
n' by
d
efault
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2009-07-18
L
i
nus
Torval
d
s
Allow array declarators to
have
're
s
trict'
i
n th
e
m
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2008-04-25
Linus Torvalds
Simpl
i
fy (a
n
d
w
arn about) r
i
g
ht
s
hifts that result
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2008-04-25
L
inus
Torvalds
Fi
x
c
ast
i
nstruction g
e
ner
a
t
ion
Signed-off-by:
Linus Torvalds
<torvalds@linux-foundation.org>
commit
|
commitdiff
|
tree
2006-10-01
Linus
T
orva
l
ds
Me
r
ge b
r
anc
h
'for-li
n
us'
of git://g
i
t
.
kerne
l
.
org/pub
.
.
.
commit
|
commitdiff
|
tree
2006-10-01
Linus
T
orval
d
s
A
dd warning
message
for naked do-w
h
ile
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-09-03
Linus Torvalds
M
a
ke sparse warn abo
u
t initialize
r
s t
h
at initial
i
z
e
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-08-01
Linus Torvalds
Fir
s
t
cut at so
m
ething t
h
at
a
pproa
c
he
s
a
s
ane
-
W
s
hadow
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-07-08
Linus
Torvalds
Avoid
bo
g
u
s
gcc
w
ar
n
in
g
s about unused resu
l
ts
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-07-08
L
i
nus Torval
d
s
Fi
x
dro
p
ped type information in "add_pseudo()"
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-06-10
Linus T
o
r
v
al
d
s
Fi
x
NULL ptr de
r
eference wit
h
bad
t
ype
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2006-05-09
Linus Torvalds
Merge
branch 'init-braces-f
i
x
'
of git:
/
/git
.
ke
r
nel
.
.
.
commit
|
commitdiff
|
tree
2006-01-08
Linus Torvald
s
Fix incorrect
c
ast simpli
f
ication a
r
ound '
~
' o
p
erat
i
on
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-12-31
Linus Torv
a
lds
Make l
o
cal declarations be statements of their own
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-23
Linus Torvalds
example: OP_COP
Y
m
u
st d
e
st
r
oy any old
pseudo state
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-23
L
inus Torvalds
Make the
"
e
x
ampl
e
" compi
l
er u
s
e t
h
e new unssa() phas
e
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-22
Linus Torvalds
When taking the
a
d
d
re
s
s
o
f a symbol,
f
ix up the pointe
r
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-20
Li
n
us Torvalds
Simplify
some more
instructions
commit
|
commitdiff
|
tree
2005-11-20
L
i
nus Torvalds
Rem
o
ve totally bo
g
us phi-sourc
e
liveness thing
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-19
Li
n
us T
o
rvald
s
E
v
al
u
ate expressions
f
u
lly w
h
e
n
doing type compa
r
isons
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-17
Linus Torv
a
lds
Fix up stu
p
id thinko in K&R
para
m
eter
p
arsing
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus T
o
rvalds
Re-name "
e
r
r
o
r
()" fun
c
tion t
o
"s
p
arse_error()"
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
L
i
nus Tor
v
alds
Fix K&R argume
n
t scopin
g
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus
T
o
r
valds
I
n
teger promotion: leave sufficiently large intege
r
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-04
Linus Tor
v
alds
Ma
k
e sw
i
tch/case statements check
t
ype
c
ompatibility
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
Linus
T
or
v
ald
s
Cast all en
u
m values
t
o the final t
y
pe
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
Linus Torvalds
Mak
e
s
u
r
e
we
ke
e
p enum values i
n
a sufficiently
l
a
rge
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-02
Linu
s
Torvalds
Add "
.
gitignore" file
commit
|
commitdiff
|
tree
2005-11-02
Li
n
us To
r
valds
Handle symbols
f
rom
"
-
i
nclude" file
too
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-30
Linus T
o
rvalds
Make sure to be
more ca
r
efu
l
abo
u
t
marking symbols
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
Linus
T
or
v
alds
Simplify con
s
ta
n
t array (
o
r struc
t
ure) dereferences
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
L
in
u
s Tor
v
alds
Teach
dereference
expansion to look
into constant array
.
.
.
commit
|
commitdiff
|
tree
2005-09-24
Linus Torvald
s
Do
stupid
a
nd crappy C
S
E
o
n
cas
t
s
.
commit
|
commitdiff
|
tree
2005-09-22
Linus
To
r
val
d
s
Tur
n
t
he "incorrec
t
type" error back into a
w
arning
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
Linus Torvalds
A
d
d vario
u
s
d
eclara
t
i
ons for
mo
r
e builtin functions
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
Linus Torv
a
ld
s
Make
s
u
r
e that when we define __OPTIMIZE
[
_SIZE]_ we
.
.
.
commit
|
commitdiff
|
tree
2005-09-09
Linus Torv
a
lds
Wa
r
n
about und
e
fined prepro
c
essor symbols at expansion
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-08-15
Linus Torvalds
Mak
e
'
c
gcc' work at least hal
f
-
way
b
etter
commit
|
commitdiff
|
tree
2005-08-15
L
i
nus Torvald
s
Fix parsing
o
f top
-
l
e
v
el
a
s
m
statements
commit
|
commitdiff
|
tree
2005-08-15
L
inus Torvalds
Add
__OPT
I
MIZE[_SIZE]__ predefines
commit
|
commitdiff
|
tree
2005-08-15
L
inus Torvalds
Clean up iterator handling
commit
|
commitdiff
|
tree
2005-08-11
L
inus Torvalds
Make delete_last
_
instruct
i
on() use the new
undo
_
pt
r
_list_la
s
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
Linus To
r
valds
Add 'undo_ptr_list_last()' help
e
r func
t
ion
commit
|
commitdiff
|
tree
2005-08-06
Linus
Tor
v
alds
Have more bi
t
s for "stream number
"
in
"
struct
p
os"
commit
|
commitdiff
|
tree
2005-08-04
Lin
u
s Torvalds
Do
n
'
t
overwrite buil
t
-i
n
macr
o
s
when rede
f
i
n
ing
t
h
em
.
commit
|
commitdiff
|
tree
2005-08-04
L
i
n
u
s Torva
l
ds
U
p
d
ate the calling int
e
r
face to
"sparse()"
.
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Get clos
e
r to par
s
ing mult
i
ple file
s
cor
r
ectly
.
commit
|
commitdiff
|
tree
2005-08-03
L
in
u
s To
r
v
a
lds
Add function to "protect" allocations
from being
dropped
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
L
i
n
u
s
Torvalds
D
o
n
'
t fr
e
e express
i
ons after preprocessing
commit
|
commitdiff
|
tree
2005-08-03
Linu
s
T
o
rvalds
Add DEBUG mode,
which ena
b
les var
i
ous
expensiv
e
debug
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus
T
orvalds
M
a
ke t
y
p
e
s
have f
i
le scope, not global scope
commit
|
commitdiff
|
tree
2005-08-03
L
i
nus
T
o
rvalds
M
ake
"spar
s
e()"
h
andl
e
multiple inp
u
t
f
ile
s
on t
h
e
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus
T
orv
a
lds
Make
m
a
cros have file
s
c
o
pe
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
When dropping
all all
o
cat
i
ons, c
l
ear the f
r
eelist to
o
commit
|
commitdiff
|
tree
2005-08-02
Linus
Torva
l
ds
Start
w
o
rk on proper scop
i
ng
w
ith multiple files
commit
|
commitdiff
|
tree
2005-07-11
Linus Torv
a
lds
Don't warn abo
u
t "nocast" warni
n
g
s
that o
n
ly change
.
.
.
commit
|
commitdiff
|
tree
2005-07-03
Linus To
r
valds
Add "__builtin_offsetof()" to wo
r
k
with newer gcc
'
s
commit
|
commitdiff
|
tree
2005-06-21
Linu
s
Torvalds
B
e
more c
a
reful
a
bout linearizing condit
i
o
n
a
l
s
commit
|
commitdiff
|
tree
2005-06-20
L
inus Torvalds
Initi
a
l
cut at
_
_b
u
iltin_expect(
)
implementa
t
i
o
n
commit
|
commitdiff
|
tree
2005-06-20
Linus Torvalds
D
e
fault to report
i
ng
t
h
e same GNU C version as t
h
e
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
L
inus
T
orval
d
s
Fix
as
s
ignmen
t
and c
o
nditi
o
nal expression pars
i
ng with
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
L
inus Torval
d
s
Fix SIGSEGV on
a
ssignment
to bad left side
.
commit
|
commitdiff
|
tree
2005-06-17
Linus Torvalds
Fix up a
f
ew missing base type evaluatio
n
s
commit
|
commitdiff
|
tree
2005-06-17
Linus T
o
rvalds
Fix up t
y
p
e
exam
i
n
a
t
ion
.
commit
|
commitdiff
|
tree
2005-05-19
Linus Torvalds
Don't wa
r
n about undecla
r
ed "m
a
in()" f
u
nction
.
commit
|
commitdiff
|
tree
2005-05-19
Linus Tor
v
alds
Fix positi
o
n reporting
on
unte
r
minated pr
e
pro
c
e
s
sor
.
.
.
commit
|
commitdiff
|
tree
2005-05-17
Li
n
us Torv
a
lds
F
ix
SIG
S
EG
V
on non-ANSI
function-line
d
eclaration
s
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus To
r
va
l
ds
Give func
t
ion name
in non-ANSI
decla
r
ation warning
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
M
a
k
e enum
symbols be re
g
ular symbols w
i
th
constant
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
T
orvalds
W
arn about
i
mplicit casts to/from
"
nocast" types
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
d
s
Move
t
he ptrlist macros out
of the sparse "li
b
.
[ch
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Handle ba
d
enum
e
xpression
types gracefully
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add sup
p
ort for context
c
h
ecking functions
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Name s
t
atic
library "
l
ibsp
a
rse
.
a" to ma
t
ch
shared libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
T
orvalds
Don
'
t warn
a
b
out zer
o
-sized
"
sizeo
f
"
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Tor
v
alds
Warn
a
bout undecl
a
re
d
identifiers
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s Torvalds
Support building
s
pa
r
se as a share
d
library
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torval
d
s
Warn about
s
izeof of zero size
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torva
l
ds
B
e mor
e
careful about removing
i
mplicit casts
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
Make sure to re-e
x
a
m
i
ne a struct
/
union/enum type a
f
ter
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torva
l
ds
Make "chec
k
" (aka
sparse) ch
e
ck arguments
t
o so
m
e functions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
Fix typo (d
u
plicate src2 should b
e
s
r
c
3
) in simplify_range
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
R
emove
o
ld
s
ta
l
e pointer dereference type mess
,
that
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus T
o
rvalds
Export "is_ptr_type()" helpe
r
function to oth
e
rs
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
To
r
valds
Avoid
S
IGSEGV when linearizing bad expressions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Don't
d
ro
p
m
odifier bi
t
s
f
r
om a member derefere
n
c
e
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Use
t
he new
pe
r
-i
n
structio
n
position
information for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Ma
k
e
each instruc
t
ion have a position of its own
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make range
c
heck
code a
b
i
t
more readable (an
d
mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add compile
-
tim
e
"r
a
n
g
e
-check" i
n
frastructure to sparse
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
v
ald
s
Make sure we ev
a
l
u
at
e
pointer c
o
mparisons as unsigned
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
To
r
valds
Shu
t
up infor
m
a
t
i
onal mes
s
ages once we've hit
the maximum
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Mak
e
"check" (aka
"sparse") che
c
k data
-
dropping casts
.
commit
|
commitdiff
|
tree
next