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
Handle more comparisons than just (foo == 0) and (foo != 0).
2009-03-09
Dan Carpenter
Handle more comparis
o
ns than just (
f
oo == 0)
and (foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Car
p
e
nter
check_locking: a m
e
rge with NULL is a mer
g
e
with the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carpenter
Remove unneed
e
d code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add line number b
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Use the mos
t
recent implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add
o
ption --assume-lo
o
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carpenter
Add an
o
p
tion --no-implied
t
o
t
u
r
n of impli
c
ations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Ca
r
pent
e
r
implied pools: c
l
ea
n
up how imp
l
i
ed pool
s
are created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
D
an Carpe
n
ter
check_memory: separ
a
te ou
t
a malloced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
D
a
n Carp
e
nter
All along I was
a
d
d
ing the pool
s
t
o t
h
e
w
r
ong plac
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arpe
n
ter
Clean up
.
Move a couple ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
rpenter
Add a sanity chec
k
th
a
t ->possible has a ->my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
Carp
e
nter
Clean up
.
Freein
g
the
sm_state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpen
t
er
Oring the slists seems lik
e
merg
e
_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
A
d
d
a --
d
ebug-implied option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Carpenter
c
hec
k
_m
e
mor
y
: Fix segfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpent
e
r
kche
c
k
e
r:
h
e
l
per script
to invoke smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
che
c
k_memory: n
e
w
code
.
not used y
e
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpen
t
er
Fix bug i
n
compo
u
nd cond
i
t
ion
s
and add validatio
n
test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
check_locking: handle functions with no return state
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an
C
arpenter
Fix so
security_fixup_
o
p
s() doesn't trigge
r
the OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
arpenter
Fix 'or'i
n
g st
a
tes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix NULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
F
o
r
some reason smatch can't
find
these header fi
l
es
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
penter
Fix string memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
n
t
er
Remove unneeded
a
l
l
ocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
r
p
enter
Remov
e
out
d
ated comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpent
e
r
Don't __
f
ree_
s
m
_
s
t
ate() until en
d
of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
free_slist() after calling get_all_stat
e
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
don't realloca
t
e the ->p
o
ssi
b
l
e
stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpe
n
ter
G
et rid of u
n
u
s
e
d
l
ine his
t
o
r
y cod
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Fix some mem
o
ry leaks in __im
p
lied_states_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pe
n
ter
Add free_tr
a
ckers_and_list() and free_trac
k
er_li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpen
t
er
A
d
d new
free_sta
c
k() functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
rename del_slist_stack() to free_
s
ta
c
k
_
a
nd_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
rename del_slist() -> free_slist
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
F
r
e
e al
l
the sm_states
a
t
the end of
e
a
ch function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpente
r
A
dd -
>
possible to _
_
p
r
int_slist()
outp
u
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n
Carpenter
S
a
v
e a
l
l th
e
pools a state goe
s
through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an
C
arpente
r
A
dd and fix s
m
atc
h
impl
i
ed t
e
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpe
n
ter
Pre
s
erv
e
the ->pools and ->possibl
e
for implied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
pen
t
er
Fix hand
l
ing mu
t
ually excl
u
si
v
e stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpe
n
t
er
Get rid
o
f
redundant h
a
rmoniz
e
_sta
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Add
function __set_true_false_s
m
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpent
e
r
Onl
y
sav
e
an implied list if a st
a
t
e
h
a
s
b
een m
o
dified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
p
e
nter
On
l
y
impl
i
ed st
a
te
s
that are
n
't already true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Car
p
enter
Take a par
a
meter ins
t
ead of
a
ssuming
t
he
out
p
ut is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't check
that
there are
both true a
n
d false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
This
c
heck_o
r
de
r
() se
e
m
s
s
u
perfl
u
o
us
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Car
p
enter
New function
h
armonize_sta
t
e
s
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call __split_expr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
re
m
o
ve unneeded calls to __
u
se
_
cond_tr
u
e_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't set the
imp
l
ied
state to &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Car
p
enter
Make cmp_tra
c
ker() accessible t
o
o
u
t
side files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an
C
arpent
e
r
All the s
t
ate
s
are impl
i
ed n
o
t ju
s
t uni
q
ue o
n
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
penter
I
m
prove lock check output
.
Add m
o
re validation sampl
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Car
p
enter
Add support
for d
o
w
n_interruptib
l
e(
)
an
d
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
er
F
i
x th
e
Unclear lock
i
ng thin
g
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Warn on do
u
ble lock/u
n
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nte
r
Print fe
w
er
Uncl
e
a
r
l
o
cking message
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rp
e
nte
r
if ((1)) {
.
.
.
is a known_
c
ondi
t
ion_tru
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
A
d
d s
u
pport
f
o
r tho
s
e funn
y
gcc ({
.
.
.
}) block statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Ha
n
dle de
c
lar
a
tio
n
s inside switch statement b
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpente
r
Cleanup i
s
_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Ad
d
known_
c
ondition_false
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Fix h
a
nd
l
ing of
continue
i
nside
d
o while st
a
tements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Don't set let
people se
t
stat
e
s fo
r
unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Sma
l
l clea
n
up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
C
a
rpenter
Handle the
i
t
erators
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
d
d su
p
port for "if (a
?
b:c) {
.
.
.
" ternary c
o
n
ditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpente
r
Add
s
o
me support f
o
r _spin_tryloc
k
() and
f
riends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rpent
e
r
i
f
(
a
|| b) { a->foo; s
h
oul
d
print an
er
r
or
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Carpenter
This prints out
e
rror messa
g
es all the time th
a
t
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpenter
Assig
n
m
ent always sets &isf
r
e
e
d to something el
s
e like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Don
'
t print cross_func error
s
if the called
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Remove call
t
o
alloc
_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
ente
r
Call
t
he merge_ho
o
k(
)
in
s
t
e
ad
o
f setti
n
g
the
st
a
te
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Me
a
nt to commit t
h
is e
a
r
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
Add the
m
erge_h
o
o
k()
b
ack i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Clear the retu
r
n
s
lists at the en
d
of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
ter
Move the
i
m
pl
i
c
a
t
ions
checking
to after th
e
scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Rewri
t
e complete
l
y with
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
enter
Ad
d
s
o
me fun
c
tions to handle tracke
r
l
ists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don
'
t segfau
l
t all the t
i
me when ch
e
c
k
ing forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
T
est
t
o
see if we are catching cro
s
s
f
u
nction
der
e
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
Us
e
the
-
>possible states and re
m
ove t
h
e merge_hook
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
"while ((
1
)) {" is a fo
r
ever
l
oop
.
Call stri
p
_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
f
i
xes
to
t
he
-> po
s
sib
l
e se
t
ting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
ter
Merge bran
c
h 'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
a
r
penter
Add validation script f
o
r
c
h
e
ck_null_
d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Cl
e
an up
.
new->p
o
ss
i
ble is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
O
ops
.
-
>possibles
wasn't
g
etting se
t
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
Use
s
tr
i
p_e
x
pr() in
split_conditi
o
n
s
() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
Add some more operations to get_valu
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpe
n
ter
Return &merged instead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
r
p
ent
e
r
make get
_
val
u
e() r
e
turn a
value for bit
w
is
e
or
ex
p
r
e
ssions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Tr
y
again removing states from
p
ools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
p
ent
e
r
Revert "Remove a
state from it's ->poo
l
s when set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
ent
e
r
El
i
minate
a
war
n
ing
.
Pro
b
ably th
e
wrong way
t
o do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Clean up
s
.
Comments
.
Re
n
ame s
l
ist
_
stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next