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
Fix the Unclear locking thing. Again.
2008-10-11
D
a
n Carpenter
Insert stuff ont
o
l
i
sts
in a sorted
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unused f
u
nction mer
g
e_state_
s
tack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Car
p
enter
fix: if (*fo
o
) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Carpenter
kmallo
c
() and friends d
o
n
't always ret
u
r
n a n
o
n
-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpenter
The c
h
e
c
ks from
h
ere got me
r
g
ed in
t
o check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Mo
v
e
t
he st
u
ff from check_
d
erefed_params
.
c into che
c
k_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
rpenter
F
ix bug in o
r
_slis
t
_stack()
.
i
f
(a
&
& b) wa
s
n
'
t being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add
a
h
ook
a
t
the end of
a
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
Car
p
ente
r
F
o
r
got another strip_e
x
pr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
Handle assignmee
n
t
s
i
n
side conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpen
t
e
r
Only
print
some
t
hing for a->foo
and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
arpenter
Igno
r
e ar
r
ay decl
a
rations
.
Those ca
n
't be NULL o
b
viously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n Car
p
e
n
ter
Make
cur_sl
i
s
t
s
t
ati
c
.
It
'
s
on
l
y used in
sma
t
ch_st
a
tes
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n
Carpenter
White sp
a
ce c
h
an
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpenter
U
se merge_slist() i
n
s
t
ead of tryin
g
to ha
n
dle
i
t yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpen
t
e
r
__process_continues() is supposed
t
o
be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
Carpe
n
ter
New
s
ma
t
c
h_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(
f
oo)
=
1
i
s the same
a
s foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
Generalize stip_cast
s
()
.
I
t's now
called strip_e
x
pr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nt
e
r
Ignore c
a
sts
.
foo((int
*
)&bar) is t
h
e same a
s
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpe
n
te
r
Created s
h
ow_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Ignore stuff lik
e
f
o
o
.
bar
.
We only care
a
bout foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
rpenter
Wha
t
hap
p
e
n
s before is that paramete
r
s
would get assigne
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
pent
e
r
Mi
s
sed a
c
rashi
n
g
b
ug in the int => str
u
ct co
n
version
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carp
e
nter
I can't believ
e
I
wa
s
doing stacks wrong
t
his
w
ho
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Car
p
enter
Changed smatch state from being an int
to
being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carp
e
nter
I
want t
o
reuse the name smatch_s
t
ate
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
Redo t
h
e null path thing
.
So
long
as there is on
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpenter
Clea
n
up
.
Compli
c
a
t
ed is j
u
st a
boo
l
ean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
ter
M
erge
branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pen
t
e
r
Save th
e
pre condi
t
i
ons inside the co
n
ditions
so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The
main
c
ha
n
g
e
here was to completel
y
rewri
t
e
h
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break thi
n
gs
o
ut into
f
unctions a bi
t
.
C
l
ean u
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Ha
n
dle while and
for loops slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I remo
v
ed nu
l
lify_path(
)
earlier b
u
t that was a m
i
stak
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I don't think the special_kern
e
l
_ma
c
ros() fu
n
ct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a function to
do a strc
m
p()
w
i
t
h a symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Remove everything to do with path_
i
d's
.
I co
u
ldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Replace
t
h
e variab
l
e __
n
egat
e
with the functi
o
n __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n C
a
rpenter
Sm
a
l
l
c
l
e
a
n up
.
Move the
p
assin
g
the whole condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I meant to
m
e
rge thi
s
earlier when I
divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Ad
d
a
commen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carp
e
nt
e
r
Moved all t
h
e logic for han
d
lin
g
condi
t
ions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Oops
.
I
gue
s
s
I deleted the wr
o
ng lis
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carp
e
nter
D
o
n't pass th
e
contents of
s
izeof() to
t
he client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Impr
o
ve ho
w
the debug
i
nfo for merging states g
e
ts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The
main
t
hing i
s
to han
d
le z
e
ro c
o
mparisons
b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpent
e
r
Remove unneeded
code
.
T
h
is stuff is handled
in sma
t
ch_flo
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpenter
W
e
nee
d
to be able to
b
reak down (foo != 0) fo
r
B
UG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
I
de
n
t
i
f
y for(;
;
) type loops as forever loop
s
.
Th
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
Add s
u
p
port fo
r
BUG_O
N
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What I've seen is stuf
f
like this
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nte
r
Anythi
n
g
t
hat we d
o
n't h
a
nd
l
e is o
b
viously c
o
mplicate
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
r
penter
Mer
g
e branch
'de
v
el'
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
Add a
c
o
m
m
e
nt
to get_vari
a
ble_fro
m
_ex
p
r
_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Add a c
o
mmen
t
to get_
v
ariabl
e
_from_expr_simple
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
te
r
The nullify_path() here i
s
a
bug
.
It
o
ver-wri
t
es all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__
p
rint_cur
_
slist() i
s
a useful fun
c
tion for debuggin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
If
yo
u
ha
v
e something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Update the lin
e
numbers for eac
h
statemen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Change the
m
erg
e
rules for cus
t
om merge
s
c
r
ipts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Move SM_DE
B
UG to a
h
ea
d
e
r
so everyone can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n
Carpent
e
r
A
d
d a custom mer
g
e functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Upda
t
e the line number at the very start
o
f the f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carp
e
nter
C
h
ange the debug output a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan C
a
rpen
t
er
A
d
d a --debug option
.
It has to b
e
t
he first option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan C
a
rpenter
Make
sure
the variable
n
ame is NULL t
e
rminated otherwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
D
a
n Carp
e
nt
e
r
Small
c
le
a
n u
p
s
.
No chan
g
e
in
b
e
h
avior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
D
a
n
Carpenter
T
his is an off by on
e
error really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
arpenter
The sparse_init
i
alize()
f
unction now take
s
a filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree