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
Insert stuff onto lists in a sorted order.
2008-10-11
D
a
n Carpenter
Insert st
u
ff ont
o
list
s
in a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Delete an u
n
u
sed f
u
nction merge_
s
tate_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
an Carpenter
fix: if (*foo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Carpenter
kmallo
c
()
a
nd fri
e
nds don't always return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n
C
arpente
r
Th
e
check
s
from here got merged into chec
k
_null_der
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n
C
a
rp
e
n
ter
Move the stuff from che
c
k_derefed_pa
r
ams
.
c i
n
to che
c
k_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an Ca
r
p
e
nter
Fix bug i
n
or_slis
t
_stack()
.
if (a &&
b
) was
n
't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan C
a
rpenter
Add a hook at the
end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
a
rpenter
F
or
g
o
t
an
o
ther strip_
e
xpr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
e
nter
Handle
assignmeents inside con
d
it
i
ons
b
e
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
On
l
y
print somethi
n
g for
a
->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Ca
r
penter
Ig
n
o
r
e array declarat
i
ons
.
T
hose can't
be
N
ULL ob
v
iously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n Ca
r
p
e
nter
Make cu
r
_slist static
.
It's
o
n
ly
u
sed in smatch
_
states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
White
s
pace
cha
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpen
t
er
Use
m
e
rge_slist() i
n
stead
of trying t
o
h
a
ndle it yo
u
rself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an
C
arpenter
__proc
e
ss_continues(
)
is
s
uppos
e
d
to be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
a
rpenter
Ne
w
sm
a
tch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(f
o
o
) =
1
is
the
same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generaliz
e
s
tip_casts()
.
It's now called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
Ignore casts
.
foo((int
*
)&bar
)
i
s
the s
a
me as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Car
p
enter
Cr
e
ated sh
o
w_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Ignore st
u
ff like foo
.
bar
.
We only care about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
What happens
b
efore
is that paramete
r
s would get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpenter
Missed
a
cras
h
ing bug i
n
the
i
n
t => struct co
n
version
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpen
t
er
I
can't
b
elieve I was doi
n
g stack
s
wron
g
this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpe
n
ter
Change
d
smatch state
from b
e
ing an int to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
I wa
n
t to
reus
e
the na
m
e smat
c
h
_
state
.
The
c
urrent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an
Carpenter
Redo the null
p
ath
t
hing
.
S
o long as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
r
penter
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
D
a
n Carpe
n
ter
Merge br
a
nch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpenter
Save the
pre conditions inside the condi
t
io
n
s so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpen
t
er
The
main chan
g
e here
was to completely rewr
i
t
e how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nter
Break things out int
o
functions a
b
i
t
.
Clea
n
u
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Car
p
e
n
ter
Handle whil
e
and for loops slig
h
tly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Da
n
Carp
e
nter
I rem
o
ved nullify_path() earlier but that was a mistak
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
I don
'
t th
i
n
k the special_
k
ernel_macr
o
s()
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Add
a function to do a
s
trcmp() with
a symbo
l
n
ame
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove ev
e
rything to do with path_id's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpen
t
er
Replac
e
t
h
e
variab
l
e
_
_
negate with the function __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
pen
t
er
Sm
a
ll
c
lean up
.
Move
t
he passing the
whole
condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Cra
p
.
I mea
n
t to
m
erge this earlier when I divi
d
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Ca
r
penter
Moved all the lo
g
i
c for handl
i
ng
c
onditions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Oops
.
I gues
s
I deleted the wro
n
g list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
t
er
Don't pass the content
s
of sizeof()
t
o the c
l
ien
t
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
enter
Improve how the debug
info for merging
states
gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpenter
T
h
e main t
h
ing is
t
o
handle
z
e
r
o
comparisons b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Car
p
enter
Re
m
ove unneeded co
d
e
.
This stuff is
handled in smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpenter
We need to be able to break down (foo != 0) for B
U
G_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
Iden
t
ify f
o
r(;
;
)
type l
o
ops as fore
v
e
r
loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
a
rpenter
A
dd support for
BUG_ON
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
What I'
v
e
s
een is stuff like this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anything that we don't
h
a
n
dle
i
s ob
v
ious
l
y com
p
licated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an C
a
r
p
enter
M
erge
b
ran
c
h 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Add a
comm
e
nt t
o
get_variable_
f
rom_expr_si
m
ple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
Add a commen
t
t
o
get_variable_f
r
om_expr_si
m
pl
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
en
t
er
The
n
ullify_path(
)
h
e
re is a
b
ug
.
It over-writes all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
_
_
pri
n
t_
c
u
r
_
slist() is a us
e
f
ul function f
o
r de
b
ugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
I
f
you have something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carpenter
U
p
d
a
te
t
h
e
line numb
e
r
s for eac
h
statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
C
h
a
nge the
m
erge rules for custom merge scrip
t
s
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
rpente
r
Mo
v
e
SM_
D
EBUG to a header so ever
y
one can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a custom merge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Updat
e
the line nu
m
ber at the very start of
the fu
n
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
D
a
n Carpent
e
r
Chan
g
e the debug output a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Da
n
Carp
e
nt
e
r
Add
a --de
b
ug option
.
It has to be the first option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carp
e
n
ter
Make su
r
e the variabl
e
name is
N
ULL terminate
d
ot
h
erw
i
se
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
S
mall
clean ups
.
N
o
chang
e
in behavior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
D
an Car
p
en
t
e
r
This
is an off by o
n
e
error really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
D
an Carp
e
nter
The sparse_initialize() function now ta
k
es
a
filel
i
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree