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
code churn: rename ->pre_left => ->left, ->pre_right => ->right
2009-05-26
Dan Carp
e
n
t
e
r
code churn: re
n
ame
-
>pre_lef
t
=>
-
>l
e
ft
,
->pre
_
right
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Car
p
e
n
ter
Put a
cap on implica
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpen
t
er
I
m
p
r
o
v
e
debugging
.
Don'
t
overw
r
ite sm->line
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpenter
Micr
o
o
p
timization
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpen
t
er
clea
n
up in merge_sl
i
st()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
check for o
u
t_of_memor
y
() les
s
o
f
t
e
n
a
nd onl
y
after
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
B
etter debugging
fo
r
chec
k
_
mem
o
ry
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Carpenter
Add switch testing t
e
s
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n Carpen
t
er
Doh
.
Too ma
n
y impl
i
e
d states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Car
p
enter
Remove clone
_
slist_
a
n
d
_states() an
d
m
e
rge_slist_
c
lone()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan
C
arp
e
nter
Re
m
ove
s
witc
h
cloning complexity
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpente
r
two is
a
lways
n
o
n
-
null
t
h
ese days
.
d
o
n
't check i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
remove
u
nused merge_po
o
ls() f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
d
on'
t
print "list" variable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
Make
my_pools => m
y
_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carp
e
nter
intro
d
u
ce
clone_pool_ha
v
e
rs()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpenter
clone_state()
d
oesn't
copy my_poo
l
s
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
enter
Rework i
m
p
l
ications t
o
use ->pre_lef
t
an
d
-
>pre
_
r
ight
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Introduce ->pre_left and ->pre
_
right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n C
a
rpen
t
er
Make the RAM limit mo
r
e a
c
cur
a
te and
f
lexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
Only clon
e
the states if it is a switch
s
t
a
t
e
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan
C
arpent
e
r
Don't
c
l
o
ne the
f
alse s
t
ates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't clo
n
e all the st
a
te
s
for every
c
ase s
t
at
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
Make the va
l
idation test
h
a
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpe
n
te
r
Prevent so
m
e endless loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
Carpenter
P
utti
n
g parens a
r
ound
some
t
hing doesn't make it undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpenter
Fi
x
memory leak
.
free_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Car
p
en
t
er
Make struct sm_state
m
ore compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
r
p
enter
smatc
h
_s
l
ist
.
c no longer ne
e
ds
a
n
y
fun
c
tions from sma
t
ch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
arpenter
Delete all the
anding compound conditions
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
check debug
is usefu
l
for debugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpenter
potential bug fi
x
for go
t
o
s with
impli
c
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carpenter
Make
v
a
l
i
d
ation test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpent
e
r
Re
w
o
r
k smatch implie
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Da
n
Carp
e
nter
get_value
(
): handle a cou
p
le more bit operators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Set thi
n
g
s in s
m
a
t
ch
e
x
t
ra i
n
stead o
f
smatch impli
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Da
n
Carp
e
nter
Hand
l
e
s
w
i
tch state
m
e
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan
Carpenter
Revert "Don't the
implications for t
h
e
state determ
i
ni
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan
Carpe
n
t
er
Revert "Here is a bug i
n
handling c
o
mpound conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Ca
r
penter
h
a
ndle if((foo = dow
n
_trylock()) < 0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan
C
arpent
e
r
add_is_merged_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
C
arpe
n
ter
D
ereferencing a var
i
able doesn't make it undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan C
a
r
p
e
n
te
r
Red
o
checking for
out of ran
g
e args
t
o ERR_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpent
e
r
H
e
r
e
is a
b
ug
i
n handlin
g
comp
o
und
c
o
nditi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
pent
e
r
Handle straight forward co
m
p
a
risons to z
e
ro
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Carpenter
S
tore the implicat
i
ons for return_implies_
s
tate(
)
assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an Carpenter
Add: return_
i
mplies_sta
t
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpent
e
r
Renam
e
s
match_extra_helper
.
c
t
o smatch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
t
e
r
E
l
imi
n
a
t
e set_con
d
_state
s
(
) functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carp
e
nte
r
Small clea
n
up
.
Allocating
f
ilter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
Verify that th
e
valu
e
passed
t
o
ERR_PTR() isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix comp
i
ler int<->ptr
conversio
n
w
a
rni
n
gs
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
enter
Merge adjacen
t
ranges
.
1
-
2,3-4 becomes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
penter
Sav
e
some
a
l
loc
a
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix strncat(
)
b
ugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan
Ca
r
penter
Improve handling of fo
r
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpente
r
Ha
n
d
l
e once thro
u
gh loo
p
s
d
i
ff
e
r
ent
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Fix mergin
g
ranges
.
C
o
mpletel
y
broken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
an Carpenter
Typo: <= instead of
>=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Ca
r
penter
Reverse all t
h
e
ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpenter
Don't
the
implications for the state determining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
mat
c
h_comparison
t
o
handle less t
h
an,
g
r
ea
t
er than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpenter
C
hange lo
c
king out
p
ut
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Don't al
l
ocate so many extra_undefin
e
d states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
create alloc_extra_
s
ta
t
e_empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
remove
true_c
o
mparison() and do_compar
i
s
on()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
p
ente
r
move (tru
e
|false)_comparison_range(
)
to
smatc
h
_extra_helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
cl
e
ar ->my_lists
f
o
r &ign
o
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpenter
Prin
t
more --de
b
ug
-
implied informa
t
ion when --deb
u
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
pen
t
er
R
e
move
d
ha
r
d coded op
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
rp
e
nter
F
i
x range comparis
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remo
v
e unuse
d
funct
i
on
:
range_list_intersection()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Handle UNDEFI
N
ED range
a
nd
d
isplay the
n
ame
c
o
rrec
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
F
ix stat
e
na
m
es for ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
enter
Implie
d
ranges
.
Part
#3
.
Range Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Up
d
ate
d
ata
files for
2
.
6
.
3
0
-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
smatch_e
x
t
ra
.
save
othe
r
c
o
m
parisons
besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
er
h
andle:
if ((foo = try_l
o
ck()))
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpente
r
rename:
expr
_
to_val
(
) -> get_implied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
enter
F
i
x han
d
l
i
ng of
if
(
IS_ERR(foo = bar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpenter
h
a
ndle if conditiona
l
functions
ar
e
assigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Ca
r
penter
A
d
d new
res
t
ricted known
_
con
d
ition_
t
rue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nt
e
r
ren
a
me known_c
o
n
d
ition
_
t
r
ue() to
i
mplied_c
o
nd
i
tion_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carp
e
nter
Add ERR
_
PT
R
() ch
e
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
_
_modu
l
e_pu
t
_and_
e
xit() doesn't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
S
epar
a
te the
lis
t
o
f
f
reed a
r
gumen
t
s
from
decrem
e
nted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
e
r
W
r
ite a scr
i
p
t
t
o
print functions that return NU
L
L
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
Don'
t
free bin_d
i
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpente
r
Oops
.
C
ommit these essentia
l
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n
C
arpenter
Handl
e
known con
d
it
i
ons w
h
en t
h
ey are a simp
l
e v
a
lue
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Add CAS
E
_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
F
ix
m
emory leaks fou
n
d by valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
allo
c
_stri
n
g() -> alloc_
s
n
a
me()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Put som
e
v
a
l
idation scripts in
the clo
s
e
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpe
n
t
e
r
Imp
l
ied ra
n
ges
.
Part #2
.
Fi
l
t
e
rs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Ca
r
pente
r
S
i
lence the mutually exclusive output agai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carp
e
n
ter
F
ree all dat
a
_info a
t
the
e
nd of
a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
Add
--no-data option
and warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpent
e
r
rang
e
fix
.
andi
n
g slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan C
a
rpenter
c
leanups from clone_s
l
ist() c
h
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next