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
Use strip_expr() in split_conditions() instead reproducing it badly.
2009-02-14
Dan Carpente
r
Use strip_expr() in split_cond
i
ti
o
ns() instead
r
eprodu
c
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some more o
p
erations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return
&
merged instead of &
u
ndefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
m
a
k
e
get_value()
r
etur
n
a val
u
e for bitwise
o
r expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
T
r
y aga
i
n removing st
a
tes from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Ca
r
penter
Revert "Remove a state fr
o
m it's ->po
o
ls when
set_s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Elim
i
nate a warning
.
Probabl
y
t
he wrong way
t
o do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Com
m
e
n
ts
.
Rename s
l
ist_stack
to
nam
e
d
_
stac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
H
a ha
.
I still
s
uck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
u
ps
.
Comments
.
Remove
d
ebugging
code
f
rom filter(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Also
p
reserve the ->poo
l
s
in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
Carpente
r
Clean u
p
ge
t
_state
_
s
lis
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Remove __over
w
r
ite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
There was debu
g
gi
n
g output
t
hat accidentall
y
go
t
committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a s
t
a
t
e
f
r
om it's ->pools w
h
en set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
enter
Don'
t
delet
e
the ->pools on
m
ergin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ent
e
r
Tr
y
unde
r
stand
t
he i
m
plicati
o
ns from c
o
mpound conditi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpente
r
Create
a state
&
merged
.
When we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpen
t
er
Ok
.
This
ti
m
e sm
a
tch_impl
i
ed _really_
d
oes somet
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carp
e
nter
Ignore cscop
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
te
r
S
mall clean
u
p
s
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Car
p
e
nter
Whit
e
space c
h
ange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add
some more lockin
g
funct
i
on
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rp
e
nter
Fix
i
mplied p
o
ols so tha
t
at least it d
o
es
s
omething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carp
e
nter
It see
m
ed like tracker_list woul
d
be
useful i
n
a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpent
e
r
Add a REA
D
M
E des
c
ribing sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carp
e
nter
Add script
to find NULL
d
e
refe
r
enc
e
s between
functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Fix u
s
age message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpent
e
r
Check for ma
l
loc
(
) a
s
well as
k
mall
o
c()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
F
i
x
segfault when h
a
ndling implicitly declared f
u
n
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpenter
Warn wh
e
n we don't acquire locks when calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nt
e
r
Try (a
n
d fail) to find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
p
enter
Al
m
ost print
a
m
e
ss
a
ge when y
o
u come to
u
nreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check
to lo
o
k for double
frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rp
e
nter
A
d
d check
i
n
g
f
or lock_kernel()/unl
o
ck_kern
e
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Car
p
enter
M
a
ke che
c
k_locki
n
g ch
e
ck b
o
th spinlock
s
and
semapho
r
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Add a
new fun
c
tion slist_has_sta
t
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
If the
r
e
i
s an
i
++
then
the value of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Add a new c
h
eck_locking scr
i
pt that checks spinlock
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
Sa
v
e the possible states instea
d
of just me
r
ging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ign
o
r
e emacs
g
arbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an
C
arpenter
M
erge
branc
h
'm
a
s
t
er'
i
nto po
o
ls5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix likely() and unl
i
k
e
ly() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan C
a
r
p
e
n
ter
Add s
i
ngle quotes
around the variabl
e
for c
o
nsistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan C
a
rpen
t
er
We could sav
e
some memor
y
by
not alloca
t
ing
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
e
n
t
e
r
Add a comment
s
h
o
w
i
ng wh
e
re
t
he tests are
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left over fr
o
m October as part
o
f the
i
mpl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
arpenter
Add ge
t
_
p
ossible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left over fr
o
m Oc
t
ob
e
r
.
Imp
l
ie
d
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could
s
ave some m
e
m
o
ry by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memo
r
y l
e
ak
.
Add
m
ore comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
Add a m
e
rge hook
.
Handle the
situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
strc
m
p() do
e
sn
'
t
accept NULL argum
e
nt
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
p
enter
rename
two functions: get_variable_
f
rom_exp
r
_sim
p
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpente
r
get_
v
ari
a
ble_from_expr() uses a static buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check_tem
p
late
.
c example script that l
o
o
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
M
ake
get_all_states(
)
not segfa
u
lt every 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
Dan Ca
r
penter
We on
l
y eve
r
pass on
e
par
a
meter into g
e
t
_
value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Fix get
_
a
ll_states() to match
t
h
e
functi
o
n
d
efinit
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
C
arpenter
Re
m
ove add
_
state() and state_defined() definiti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean u
p
.
F
i
x leak
.
My
probl
e
m is that I
don
'
t understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpe
n
ter
Initial comm
i
t of the "implied
state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Doh
.
We haven't b
e
en
using smatch_extr
a
for
a
w
hile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Get
r
id of path_his
t
ory
.
It's
never go
i
ng to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Make g
o
to_stack sta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n C
a
rpenter
Speed up
merge_sl
i
st now that
the slist
s
are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
t
er
Inse
r
t stuff ont
o
lists in
a
sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
Del
e
te an
unused function merge_state_s
t
ack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
an
Carpenter
fix:
i
f (*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan
C
a
rpent
e
r
kmall
o
c()
an
d
f
riends don
'
t always return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpe
n
t
er
The check
s
from h
e
re got merged into check_null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
penter
Move th
e
stuff f
r
om check_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
F
i
x bug in or_sl
i
st_s
t
ack()
.
if (a && b) wasn't bein
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan
C
a
rpen
t
e
r
Add a hoo
k
at the end of a fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
C
arpenter
F
o
rgot another
s
t
r
ip_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Handl
e
ass
i
gnmeents inside conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Only
p
rint so
m
ething for a->
f
oo and not a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
C
arpente
r
Ignore
ar
r
a
y declarations
.
Those can't be NULL
ob
v
iously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n
C
a
r
p
enter
Make cur_slist
s
tatic
.
I
t
's o
n
ly used
in sm
a
tch
_
s
t
at
e
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
rpenter
White s
p
ace
c
hang
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpent
e
r
Use merge_slist
(
) i
n
stead
of trying
t
o handle
it yourse
l
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
C
a
r
pente
r
__process_c
o
n
t
inues(
)
is s
u
ppo
s
ed to
be bas
i
cally the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ig
n
ore
.
c fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpen
t
er
(foo) = 1 is the same as fo
o
=
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpen
t
e
r
Gener
a
lize
s
tip_cast
s
()
.
It's
now called strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore casts
.
f
oo((i
n
t *)&bar)
i
s the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Cr
e
ated s
h
ow_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpenter
I
gnore stuff
l
i
ke foo
.
bar
.
We
only
care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an
Carpenter
What
happens before is that parame
t
ers would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
r
p
enter
M
issed a crashing bug i
n
the in
t
=> s
t
ruct convers
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
I ca
n
't
b
eli
e
ve I was doin
g
stacks wrong this wh
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
C
han
g
e
d
sm
a
t
c
h state from
b
eing
a
n
i
nt to being
p
ointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
ar
p
ente
r
I w
a
nt to reuse the name sm
a
tch_st
a
te
.
The
c
u
r
rent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the
null path thi
n
g
.
So lon
g
as
t
here is on
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an
C
arpenter
C
lean up
.
Comp
l
i
c
at
e
d is just
a
b
oolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
A
r
rays are compli
c
ated so they should
n
't be returne
d
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If w
e
call set_state
f
rom
in
s
id
e
a
condition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If
t
he poi
n
ter is initialize
d
to no
n
-null then se
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
ignore the
sm
a
t
c
h binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
next