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
This prints out error messages all the time that are always bogus. Disable.
2009-02-19
Dan C
a
rpe
n
ter
This prints
o
ut error messages a
l
l the time that
are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignment always set
s
&
i
sfr
e
ed to something else
l
ike
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Do
n
't print cross_fu
n
c
e
rrors if
t
he cal
l
ed
function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Car
p
enter
Remove cal
l
to alloc_s
t
ate
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Ca
l
l the
m
e
rge_hoo
k
() ins
t
ead of setting th
e
state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
e
r
Oops
.
M
e
ant to
c
ommit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the merg
e
_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Clear t
h
e r
e
turn
s
lists a
t
the
e
nd
o
f each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpe
n
ter
M
o
ve the implicat
i
ons checki
n
g to after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
R
e
write complete
l
y wi
t
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some fu
n
c
tions to handle trac
k
er
l
i
sts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rpen
t
e
r
Don't segfault
all th
e
time when checking forev
e
r
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
en
t
er
Test t
o
see
i
f
we are catching cross fu
n
c
tion derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->possi
b
le states and remo
v
e t
h
e merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
"
wh
i
le ((1)) {" is a forever loop
.
Ca
l
l strip_
e
xpr
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
ar
p
enter
fixes
to
t
he ->
possible se
t
t
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nte
r
Merge branch
'
master' into n
u
ll
_
deref
commit
|
commitdiff
|
tree
2009-02-17
D
an Carp
e
nter
A
d
d validation
script f
o
r check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan
C
ar
p
e
n
ter
C
lean up
.
new->po
s
sible
is
a
l
w
ays
null her
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carp
e
nter
Oops
.
->possibles
wasn't get
t
ing set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpenter
Use strip_expr() in split_conditions()
i
n
stead reproduc
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add
s
ome more operation
s
to get_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
Return &m
e
rged instead of &undefi
n
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
m
ake get
_
value() return
a
value for bitw
i
se or exp
r
essions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
e
n
te
r
T
ry ag
a
in removing state
s
from po
o
ls
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Revert "Remov
e
a s
t
ate fr
o
m it's ->pools when set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Eliminate a warn
i
ng
.
Probably the wrong way
to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean ups
.
Co
m
ments
.
R
e
name sli
s
t_sta
c
k to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carp
e
nt
e
r
H
a ha
.
I
still suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanu
p
s
.
Comments
.
Remove deb
u
gging cod
e
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 prese
r
ve the
-
>pools in one p
a
th of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
enter
Clean up get_st
a
te_slist
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
enter
Remove __overwrite
_
c
u
r_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
The
r
e was debugging output
that
acc
i
dentally got co
m
mitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a state from it's ->pools when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Don't de
l
ete the ->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pen
t
er
Try understand
the impli
c
ations
from compound
c
on
d
i
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpent
e
r
Creat
e
a state
&merged
.
When we
m
er
g
e
stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ok
.
This time sm
a
t
c
h
_
i
m
plied
_real
l
y_
do
e
s
s
o
m
ething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pent
e
r
Ignore csc
o
pe files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Wh
i
tespace
c
hange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n C
a
rpen
t
er
A
dd some
more locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
Fix implied p
o
ols
s
o that at least it does s
o
mething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpe
n
ter
It seemed like tracker_li
s
t wou
l
d be u
s
ef
u
l in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Add a README describi
n
g sma
t
ch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
en
t
e
r
A
d
d script to find
N
ULL deref
e
rences
b
e
tween
func
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 Car
p
enter
Check for malloc() as we
l
l as km
a
lloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segfa
u
lt when handli
n
g implicitl
y
dec
l
ared functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
W
a
rn when
w
e don't acquire lo
c
ks
w
hen
c
a
l
ling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nter
Try (
a
nd
f
ail) t
o
find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Almost print a
message when you come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add chec
k
to look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpenter
Add checking for lock_ke
r
nel()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
r
penter
M
a
k
e
check_loc
k
ing check both spinlocks and sema
p
hores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Add a ne
w
f
u
nction slist_has_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpen
t
er
I
f there is an i++
then the
v
alu
e
of 'i' i
s
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add
a new chec
k
_locking script that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
ave the possible states inste
a
d
of just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpente
r
Ignore em
a
cs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nter
Me
r
ge b
r
anch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix likely() a
n
d unlikely() handli
n
g
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carp
e
nt
e
r
Add
single qu
o
tes around the v
a
riab
l
e for consiste
n
cy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpe
n
t
e
r
We cou
l
d save some memory by not allocating new m
e
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an C
a
rpenter
Add a comment
s
ho
w
ing where t
h
e te
s
ts a
r
e supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
T
h
is is
l
eft
over from October as
p
art of the impl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
en
t
e
r
Ad
d
get_
p
o
ssibl
e
_
s
tates
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpe
n
ter
S
t
u
f
f lef
t
over from October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n
C
arpenter
W
e could save so
m
e
memo
r
y by not
allocating new m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Car
p
e
nter
Fix memory
l
eak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
Ad
d
a
merge hook
.
Handle the situation
s
like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpen
t
er
s
t
rcmp()
doesn't
accept NU
L
L
ar
g
ume
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
rename two funct
i
ons:
get_variab
l
e_from_expr_sim
p
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_varia
b
l
e_from_e
x
pr() uses a static buf
f
e
r
and yo
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
Crea
t
e a check_te
m
pl
a
te
.
c example sc
r
ipt that look
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Make get_all_states(
)
not segf
a
ult e
v
e
ry
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpent
e
r
F
ix get_value() to return
n
egative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
We only ever pass one param
e
ter in
t
o get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fix g
e
t_all_
s
t
a
tes()
t
o
match the function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_state(
)
and
state_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
r
penter
Clean up
.
Fix
leak
.
M
y
problem is that I don't
u
nderstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Ca
r
p
e
nter
Initial commi
t
of the "imp
l
ied
s
tate pools" s
t
uff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
D
o
h
.
We
h
aven't been usi
n
g smat
c
h
_
extra fo
r
a whil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpenter
Ge
t
rid of path_hi
s
tory
.
It
'
s
n
e
ver going to
b
e
u
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Mak
e
goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpent
e
r
Speed up m
e
rg
e
_slist now tha
t
the slists a
r
e ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n
C
arpenter
Insert stu
f
f
onto
lists in a sort
e
d order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
Delete a
n
u
nused function merge_stat
e
_s
t
a
ck()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
i
f
(*foo) { (*f
o
o
)
->bar;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpent
e
r
kmalloc() and friends don't always retur
n
a non
-
n
ull
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpente
r
The
checks
from here got merged into check_nul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpente
r
Move the stuff from c
h
eck_derefed_params
.
c
i
nto che
c
k_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fi
x
bug in or
_
slist_stac
k
(
)
.
if (a && b) w
a
sn't bei
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n Carpenter
A
d
d a ho
o
k at
the
e
n
d of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an
C
arpenter
Forgot another stri
p
_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nter
Handle assignmeents inside co
n
d
i
tions
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
Only print some
t
hi
n
g for a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpente
r
Ignore array declarations
.
Those
c
an't be NU
L
L obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur
_
slist static
.
It's on
l
y used in smatch_st
a
te
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next