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
strcmp() doesn't accept NULL arguments.
2008-10-17
Dan Carpenter
strcmp() doesn't
acce
p
t N
U
LL arg
u
m
en
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
renam
e
two
function
s
: g
e
t_variable_fro
m
_
e
xpr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpent
e
r
get_v
a
riable
_
f
rom_exp
r
() uses a static buff
e
r and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rp
e
n
ter
Create a check_template
.
c example script that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
r
p
enter
Ma
k
e get_all_
s
ta
t
es() not segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Ca
r
penter
Fix ge
t
_
value() to r
e
turn ne
g
ative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
We only ever pass
one
p
a
r
am
e
ter into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Fix get
_
all_states() to match
the functio
n
definiti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Ca
r
p
enter
Remov
e
add
_
s
t
ate() a
n
d stat
e
_
defined() d
e
fi
n
i
t
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix le
a
k
.
My prob
l
em i
s
tha
t
I don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
Initi
a
l c
o
mmit of
t
he
"
implied state pools"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
ente
r
Doh
.
We haven't b
e
en using
sm
a
tch_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carp
e
nter
Get ri
d
of path_history
.
It's nev
e
r
going to be
used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
en
t
er
M
a
ke g
o
to_stack st
a
ti
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Spee
d
up merge_slis
t
now that the sl
i
st
s
are
o
rder
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Inser
t
st
u
f
f
onto l
i
sts
i
n
a so
r
ted or
d
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
ter
Dele
t
e an unus
e
d func
t
ion merge_
s
ta
t
e_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpe
n
ter
f
ix
:
if (*f
o
o
)
{
(
*
f
o
o
)
->bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n C
a
rpen
t
e
r
kmalloc() and
f
riends don't always return a non
-
null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
T
h
e ch
e
c
k
s
f
rom
h
ere got
merged into check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
enter
Move the stuff from check_derefed_
p
ar
a
m
s
.
c into
check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
Fix bug i
n
o
r
_slist
_
stack()
.
if (a
&
& b) wa
s
n't b
e
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a h
o
ok a
t
the end
o
f a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpente
r
Forgot an
o
ther s
t
rip_e
x
pr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assign
m
eents insid
e
condit
i
ons bett
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
On
l
y pri
n
t somethin
g
f
o
r a->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
D
an
Carpenter
Ignore array dec
l
ar
a
tions
.
Thos
e
c
a
n't
b
e NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
Carpenter
M
a
k
e
cur_s
l
ist static
.
It's only used in smatch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpenter
White space ch
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
ar
p
enter
Use merge_slis
t
() instead of trying to han
d
le i
t
yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpenter
_
_process_
c
ontinues() is s
u
pposed to
be b
a
sicall
y
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpe
n
ter
New
sma
t
ch_ig
n
ore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
pent
e
r
(foo)
=
1 is the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
Generalize stip_c
a
s
t
s()
.
It's now
called
st
r
ip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
pe
n
te
r
Ign
o
re
c
a
sts
.
foo((int *)
&
bar) is the
same a
s
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpenter
Created show_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
g
n
ore st
u
ff like fo
o
.
b
ar
.
We only care
about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Ca
r
penter
What happen
s
before is that par
a
m
eters would get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Ca
r
pe
n
ter
Missed a
crashing
b
ug in
t
h
e
int => struct con
v
ersion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
n
t
er
I can't believ
e
I was do
i
ng stacks
w
rong t
h
is whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
e
n
t
e
r
Changed smatch state from being an in
t
to being pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
I w
a
nt to reuse
the name smatch_state
.
The
c
urrent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
Redo t
h
e null path th
i
ng
.
So long
a
s there i
s
one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
Clean
up
.
C
omplicated i
s
j
u
st
a
boolean
.
S
e
t
it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merg
e
branch 'de
v
el'
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
ente
r
Save t
h
e
p
re conditions ins
i
de the conditions so
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
The main ch
a
nge her
e
was t
o
completely r
e
write
ho
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Car
p
enter
Br
e
a
k
t
h
ings out in
t
o
f
u
nctions a bi
t
.
C
l
ean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
an Carpenter
Hand
l
e
while and f
o
r
loops sli
g
htly
bett
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I removed nullify_
p
ath() earlier but tha
t
was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I don'
t
think
t
he special
_
kernel_macros() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
Add a func
t
ion to
do a strcmp()
w
ith a sy
m
bol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carp
e
nter
Remove
everything to do with path_id's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
ar
p
e
nter
Replace
the va
r
i
a
ble __negate wit
h
th
e
function _
_
negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Small clean up
.
M
o
v
e
the
passing the whole condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Ca
r
pen
t
er
Crap
.
I
meant to merge this earlie
r
when I d
i
vide
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Add
a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nte
r
Moved a
l
l the logic for
handling co
n
ditions in
t
o a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Oops
.
I gues
s
I d
e
l
e
ted the wrong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpen
t
er
D
o
n
't
pas
s
the con
t
ent
s
o
f size
o
f
() to t
h
e client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Impro
v
e how the debu
g
info for merging
states
g
ets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
pen
t
er
The main thing
is
t
o
h
a
ndle zero c
o
mparis
o
ns
bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an
C
arpenter
Remove unneed
e
d
c
od
e
.
This
s
tuff is handled in
smatch_flo
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
r
p
e
nter
We need
to be able to br
e
ak down (
f
oo != 0
)
fo
r
BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Identify
f
or(;;) t
y
p
e l
o
ops as forever loo
p
s
.
Thi
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Add supp
o
rt for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
What I've
s
e
en is stuf
f
like
t
h
is:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
Anything that w
e
don't
h
andle
is obviously co
m
plicat
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Merge
b
ranch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-08-15
D
an C
a
rpenter
Add a comment to get_v
a
riable_from_e
x
p
r_s
i
m
ple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpente
r
Ad
d
a com
m
ent to get_v
a
riable_f
r
om_expr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
rpenter
T
h
e
nullify_path()
h
ere is
a
bug
.
It o
v
er-
w
rit
e
s all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
pen
t
e
r
__
p
ri
n
t_cur_slist
(
)
i
s
a useful f
u
nction fo
r
de
b
u
g
ging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
If you have som
e
t
hin
g
like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Update the line numb
e
r
s
for eac
h
stat
e
m
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
an Carpenter
Change the me
r
ge rules f
o
r
custom merg
e
scripts 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 use
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carpenter
Add a
custom m
e
rge f
u
n
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Upda
t
e the li
n
e numb
e
r at the very sta
r
t
of the function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Change the debug ou
t
p
ut a
bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpe
n
ter
A
d
d a --debug option
.
It has
to be
t
he first
option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carp
e
nt
e
r
M
ake sur
e
the variable n
a
me is NULL
terminate
d
otherwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
D
a
n
Car
p
enter
Sma
l
l c
l
e
an ups
.
No change in behavior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
D
an Ca
r
penter
This
i
s an of
f
by one e
r
r
or really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
T
h
e sparse_initialize() function now t
a
kes a f
i
le
l
is
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree