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
fix: if (*foo) { (*foo)->bar; }
2008-10-08
Dan Carpente
r
f
ix: if (*foo)
{
(*foo)->bar;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Car
p
enter
kmalloc
(
) and friends don't always r
e
t
urn a
non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The ch
e
cks from here got
merg
e
d into c
h
eck_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
ar
p
en
t
e
r
Move the stu
f
f from check_derefed_params
.
c
into c
h
eck_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
penter
F
ix bug in o
r
_slist_
s
tack()
.
i
f
(a && b) wasn't
b
e
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan
C
arpenter
Add a ho
o
k a
t
th
e
end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Forgot an
o
ther strip_ex
p
r() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Handle assignmeents inside
condition
s
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Ca
r
pente
r
Only
p
rint something
f
or a->
f
oo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore
array declarations
.
Th
o
se c
a
n't be
N
UL
L
obv
i
ously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan C
a
r
penter
Make cur_slist static
.
I
t's only used in smatch_s
t
ates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpen
t
e
r
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpe
n
ter
Use merge
_
slist() instead of trying to handle it yo
u
rself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
__process_continues
(
) is suppose
d
to be
b
asic
a
lly the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpente
r
N
e
w sm
a
tch_ignore
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
(fo
o
) =
1
i
s the s
a
me as fo
o
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Ge
n
e
r
alize stip_
c
a
sts()
.
It's now c
a
l
l
ed strip
_
exp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Ignore
casts
.
foo((int *)&bar)
i
s
the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Cr
e
ated s
h
ow_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an
Carpenter
Ignore stu
f
f lik
e
foo
.
bar
.
We only car
e
about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
en
t
er
Wha
t
h
a
p
pens before is that
parameters w
o
ul
d
g
et
a
ssign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Car
p
enter
M
i
ssed a crashing bug in
t
he int => struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't beli
e
v
e
I
was d
o
ing
s
t
acks wrong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
Carpenter
C
hanged
sma
t
c
h
s
tate from bei
n
g an in
t
to being p
o
inter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
I want to reuse the na
m
e sma
t
ch_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
r
pente
r
Redo the n
u
ll path
th
i
ng
.
So long as
th
e
re is on
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
en
t
e
r
Clea
n
up
.
Complicated is just a boolean
.
Se
t
it
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Ca
r
penter
Arrays
are complicated
s
o t
h
ey shouldn't
b
e re
t
urned b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Car
p
e
n
ter
If we call set_s
t
ate from
in
s
ide a co
n
dition then i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If the pointer is initialized to non-null t
h
en set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpente
r
ignore the s
m
atc
h
binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan C
a
rpenter
When we merge 2 slists we need to
d
eal with th
e
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpent
e
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Add nullify the path when y
o
u
hav
e
fo
r
(;;)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Merge branch '
l
s
' in
t
o ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Car
p
enter
Merge branch 'unnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
Carpenter
Lots
o
f do w
h
il
e
(0
)
loops don
'
t call break so
it
d
oesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
nter
Re
m
ove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n
Carpe
n
t
er
F
i
x
or
_
s
list_sta
c
k
()
.
Befo
r
e it
just sav
e
d
o
n
e
s
tack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Ca
r
p
e
nt
e
r
crap
c
rap crap
.
do not us
e
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean up
s
and add some __
u
nnullif
y
_
path stuff
.
Hopef
u
lly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpen
t
er
Sm
a
ll clean
u
p
.
goto_stack should only
be used in smatch_
s
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
an C
a
rpente
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Carpenter
Fix bug
s
aving the f
a
lse_only stac
k
.
Before code li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Ca
r
penter
This is the
start of the smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an
Carpenter
Fix overwr
i
te_s
l
i
st() so it takes a pointer
to a
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpent
e
r
Ma
k
e smatch
_
extra
depend
on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n Ca
r
penter
Move
i
s_
z
ero() to smat
c
h_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
Fix a
b
i
g bug
.
get_
s
tate_sli
s
t() was al
w
a
y
s get
t
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
M
e
r
ge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
Merg
e
branch
'
devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpenter
Save the pre condi
t
i
ons inside
t
he conditions
so
tha
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
The main c
h
ange here was
t
o
c
o
mpletely r
e
write
h
ow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpent
e
r
Break things out into
functions a bit
.
C
l
e
an ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nter
Han
d
le
w
h
ile and fo
r
loops
s
lightly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I remove
d
nullify_path
(
)
earlier but that was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
I don't think the
special_
k
ernel_
m
acros(
)
fun
c
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
ente
r
A
d
d a
f
unction
t
o
do a strcm
p
()
w
ith
a
symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remo
v
e everythin
g
to do with pa
t
h_id
'
s
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Replace the va
r
i
able
_
_nega
t
e with the fun
c
tion
_
_
n
e
gate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small c
l
ean u
p
.
Move the passing
the whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I meant to merge this earlier when I di
v
ided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Add
a
c
o
mment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
Moved all the lo
g
ic fo
r
handling conditions
into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Oo
p
s
.
I guess
I
de
l
ete
d
the wrong li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
e
r
Don
'
t p
a
ss the c
o
ntents of
sizeof() to the
c
l
i
en
t
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpent
e
r
Impr
o
v
e ho
w
the debug i
n
fo
f
or mergin
g
state
s
gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Ca
r
pente
r
The mai
n
thing is t
o
handle zero comp
a
ri
s
ons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
Remove
u
n
n
e
e
de
d
c
o
de
.
This stuf
f
is handled
in sma
t
c
h_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpenter
We nee
d
to
b
e able to brea
k
down (foo != 0) for BUG
_
ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nt
e
r
Identify for(;;) type l
o
ops as for
e
ver
loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add supp
o
rt for
B
UG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
W
h
at I've seen
i
s stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
An
y
th
i
ng that
w
e d
o
n't h
a
ndle
i
s
obviousl
y
co
m
plic
a
ted
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Merg
e
branc
h
'de
v
e
l'
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
r
penter
Add a comment to
g
et_variabl
e
_from_expr_
s
impl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Ca
r
penter
Add a comment to get_va
r
ia
b
le
_
from_e
x
pr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullif
y
_path() here is a bu
g
.
It ov
e
r-wr
i
tes
a
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
p
e
n
ter
_
_
print_cur_s
l
ist() is a
useful fu
n
c
t
ion for debu
g
ging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If you have something like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
en
t
er
Update
t
he li
n
e
numbers
for each
statem
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carp
e
nter
Change the merg
e
rules for c
u
s
tom m
e
r
g
e scripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpe
n
t
er
Move SM_D
E
BUG to a head
e
r so everyone
c
an use
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Carpenter
Ad
d
a cus
t
om merge functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan
Car
p
enter
Update th
e
l
ine num
b
er at t
h
e very
start of
the function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan C
a
rpenter
Cha
n
ge the debug output
a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpe
n
ter
Add a -
-
debug o
p
t
ion
.
It has
to be
t
he first opti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Make s
u
re the variable name
is NULL t
e
rminated oth
e
rwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small clean ups
.
No change
in behavi
o
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This is an off by
one e
r
ror really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
arp
e
n
t
er
The spar
s
e_
i
niti
a
li
z
e() function now takes
a
fi
l
elist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
R
emove an off by one
er
r
or det
e
cting the end of
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carp
e
nter
Patch
i
t wi
t
h the
st
u
ff from the
web
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
T
h
is i
s
an
u
nmodified tar b
a
ll
.
commit
|
commitdiff
|
tree