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
Call the merge_hook() instead of setting the state to &undefined.
2008-09-20
Dan Carpenter
Ignore
ca
s
ts
.
foo((int *)&bar) is the same as fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpen
t
e
r
Create
d
sh
o
w_st
a
te
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
e
nte
r
Ignore stuff like fo
o
.
bar
.
We only care about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
What happ
e
ns befo
r
e is that
paramete
r
s would
get assi
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Missed a crashi
n
g bug in th
e
int
=> struct conve
r
s
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't believe I was doing stacks wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
Cha
n
ged smat
c
h state f
r
o
m bein
g
an int to
being
pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I wan
t
t
o
r
euse th
e
nam
e
smatch
_
state
.
The cur
r
en
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
R
e
do the
n
ull path thing
.
So lo
n
g as
t
here is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
C
lean up
.
Com
p
licated is just a boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
e
n
t
e
r
Save the pre conditions inside the con
d
ition
s
so t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpen
t
er
The main chan
g
e
h
er
e
was to
c
omplet
e
ly rewrit
e
how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arpenter
Break thi
n
gs out
into functions a bit
.
C
l
ean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Hand
l
e
w
hile a
n
d for l
o
ops sl
i
ghtly be
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan C
a
r
p
enter
I
removed nu
l
lif
y
_
p
a
th() earlier but tha
t
was a
mist
a
ke
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
I don't think the
special_kerne
l
_macro
s
() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Add a f
u
n
ction t
o
do a strcmp() with a s
y
mbol
na
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Remove ever
y
t
h
i
ng
to do
with p
a
th_id's
.
I
couldn
'
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace the variable _
_
n
e
g
ate
with the
f
unction __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
p
enter
Small clean
up
.
M
o
v
e
t
h
e passing the wh
o
le condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I
meant to merge this e
a
rlier when I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
Add
a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved all the logic for handling c
o
nditions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
O
o
ps
.
I guess I del
e
ted the wrong li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don't pass the contents of s
i
zeof
(
) to the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpe
n
te
r
I
mprove
how the debu
g
info for merging states
ge
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Car
p
e
n
ter
Th
e
m
a
in thin
g
is
t
o ha
n
dle
z
e
ro compa
r
isons bett
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpent
e
r
R
emo
v
e un
n
ee
d
ed code
.
Thi
s
stuff i
s
hand
l
ed in smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We ne
e
d to be able to break
d
o
wn (foo
!
= 0) f
o
r
B
U
G
_
O
N
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Car
p
enter
I
d
e
n
t
ify f
o
r(;
;
) type
l
oops as forever l
o
ops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
A
d
d s
u
p
port
for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
W
h
at I've seen is s
t
uff like this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
Anything that
we don'
t
handle is obviously complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge bra
n
ch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
e
nter
Add a commen
t
to get_variable_fro
m
_e
x
pr_
s
imple(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
A
d
d
a comment to get_v
a
riable
_
f
r
o
m_expr_s
i
mple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
arpen
t
er
The nullify_pa
t
h() h
e
re is a bug
.
It ove
r
-writes all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__print_cur_sl
i
st() is a use
f
ul func
t
ion for d
e
bugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arp
e
nt
e
r
If
you have something l
i
ke
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpent
e
r
Update the line numbers for each
statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
a
rpent
e
r
Ch
a
nge the merge rules for custom mer
g
e scripts s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
Move
S
M_DEB
U
G
t
o
a header so everyone can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpe
n
ter
Add a custom merge f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Da
n
Carpe
n
ter
Upda
t
e
t
he
l
ine n
u
mber at the very
s
tart of t
h
e function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Car
p
enter
Change t
h
e debug outpu
t
a bi
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Ca
r
pent
e
r
Add a
--de
b
u
g
o
ption
.
It has t
o
be th
e
first option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan C
a
rpente
r
Make sur
e
the v
a
ria
b
le
n
a
me
i
s NULL terminated otherwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpent
e
r
S
m
all clean ups
.
No change in beha
v
ior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
D
a
n Carpenter
This is a
n
off
b
y one erro
r
really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
D
a
n C
a
rpenter
The sp
a
r
se_ini
t
i
a
l
ize() fu
n
ction now take
s
a
file
l
is
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree