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
kmalloc() and friends don't always return a non-null value. This patch is
2008-10-07
D
a
n Carpenter
kmalloc() and friends d
o
n't always
r
eturn
a
non
-
null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The che
c
ks
f
rom here got merged in
t
o
c
heck_nul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
e
n
ter
Move the
stuff from c
h
e
c
k
_derefed_params
.
c into
c
h
eck_n
u
ll_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
F
ix b
u
g in or_slist_stack()
.
if
(a && b) wasn't
b
eing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpent
e
r
Add
a
ho
o
k at t
h
e end of a fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Forgot
a
n
o
t
her s
t
rip_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
H
a
n
d
le assignmee
n
ts inside condit
i
ons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
Only print something for a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
an Carpenter
Ignore array decla
r
ations
.
Those can'
t
be NULL obvi
o
usly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Car
p
ente
r
Make cur_slist sta
t
i
c
.
I
t's only used
i
n smatch_st
a
tes
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
White spa
c
e changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use mer
g
e_slist()
i
nstead of
t
r
y
ing to han
d
le it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
__p
r
oce
s
s_cont
i
nu
e
s() i
s
supposed
to be
b
asically
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
(foo) = 1 is
t
he same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carp
e
nter
Generalize stip_casts()
.
It's now called strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
C
a
rpenter
Igno
r
e casts
.
foo((int
*)&bar)
is the s
a
me as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Created s
h
ow_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpente
r
Ignore stuff like foo
.
bar
.
W
e
only care abou
t
fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
r
pen
t
er
Wh
a
t ha
p
p
e
ns before is t
h
at parameters would ge
t
ass
i
gned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an C
a
r
p
enter
Misse
d
a crashing bug in t
h
e int =
>
struct con
v
ersion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can
'
t b
e
l
ieve
I w
a
s do
i
ng s
t
acks
w
r
o
ng th
i
s
whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpenter
Changed
s
match state from
bein
g
an int
to being pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
I w
a
nt to r
e
use
th
e
name
s
m
a
t
c
h
_state
.
The cu
r
rent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
Redo
t
he null
p
ath thing
.
So lo
n
g as
t
here is
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clea
n
up
.
C
o
mpli
c
ated is just a boo
l
ean
.
Set it
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
Arrays are comp
l
icat
e
d
s
o they
should
n
't
b
e retur
n
ed
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
If we call s
e
t_state from inside a c
o
nditi
o
n then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
If the pointer is initialized to non-n
u
ll then
se
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n Carp
e
n
t
e
r
i
g
n
or
e
t
h
e
smatc
h
binar
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan
Carpenter
When we mer
g
e
2
slists we n
e
ed to
d
ea
l
with
the
c
a
se
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan
Carpen
t
er
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
nt
e
r
Add nulli
f
y the pat
h
when you have for(
;
;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
Carpen
t
e
r
Merge
b
r
a
nc
h
'ls' into ult
r
atmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
penter
Merg
e
branch 'unn
u
llify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots
o
f do
whil
e
(0) loops
don't call break so
it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
nter
Remove unn
e
eded
c
h
eck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpent
e
r
F
ix or_slist_stack()
.
Before
it just saved one
stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Da
n
Carpenter
crap crap
crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carp
e
n
t
e
r
Cle
a
n
u
ps
a
nd add so
m
e __unnullify_pat
h
stuf
f
.
H
o
pefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Small clean
u
p
.
goto_stack sho
u
ld only b
e
used in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
Clea
n
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix bug
saving t
h
e false_only stack
.
Before c
o
de li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
penter
This is t
h
e start
o
f the
smatc
h
_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
penter
Fi
x
overwr
i
te_slis
t
() so
it
t
ak
e
s a pointer
to a
p
ointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
r
penter
Mak
e
smatch_extra depend on sm
a
tch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n
Carpenter
M
o
ve
i
s
_
zero(
)
to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpenter
Fix a big bug
.
get_state_slist() was alwa
y
s
getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
C
a
rpenter
Merge
.
.
/
.
.
/s
m
a
t
c
h/dev
e
l
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n C
a
rpent
e
r
Merg
e
branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the pre conditions inside the con
d
itions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
The
m
ain change
h
er
e
was t
o
compl
e
tel
y
rewr
i
te how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arp
e
n
ter
Break things out into fun
c
ti
o
ns a bit
.
C
l
e
an ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
a
rpenter
Handle while and
for loops slightly
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I
r
e
m
oved nul
l
ify_path() e
a
rlier
b
ut t
h
a
t wa
s
a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
I don't thin
k
the
s
pecial_kernel_macros() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
p
enter
Add a function to do
a
strcmp() w
i
th a symbol
name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
penter
R
e
m
o
ve
ev
e
rything to do with path_id's
.
I c
o
uldn'
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace
t
he
variabl
e
__ne
g
a
t
e
w
i
th t
h
e
function __ne
g
ate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
Small cl
e
an up
.
Move the passing the
w
ho
l
e c
o
ndition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an
Car
p
enter
Crap
.
I meant to m
e
rge this earlier when
I
divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Add a comm
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
ente
r
Moved all the
logic
f
o
r handlin
g
c
onditions
into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I gu
e
s
s
I
delet
e
d the wrong
list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Ca
r
penter
Don't
p
ass the contents of sizeof() to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpenter
Improve h
o
w
t
h
e deb
u
g
inf
o
f
or merging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpent
e
r
The mai
n
thi
n
g is to handle zero compar
i
sons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
p
e
nter
Remove u
n
needed code
.
This stuff is handle
d
in
smatch
_
fl
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n
Carpent
e
r
We n
e
ed
to be able to break down (fo
o
!= 0) for BUG
_
ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Identify for(;;) type loops as forever loop
s
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add
s
upport
f
or BUG_O
N
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Car
p
enter
What I've
seen is stuff like thi
s
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
penter
A
n
y
t
hing that we don't ha
n
dle is o
b
v
iously com
p
l
i
ca
t
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Car
p
e
n
ter
M
erge branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a
c
o
mment to get_va
r
iabl
e
_
f
r
o
m
_
e
xpr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a
c
omment
to
g
et_variable_from_ex
p
r_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpente
r
The nullify
_
pat
h
(
)
here i
s
a bug
.
It over-writes al
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
enter
__print_cur_sl
i
st()
i
s
a
u
seful fun
c
tio
n
for debugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
I
f yo
u
have somethin
g
li
k
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Carpenter
Updat
e
t
h
e
line numbers for
e
ach
s
tateme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
nter
Change
the merge r
u
les for cus
t
o
m merg
e
s
cripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
M
o
ve
S
M_D
E
BUG to a hea
d
er so ev
e
ryone can use i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Carpenter
Add a cust
o
m merge f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpe
n
ter
Update the line number at the
v
ery start
of the fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Change t
h
e
debug output a b
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan C
a
rpenter
Add
a --debug option
.
It
h
as to be the first op
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carp
e
nter
Make
s
ure the
v
a
ri
a
ble
n
ame
i
s
NULL te
r
minated
o
therwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
S
m
all
c
lean ups
.
N
o
change in b
e
havior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This is
a
n off by one error reall
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
arpenter
The sparse_initial
i
ze
(
) func
t
ion
now t
a
kes a filelis
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpe
n
ter
Rem
o
ve an of
f
by one error
d
et
e
cti
n
g the en
d
of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
a
n
Carpenter
P
a
t
c
h it
w
ith the stuff from the w
e
b
commit
|
commitdiff
|
tree
2008-08-05
D
a
n Carpenter
This
i
s
a
n unmodi
f
ied tar ball
.
commit
|
commitdiff
|
tree