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
"while ((1)) {" is a forever loop. Call strip_expr().
2009-02-18
Dan Carpenter
"while ((1)) {"
i
s a
forever
l
oop
.
C
all strip_expr(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
fixes
t
o
the -
>
po
s
s
ibl
e
s
ettin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
a
rpenter
Merge branc
h
'master' in
t
o null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpent
e
r
Add validation scrip
t
for c
h
eck_null
_
d
ere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n
Carpe
n
te
r
C
l
ean up
.
new->possib
l
e is alwa
y
s nu
l
l here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Oops
.
-
>p
o
ssibles wasn't get
t
ing set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_ex
p
r
() in split_conditions()
instead reprodu
c
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some more operations to
g
et_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merged in
s
tead o
f
&undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Ca
r
penter
make get_value() return
a v
a
lue
fo
r
bi
t
wise or expres
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carp
e
nter
Try
a
gai
n
removin
g
states fr
o
m
p
ools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Car
p
enter
Revert "Remove a state from it's ->poo
l
s
when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Eliminate a w
a
r
ning
.
Probab
l
y the wrong
w
ay to
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Clean ups
.
Commen
t
s
.
Rename
sl
i
st_stack to name
d
_sta
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Cleanup
s
.
C
o
m
ments
.
Remo
v
e debu
g
g
ing code fr
o
m filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Clean up
.
Also
p
reserve the ->
p
o
o
l
s
in o
n
e path
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Clean
u
p get_st
a
t
e_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Remove __overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
There was debu
g
ging output t
h
at
accid
e
ntally go
t
comm
i
t
t
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
move a
state from it's
->pools when set_state
(
) is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpenter
Don't dele
t
e the
-
>pools
on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Try
u
nde
r
s
t
and
the im
p
lications
f
rom
c
o
m
p
ound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Cr
e
ate a
s
tat
e
&merg
e
d
.
When we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
Ok
.
This time
smat
c
h_implied _rea
l
ly_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ignore cscope
fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
S
m
all cleanu
p
s
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
W
hites
p
ace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Add some more
l
ock
i
ng functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carp
e
nter
Fix implied po
o
ls so that at least
i
t d
o
es something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
It see
m
ed
l
ike tracker_
l
i
st would
b
e u
s
eful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Add a README describing s
m
atch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
d
d
script to find NULL d
e
references be
t
we
e
n fu
n
c
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carp
e
n
t
e
r
Check
f
or malloc()
as we
l
l
as kma
l
loc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Fi
x
segfault when handling implicitly declared f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
War
n
when we don't ac
q
u
i
r
e l
o
ck
s
when calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
Try (an
d
f
ail) to find memory
l
eak
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
lmo
s
t print a me
s
sa
g
e wh
e
n you come
t
o unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Add c
h
ec
k
to look for double fre
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n C
a
rpen
t
er
Add
c
hecking for l
o
ck_kernel()
/
unlock_ke
r
nel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n C
a
rpente
r
Make che
c
k_lock
i
ng check
both spi
n
locks
and semaphore
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
A
dd a new function slist_ha
s
_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there is an
i++ then the value of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
e
r
Add a
new check_locki
n
g scri
p
t that ch
e
c
k
s
spinlo
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
S
ave
the
possible sta
t
es instead of
ju
s
t merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
pe
n
ter
Ignore ema
c
s
garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
M
e
rge b
r
anc
h
'master'
into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
F
ix li
k
ely() and unlik
e
ly() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpe
n
ter
A
d
d s
i
ngle quot
e
s aro
u
nd the varia
b
le for con
s
istency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan
Carpenter
We
could save some memory
by not a
l
lo
c
at
i
n
g new
m
emory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
Add a comment showing whe
r
e
the tests are s
u
p
p
os
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Th
i
s is left
o
ver from October as p
a
rt of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
ente
r
Stuff left
o
ver from October
.
Implied pools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Dan C
a
rpe
n
ter
We could
sav
e
some
m
e
mory by not allo
c
a
t
ing new
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpen
t
er
Fix memor
y
leak
.
A
d
d m
o
r
e comme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Ad
d
a merge h
o
ok
.
H
an
d
le the situations
lik
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
strcmp() doesn't
a
cce
p
t NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
r
e
n
ame
two func
t
io
n
s: get_variable_f
r
om_ex
p
r
_si
m
ple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpen
t
er
g
e
t_variable_from_
e
xpr() us
e
s
a
static bu
f
fer an
d
y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check_template
.
c
exam
p
le
scr
i
pt that
l
ooks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
M
a
ke g
e
t
_
al
l
_state
s
(
) not segf
a
ult every t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
te
r
Fi
x
g
e
t_value() to return
n
e
g
a
tiv
e
valu
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
We o
n
ly ever pass
o
n
e
parameter into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an
Carpenter
Fix get_all_states() to
m
a
tch the functio
n
de
f
inition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpent
e
r
Remove add_stat
e
() an
d
state_define
d
() definit
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
C
lean up
.
F
i
x
leak
.
My
p
roblem i
s
that I
don't
u
nderstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
r
p
enter
Initial
c
o
mmit
o
f the "implied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Doh
.
We
h
ave
n
'
t been using smatch_extra for
a
while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Get rid o
f
path_
h
istory
.
It's
never g
o
in
g
t
o
b
e
u
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Make goto_s
t
ack static
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Carpenter
Speed up merge_s
l
ist now that the slis
t
s are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
pent
e
r
Inse
r
t
stuff onto lists in a sorted
o
rder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unu
s
e
d
functi
o
n
me
r
ge_state_st
a
ck()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
a
rpen
t
e
r
fix: if (*foo
)
{ (*foo)
-
>bar
;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n
C
arpenter
kmalloc() and frie
n
d
s don'
t
always ret
u
rn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
an Carpen
t
er
The chec
k
s fro
m
he
r
e
g
o
t merged int
o
chec
k
_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpenter
Move the stuff
f
rom check_derefed_params
.
c into check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
F
i
x bug in or_slis
t
_stac
k
(
)
.
if (a && b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Da
n
Carpenter
Add a
h
ook at
th
e
end of
a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
F
o
rgot a
n
o
t
h
er
st
r
i
p_expr
(
) c
a
l
l
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nter
Han
d
le assignm
e
ents inside c
o
nditions
b
ett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nter
Only
p
ri
n
t somethi
n
g
for a->
f
oo and n
o
t a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpe
n
ter
Ig
n
ore
arr
a
y declarations
.
T
h
ose can't be
N
ULL obvi
o
u
sly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan C
a
rpenter
Make cur
_
slist
s
tatic
.
It's
only used in sm
a
tch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White spa
c
e
ch
a
nges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
U
s
e merge_s
l
ist() instead of trying to handle it
y
ourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
__process_conti
n
ues() is supposed to
be basi
c
ally
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Ne
w
smatch_ig
n
o
re
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo)
= 1
is the same as
fo
o
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
C
a
r
penter
Gener
a
liz
e
s
ti
p
_casts()
.
It's
now called strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpenter
Ignore
ca
s
t
s
.
foo((in
t
*)&bar) is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carp
e
nter
Created show_sta
t
e(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
Ignore stuff l
i
ke
foo
.
bar
.
We only
c
are a
b
o
u
t foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happens
b
efore is that parameters would
ge
t
assig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpen
t
e
r
Mi
s
sed a crashing bug in the int =>
s
truct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
penter
I can't
b
elie
v
e I
w
as doi
n
g stacks wro
n
g th
i
s
w
hol
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
C
a
r
p
e
nter
Cha
n
g
e
d
smatch state from be
i
ng an int to b
e
i
ng pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
rpen
t
er
I want
to reu
s
e the na
m
e sm
a
tch
_
s
t
ate
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next