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
When taking the address of a symbol, fix up the pointer type
2005-11-22
Linus Torvalds
When tak
i
ng the address of a symbo
l
, fix
u
p the
p
ointer
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-20
Linu
s
Torvalds
Simplify some mo
r
e
i
nstructions
commit
|
commitdiff
|
tree
2005-11-20
Linus To
r
valds
Remove totally bogus
p
hi-sourc
e
li
v
enes
s
t
hi
n
g
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-19
L
inus Torvalds
Evaluat
e
expressions fully when doing type c
o
mparison
s
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-17
L
i
nus
Tor
v
a
ld
s
Fix up stupi
d
thinko in K&R
p
arameter parsin
g
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus Torvalds
Re-name "err
o
r()" function to "sparse_
e
rror()"
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus Torvalds
Fix K&R a
r
gum
e
nt scoping
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-16
Linus Torvalds
Integer promotion: leave sufficien
t
ly
large
i
n
t
e
ger
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-04
Linus Tor
v
alds
Make s
w
itch/case
s
t
atemen
t
s
c
heck type c
o
mpatib
i
lity
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
Linus
Torvald
s
Cast all en
u
m values to the final type
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-03
Linus
T
o
rvalds
M
a
k
e
sure we keep enum
val
u
e
s
i
n a s
u
fficiently
large
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-11-02
Linus Torval
d
s
A
d
d "
.
gitignore"
fi
l
e
commit
|
commitdiff
|
tree
2005-11-02
Linus To
r
val
d
s
H
a
ndl
e
symbol
s
f
r
om "-includ
e
" file too
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-30
Linus To
r
valds
Make sure to be m
o
re caref
u
l about marking s
y
mbols
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
Lin
u
s Torva
l
ds
Simplify constant array (or structure)
dereferenc
e
s
.
.
.
commit
|
commitdiff
|
tree
2005-09-27
L
i
n
u
s Torv
a
lds
Teach dereference expans
i
on
t
o look i
n
to constant array
.
.
.
commit
|
commitdiff
|
tree
2005-09-24
L
i
nus Torvalds
Do stupid and cr
a
p
p
y CSE on casts
.
commit
|
commitdiff
|
tree
2005-09-22
Linus Torvald
s
Turn
t
h
e
"in
c
orrect
type" error
back i
n
to a warnin
g
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
L
i
nus Torva
l
ds
Add various
d
e
c
l
arations fo
r
m
o
re builtin functions
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-09-15
Linus Torvalds
M
a
k
e
su
r
e
that when we
d
efine __OPTIMIZE[_SIZE]_ we
.
.
.
commit
|
commitdiff
|
tree
2005-09-09
Linus
T
orv
a
lds
W
arn
about undefi
n
ed prepro
c
essor symbo
l
s at ex
p
a
n
s
i
on
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-08-15
Linus To
r
valds
Make 'c
g
cc' work at
l
east half-way bet
t
er
commit
|
commitdiff
|
tree
2005-08-15
Linu
s
Torvald
s
Fix pars
i
n
g
of
t
op-lev
e
l asm stat
e
m
ents
commit
|
commitdiff
|
tree
2005-08-15
Linus Torvalds
Add
_
_OPTIMIZE[_SIZE
]
_
_ predefines
commit
|
commitdiff
|
tree
2005-08-15
L
in
u
s Torv
a
lds
Clean up
i
te
r
ator
ha
n
dli
n
g
commit
|
commitdiff
|
tree
2005-08-11
L
inus Torvalds
Make
d
elete_last_instruction()
u
se th
e
ne
w
undo_ptr_l
i
st_las
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
L
i
nu
s
T
o
r
valds
Add 'undo_
p
tr_list_la
s
t()'
helper function
commit
|
commitdiff
|
tree
2005-08-06
Li
n
u
s Torv
a
lds
Have more
bits for "s
t
ream numbe
r
" in
"
struct
pos"
commit
|
commitdiff
|
tree
2005-08-04
Linus Torvalds
Don't o
v
erwrite built-in macros when redefining them
.
commit
|
commitdiff
|
tree
2005-08-04
L
i
nus Torva
l
d
s
Update the calling inter
f
ace t
o
"
s
pa
r
se()"
.
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Get
close
r
to parsing m
u
lti
p
l
e
f
iles
c
o
rrectly
.
commit
|
commitdiff
|
tree
2005-08-03
Linus
T
orval
d
s
Add
f
unction t
o
"prote
c
t" allocations from being dropp
e
d
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus
T
orvalds
D
o
n
't free expre
s
sions a
f
t
e
r prep
r
ocessi
n
g
commit
|
commitdiff
|
tree
2005-08-03
Li
n
us Torvalds
Add DEBUG mode, wh
i
ch enable
s
vari
o
u
s expensive
debug
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Make t
y
pes have file scope, not glob
a
l sco
p
e
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Mak
e
"s
p
arse()"
h
andle m
u
ltip
l
e in
p
ut file
s
on t
h
e
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Lin
u
s
Tor
v
al
d
s
Make mac
r
os
h
ave file
scope
commit
|
commitdiff
|
tree
2005-08-03
Linus To
r
valds
When dr
o
pping
all allocations, clear
the free
l
ist too
commit
|
commitdiff
|
tree
2005-08-02
Linus Tor
v
alds
Start work on pr
o
per scopin
g
wit
h
mult
i
ple files
commit
|
commitdiff
|
tree
2005-07-11
L
inus
T
o
rvalds
Don't war
n
about "noc
a
st" warnings that onl
y
c
h
ange
.
.
.
commit
|
commitdiff
|
tree
2005-07-03
Linus Tor
v
a
lds
A
d
d "__builtin_off
s
etof(
)
" to work with n
e
wer
gcc's
commit
|
commitdiff
|
tree
2005-06-21
L
i
nu
s
Torva
l
ds
Be
more careful about linearizing co
n
ditionals
commit
|
commitdiff
|
tree
2005-06-20
L
i
nus T
o
rvalds
Initial
c
ut at
__builtin_expect() implementation
commit
|
commitdiff
|
tree
2005-06-20
Lin
u
s
T
orval
d
s
Default to re
p
o
rting the s
a
me GNU C
version as t
h
e
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
L
i
nus Torvalds
F
ix assignmen
t
and
c
onditional expression parsing with
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Linus Torval
d
s
Fix
SIGSEGV on as
s
i
g
nment to bad
left si
d
e
.
commit
|
commitdiff
|
tree
2005-06-17
Lin
u
s To
r
valds
Fix up a few
missing
base type evaluations
commit
|
commitdiff
|
tree
2005-06-17
L
inus Torvalds
Fi
x
up ty
p
e examination
.
commit
|
commitdiff
|
tree
2005-05-19
Li
n
us T
o
rvalds
D
o
n't wa
r
n
about undeclared "main()"
fun
c
tio
n
.
commit
|
commitdiff
|
tree
2005-05-19
Linus Torvalds
Fix
p
ositio
n
report
i
ng on unterminated
pr
e
processor
.
.
.
commit
|
commitdiff
|
tree
2005-05-17
Linus Torvald
s
Fi
x
SIG
S
EGV
on non-ANSI fu
n
ction-line declaratio
n
s
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
T
orvalds
Give
function name
i
n no
n
-A
N
SI declarat
i
on wa
r
ning
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make enu
m
symbol
s
be regular symbols
with constant
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Warn about
im
p
l
i
cit casts
t
o/from
"noc
a
s
t
"
types
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
M
o
v
e the ptrlist macros out of the sparse "
l
ib
.
[ch
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rval
d
s
Handle bad enum expr
e
ssion types grace
f
ully
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Tor
v
alds
Add su
p
p
ort for con
t
ext chec
k
ing
f
unctions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Name
s
tatic librar
y
"libspa
r
se
.
a" to match shared library
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
D
on't warn a
b
out zero-s
i
zed "siz
e
of"
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Wa
r
n a
b
out undecla
r
e
d identi
f
iers
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
va
l
d
s
Support b
u
ildi
n
g sparse as a s
h
a
r
ed
library
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
W
a
rn a
b
out s
i
zeo
f
of zero siz
e
.
commit
|
commitdiff
|
tree
2005-04-08
L
inu
s
Torvalds
Be more car
e
ful
abou
t
remov
i
ng implicit cast
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make sure to re-exa
m
ine a struct
/
union/enu
m
type after
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Make
"
c
h
eck" (
a
ka s
p
a
r
se) check ar
g
uments t
o
s
ome functions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
F
i
x t
y
po (duplicate src2 s
h
ould be src3) in
simplify_range
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Remove old
stale poin
t
er dereference
t
ype mess
,
t
h
at
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Export "is
_
ptr_type()
"
helper function
t
o others
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
a
lds
Avo
i
d SIGSEGV when
l
inea
r
izing bad exp
r
e
ssions
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Don'
t
drop mo
d
ifier
b
its fro
m
a member dereference
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Use the new per-
i
nstruction
p
o
sition in
f
ormation for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
T
orva
l
ds
Make each
instruction
h
ave a po
s
ition o
f
it
s
ow
n
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
Make range check code
a b
i
t more readable (and
m
ore
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Add compil
e
-
tim
e
"range-check" infr
a
s
t
ructure to sp
a
rse
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Make
sure
we evaluate point
e
r comparisons
a
s
unsigned
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Shut u
p
informational messages once
w
e'
v
e hit the maximum
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make "check" (aka
"sparse") che
c
k data
-
d
r
opping casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make simplific
a
tion remove
c
asts t
h
at cha
n
ge neither
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus
To
r
va
l
ds
Spli
t
OP_CAST into signed,
u
nsigned
a
nd FP cas
t
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
S
i
mplify OP_CAST of OP_AND
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Don'
t
o
ptim
i
ze away casts too e
a
rly
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Duh
.
When a function return
s
V
OID, we
should _not_
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvald
s
Fix code generation con
f
usion between OP_ADDR
a
nd the
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus To
r
valds
Make the examp
l
e c
o
de gen
e
r
ato
r
do some
t
hing hal
f
-way
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Make consta
n
t instruction
s
imp
l
ifica
t
ion
t
ake the sign
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
d
s
Spl
i
t the binops where s
i
gn
e
dness matters into unsign
e
d
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Make linearizer
ab
l
e to handle as
s
ignm
e
nt ops
w
here t
h
e
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torval
d
s
Evaluate a
s
m ou
t
puts a
s
assignme
n
ts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
W
e didn't mark
s
y
mbols w
i
th their add
r
ess ta
k
en a
s
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
d
s
Make expressi
o
n type
e
nums
star
t
at one
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
ald
s
inlini
n
g: don't
c
opy
a
n
initial
i
zer expression for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torv
a
ld
s
Lineariz
e
EXPR
_
POS init
i
aliz
e
rs more
c
arefull
y
: they
c
an
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torv
a
lds
Add option "-Wptr-subtra
c
ti
o
n-blows" to warn abou
t
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make "check_ac
c
ess()" take the size of
t
he acce
s
s
p
roperly
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
Torv
a
ld
s
D
on't do t
h
e pointer of
f
s
e
t
update
for a pointer addition
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torv
a
l
d
s
Don
'
t tr
y
t
o recursivel
y
check f
o
r an
a
s
s
ocia
t
i
v
e
insn
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torva
l
ds
A
dd warning for acc
e
ssing outsi
d
e of a sy
m
bol
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Simplify OP_P
T
RCAST ops too f
o
r now
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orval
d
s
Fix array
size calculation when th
e
la
s
t
e
ntry is an
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make output_insn() tell
wh
e
re it was called
f
rom, and
.
.
.
commit
|
commitdiff
|
tree
next