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
fixes to the -> possible setting.
2009-02-18
D
a
n Carpent
e
r
fixe
s
to the -> possib
l
e setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
Merge branch '
m
aster
'
into n
u
l
l
_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validat
i
o
n
script for che
c
k
_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
an C
a
rpenter
Cle
a
n up
.
n
ew-
>
possib
l
e is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpent
e
r
O
o
ps
.
->poss
i
bles wasn't getting set c
o
r
r
ectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
a
r
p
ent
e
r
Us
e
s
t
rip_
e
x
pr() in
split_condit
i
ons() ins
t
ead r
e
producing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some more
o
p
eratio
n
s
to g
e
t
_
value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Retur
n
&merged ins
t
ead of &
u
nd
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
m
ake ge
t
_va
l
ue() retu
r
n a value
for bitwise
or expres
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Try a
g
ain removing
s
tates from
po
o
ls
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n C
a
r
pent
e
r
Revert "Remove
a
s
tate
fr
o
m it
'
s
->pools
w
hen set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpent
e
r
Eli
m
inate a warning
.
Probably the wron
g
way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
u
ps
.
Comments
.
Re
n
ame
slist_stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
H
a
h
a
.
I
still suc
k
at
poi
n
ters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpent
e
r
Cleanups
.
C
o
mmen
t
s
.
Remove
d
ebugging
c
ode from
f
ilt
e
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean u
p
.
Also prese
r
ve the ->po
o
l
s
in one
path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
r
penter
Clea
n
up
g
et_state_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpent
e
r
Remove __overwrite
_
cur_sl
i
st(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
The
r
e was debuggi
n
g output
that accid
e
ntally got
com
m
i
t
ted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpent
e
r
Remove a state from it's ->poo
l
s when s
e
t_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Don't delete
the ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Try under
s
tand the implications fr
o
m compound cond
i
t
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpente
r
Create a
state
&merged
.
When
w
e me
r
ge stuff
i
t isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
T
h
is
t
ime smatc
h
_
implied _really_ do
e
s
something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
n
t
er
Ignore
c
scop
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Ca
r
penter
Smal
l
cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Whitespac
e
chan
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Car
p
e
n
t
er
A
dd some mor
e
l
o
ck
i
ng
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Fix
i
mplied
poo
l
s s
o
that at l
e
ast
it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
I
t seemed like track
e
r_list would be useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nte
r
Add a README describing s
m
a
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script to find
NULL derefere
n
ces between
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Fi
x
usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Check for
m
alloc
(
)
a
s we
l
l as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
ix segfault when han
d
ling impli
c
itly d
e
clare
d
f
u
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpe
n
ter
War
n
when we do
n
't acquire locks
when calling cert
a
in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and
fail) to find
memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Alm
o
st print a message when you come
to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Car
p
e
n
ter
Ad
d
check to loo
k
for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Ad
d
checkin
g
f
or lock_kernel
(
)/unlock
_
kernel
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Make check_locking check both sp
i
nl
o
cks a
n
d
sem
a
p
h
or
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Ad
d
a ne
w
functi
o
n
s
list_has_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
If there is an i
+
+ then th
e
val
u
e
of 'i'
is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpen
t
er
Add a new
c
heck_locking s
c
ript that checks spinlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Sa
v
e the possible st
a
tes i
n
stead
o
f jus
t
merging
t
hem
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Ignore emacs garbag
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
ente
r
Merge bra
n
ch '
m
aster' into p
o
ols5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
a comment sho
w
ing
w
her
e
the tests are suppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpente
r
This i
s
left over from October as part of the imp
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Add get_possib
l
e_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
an C
a
rpenter
Stuff left over
f
r
om
O
c
t
ober
.
I
mplied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We coul
d
save some
memory by not alloc
a
ting new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n
C
arpenter
F
i
x memo
r
y leak
.
A
d
d more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
en
t
er
A
dd
a merge hoo
k
.
Handle the si
t
uations
l
ike
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
s
t
rcmp() doesn't
a
ccept NULL argume
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
renam
e
two functi
o
ns: get_var
i
able_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_vari
a
b
le_
f
rom_expr()
u
ses a s
t
atic b
u
f
fer and
y
ou
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Create a check_templa
t
e
.
c
e
xample script tha
t
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all_
s
tates()
n
ot segfau
l
t ev
e
r
y
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fi
x
get_value() to return negative va
l
ues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
We o
n
ly ever pa
s
s o
n
e parameter
i
nto get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an
Carpenter
Fix get_all_state
s
(
)
to
match the fu
n
c
t
ion de
f
i
nition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
move a
d
d_state() an
d
state_defined() de
f
i
n
itions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Clean up
.
Fix
l
eak
.
My pr
o
blem is t
h
a
t
I
d
on't
understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an
C
arpenter
I
n
i
t
ia
l
commit
o
f the "i
m
plied state pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Car
p
en
t
e
r
Do
h
.
W
e
haven't b
e
en us
i
ng smatch_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Ca
r
p
e
n
ter
Get
rid of path_history
.
It's never go
i
n
g
to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Ca
r
penter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
D
an C
a
rpenter
Speed
up
merge_
s
list
n
ow that t
h
e slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n
Carpenter
Insert
stuff
onto lists in
a
sorted
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpenter
Delete an unused fu
n
c
t
ion merge
_
s
t
ate_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Ca
r
penter
fix: if (*foo) { (*foo)
-
>bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan C
a
rpenter
kmallo
c
() and friends don't a
l
ways retu
r
n a non
-
null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpen
t
er
The checks from
her
e
got mer
g
ed
i
nto check_nul
l
_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
Move
t
h
e
s
tuff from
c
heck_derefed_p
a
r
a
ms
.
c into check_null
_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug
i
n or_slis
t
_
s
tac
k
(
)
.
if (a && b) wasn't bei
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook at th
e
e
n
d of a fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpen
t
er
F
orgot another
strip_expr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nter
Handle assignmee
n
ts inside conditi
o
ns better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only
print
s
om
e
thing for a->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
arpenter
Igno
r
e arr
a
y de
c
larations
.
Tho
s
e
ca
n
't be NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n Carpenter
Make cur_sli
s
t sta
t
ic
.
It's on
l
y used in s
m
atch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
White space
c
h
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use
mer
g
e_sl
i
st() in
s
tead
o
f
t
ryin
g
to ha
n
dle
i
t y
o
urself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
_
_
proc
e
s
s
_
c
on
t
inues() is supposed to
b
e bas
i
cally
t
he
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpenter
New smatc
h
_ign
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
a
s
f
oo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
an Ca
r
penter
Generalize sti
p
_casts()
.
It's now called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignor
e
casts
.
foo((int
*
)
&bar)
i
s the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carp
e
n
t
e
r
Created sh
o
w_sta
t
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
gnore stuff like
f
o
o
.
bar
.
We
o
n
l
y
c
are about
f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpenter
What happens before
i
s that parameters would get assign
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
Missed a
c
rashing bug in
the int =>
s
truct
c
onversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
I can't
b
elieve I was doi
n
g
s
t
ack
s
wrong
t
his whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
Ch
a
nged smatc
h
stat
e
from being an int to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
I wan
t
to reuse the
na
m
e smatc
h
_
s
t
ate
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
R
edo the null path thing
.
So
l
ong
a
s th
e
re is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
C
o
m
p
licated is
just a bo
o
lea
n
.
S
et it
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nt
e
r
Merge bran
c
h '
d
evel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the pre
c
onditions inside the c
o
ndit
i
ons so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next