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
if ((1)) { ... is a known_condition_true()
2009-02-23
D
a
n
Carpenter
if ((1)) {
.
.
.
i
s a known_conditi
o
n
_
tr
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add sup
p
ort
f
or those funny g
c
c ({
.
.
.
}) bloc
k
statem
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Handle declarations
inside switch stateme
n
t
blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpe
n
ter
Cl
e
anup
i
s_zero
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add known_condition_fal
s
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Fix han
d
lin
g
of c
o
n
t
inue
i
nside
d
o
w
hile sta
t
e
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pent
e
r
Don't
set le
t
people s
e
t states for unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
e
nter
Small clean
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Hand
l
e the i
t
erators correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
n
t
er
Add supp
o
r
t
for "if
(a?b
:
c) {
.
.
.
" terna
r
y conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpenter
Add some support
f
o
r
_
sp
i
n_try
l
ock() an
d
f
r
iend
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
C
a
rpenter
if
(a ||
b
) {
a->
f
o
o
; s
h
ould print an
error
.
A
lso
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carpe
n
ter
This prints out error me
s
sages all t
h
e time tha
t
a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
e
n
te
r
Ass
i
gnment always sets &isfreed to some
t
hing else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
p
e
nter
Don't prin
t
cross_func
e
rrors if the called f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Rem
o
ve call to a
l
l
o
c_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carp
e
nter
C
all
t
he
m
erge_hook() in
s
tead of set
t
ing the
s
t
ate
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Oops
.
M
e
a
nt
t
o
com
m
i
t t
h
is earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
ter
Add the
m
erge_ho
o
k
() ba
c
k in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Clear
t
he r
e
turns lists
a
t the end
o
f
e
a
ch function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
M
o
ve the implica
t
io
n
s chec
k
ing t
o
after
the scri
p
ts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
ter
Rewr
i
te completely with new
g
oal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
ter
Add
some funct
i
ons to handle t
r
ack
e
r
lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
on't segfau
l
t all
the time when checking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
er
Test
t
o see i
f
we are ca
t
ching cross function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
ar
p
e
n
t
er
Use the ->poss
i
ble
states a
n
d
remove the merge_ho
o
k()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carp
e
nter
"
w
hile (
(
1
)
) {" is a forever loop
.
Call strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fi
x
es to the -> possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpente
r
M
erge br
a
nch 'mast
e
r' into nul
l
_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
pen
t
er
Add va
l
idation
script for ch
e
ck_null_
d
eref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan
C
arpe
n
ter
Clean 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
Carpent
e
r
Oops
.
->possibles wasn
'
t gettin
g
set
c
orrect
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
Use strip_e
x
pr() in split_
c
onditions() i
n
stead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Add so
m
e
more operations to
g
et_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
R
e
turn &me
r
g
e
d inst
e
ad o
f
&undefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpent
e
r
make g
e
t_
v
alue()
r
eturn a value
for bitwise or exp
r
essions
.
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Try
a
gain removing states from p
o
ols
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
C
arpente
r
Rev
e
rt "Remov
e
a stat
e
f
r
o
m it's ->po
o
ls
when set_
s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
E
l
iminate
a warning
.
Probably the w
r
ong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
en
t
er
Clean ups
.
Co
m
ments
.
Renam
e
sl
i
st_stack to nam
e
d_stac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Ha ha
.
I
s
t
i
l
l suck a
t
poin
t
ers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
C
l
eanups
.
Com
m
ents
.
Remove debugging code from
f
i
lter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
enter
C
lean up
.
Also
preserve the ->pools in o
n
e path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up ge
t
_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
R
e
move __overwrite
_
cur_
s
list()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
T
h
ere w
a
s debugging outp
u
t t
h
at
acciden
t
all
y
got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nte
r
R
e
move a state from it's ->
p
ools w
h
en s
e
t_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Do
n
'
t del
e
te the ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
e
nter
Try und
e
rstand th
e
implica
t
ions from compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
r
eate a
state &merg
e
d
.
When we merge stuff it
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpent
e
r
Ok
.
This time smatch_im
p
li
e
d _really_ does so
m
et
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
n
t
er
Igno
r
e
c
s
c
ope f
i
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cle
a
nups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add
some more locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
F
ix impl
i
ed pools so that
a
t
leas
t
it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
It s
e
eme
d
l
i
ke tracker_lis
t
w
ou
l
d
be usef
u
l
in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Add a README describing smat
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an
Carpente
r
Add script t
o
find NULL
dereferences between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix u
s
age message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
r
p
ente
r
Ch
e
ck for malloc() as well as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
n
ter
Fix
s
e
gfault when handling implicitly declar
e
d
func
t
ion
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpenter
Wa
r
n whe
n
we don't
a
cquire
lo
c
ks when call
i
ng
certai
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
T
r
y
(and
fail)
t
o find memory leak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost
pr
i
nt a
message when you come
t
o unre
a
chable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rp
e
n
t
er
Add c
h
e
ck to look f
o
r
d
o
u
ble free
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Ca
r
penter
Add
checking for lock_kern
e
l(
)
/un
l
ock_
k
ernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Make check_lo
c
king
check
b
o
th spinlock
s
and s
e
m
aph
o
r
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carp
e
nter
Add a new fu
n
ction slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Car
p
ente
r
If
there
is a
n
i++ then the value of 'i' is und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_locking scri
p
t t
h
at checks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Save the possi
b
le states instead
of just
m
erging
th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arp
e
nter
Ignor
e
emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carp
e
nter
M
e
rge bra
n
c
h 'm
a
ster' into pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could
s
ave some
m
emory by not al
l
o
cating
new
m
e
m
o
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Add a com
m
ent showing where the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
a
rpenter
This is l
e
f
t
over from October as part o
f
the i
m
p
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpent
e
r
Ad
d
g
et_poss
i
ble_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
S
tuff l
e
ft ov
e
r
f
rom Octo
b
er
.
Imp
l
ied pools wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some me
m
ory by not allocati
n
g new
me
m
ory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n
C
a
r
pe
n
ter
Fix memory leak
.
Ad
d
more c
o
mments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
Add a merge hook
.
H
andle the situatio
n
s like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
ar
p
en
t
e
r
strcmp() doesn't acc
e
pt
NULL argu
m
en
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpe
n
ter
rename two functi
o
ns: get_variable_from_expr_si
m
pl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
get_varia
b
le_from_expr() uses a
static buf
f
er and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check
_
template
.
c example
script
tha
t
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
M
ake get_all_states() not segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
F
i
x get_value() to return negati
v
e
v
a
lues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
We o
n
ly ever
p
ass one paramet
e
r int
o
get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Fi
x
g
et
_
all_
s
t
a
tes
(
)
t
o matc
h
the f
u
nction def
i
n
i
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Re
m
ove add_state() and
s
tate_defined
(
) definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Clea
n
up
.
Fix leak
.
My problem is that I don't underst
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
Initial commi
t
of the "implied state poo
l
s" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carp
e
n
ter
Do
h
.
We ha
v
en'
t
been using
smatch_extra
for a w
h
i
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
n
t
er
Get rid of
path_hist
o
ry
.
It's
n
ev
e
r go
i
ng to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make go
t
o_
s
tack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
r
p
enter
Speed up merge_slist now that
t
he sl
i
s
t
s a
r
e
order
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
I
n
sert stuff
onto lists in a
sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
D
e
lete a
n
unused function merge_
s
t
a
te_stack()
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
next