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
Created show_state()
2008-09-20
Dan Carpe
n
ter
Cr
e
a
ted show_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpente
r
Ignore stuff
like foo
.
bar
.
We only c
a
re ab
o
ut foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
What happens
b
e
fore i
s
that par
a
meters would ge
t
assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
M
i
s
s
ed
a
crashi
n
g
bug in the
int => struct co
n
ve
r
si
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
penter
I can't believe I was doing stacks wrong thi
s
wh
o
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpent
e
r
Changed smatc
h
sta
t
e from
b
eing an int to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
I wan
t
to reu
s
e
t
he nam
e
smatc
h
_sta
t
e
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
pen
t
e
r
Red
o
the null path t
h
ing
.
So long
a
s t
h
e
re is o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpenter
Clean up
.
Complicated is just a boolean
.
Set
i
t to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
C
a
rpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpent
e
r
Sav
e
the pre condition
s
inside the
con
d
itions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The main change here wa
s
t
o
c
o
mpletely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Bre
a
k things out into functions a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Handle while and f
o
r loops slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
D
an
C
arpent
e
r
I remove
d
nullify
_
p
at
h
() earlier but that was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
I don't think the special_k
e
rnel_
m
acros() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nt
e
r
Add
a
functi
o
n
t
o
do a strcm
p
() with a
sym
b
ol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove ever
y
thing to do w
i
th path_id's
.
I co
u
ldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
pent
e
r
Re
p
l
a
ce the variable __ne
g
ate w
i
th the function
_
_n
e
gate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
S
mall
c
lean
up
.
Move the passing the whole conditio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I me
a
nt to merge this
e
arlier wh
e
n I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
C
a
rpenter
Add a
comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Moved
a
ll the
l
ogic fo
r
h
an
d
l
i
ng conditions
i
nt
o
a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
O
ops
.
I gues
s
I d
e
le
t
e
d
the wrong
list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Don't pass the contents of
sizeof() to the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
Impr
o
ve how the d
e
b
ug
i
nfo for me
r
ging st
a
t
e
s gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arpen
t
er
The main thing i
s
to
han
d
le zero compa
r
isons
bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
penter
Re
m
ove u
n
needed code
.
This stuff is handled in smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We
nee
d
to
b
e able to brea
k
down (foo !
=
0
)
for
BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carp
e
nter
I
dentify for(;;) type loops as forever l
o
o
ps
.
T
his
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
n
ter
Add supp
o
rt for B
U
G_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
p
e
nter
What
I
've seen is stuff like this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
rpenter
Anything
that
w
e don
'
t han
d
le
i
s obvi
o
usly complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
Merge branch
'de
v
el'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a comment to get_v
a
riab
l
e_
f
rom_ex
p
r
_
simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
en
t
e
r
Add a c
o
mmen
t
to get_varia
b
le_from_expr_
s
imple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nulli
f
y_
p
ath() here is a bu
g
.
It
o
ver-writes
a
ll
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
__print_cur_slist(
)
is a useful funct
i
on for de
b
ug
g
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If you
have someth
i
n
g
lik
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
er
Update th
e
l
ine number
s
for each st
a
tement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Car
p
enter
Change
th
e
merge rul
e
s
for cu
s
t
o
m m
e
rge sc
r
ipt
s
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Move SM_DEBUG to
a
header so everyone can us
e
it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
rpe
n
te
r
A
d
d
a custom merg
e
func
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpe
n
ter
Update th
e
line
n
umber at the
very start o
f
t
he
func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan
C
arpe
n
te
r
C
h
ange t
h
e
debug out
p
ut a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Car
p
ent
e
r
Add a -
-
debug option
.
It
has to be
t
he f
i
rst option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Da
n
Carpenter
Mak
e
sur
e
the var
i
able na
m
e is NU
L
L
terminated ot
h
erwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan
C
arpenter
Small cl
e
an ups
.
No cha
n
ge in b
e
havior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan C
a
rpenter
T
h
is is an off by one error really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan
Carpenter
The sparse_initiali
z
e() function no
w
take
s
a file
l
ist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree