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
precedence: warn about: if (!a & b) {...
2009-11-12
Dan
C
a
rpenter
Do not acciden
t
al
l
y delete
.
h
fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
D
an Carpenter
Ne
w
missin
g
dev_put() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
Ha
n
d
l
e
if ((dev = fo
o
()) =
=
NULL) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
silly false positive: ret
u
rn foo; <-
f
o
o
possibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
a
n
Carpenter
Update smatc
h
_data to 2
.
6
.
32-rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
a
n C
a
rpenter
Add some comments an
d
copyr
i
ght notices
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan C
a
r
p
enter
small cl
e
an
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Fix
s
egfault
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Da
n
Carp
e
nter
Allo
w
peop
l
e to use kchecker file
.
o as well as
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Da
n
Carpenter
Initi
a
lize
v
a
lues proper
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Car
p
enter
Turn the tw
o
pass system off by default
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan C
a
r
p
e
n
t
e
r
Optim
i
zation:
pre
p
en
d
()
-> app
e
nd()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpenter
Pr
i
n
t
an error for thi
s
:
if (a | b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan
Carpen
t
er
Dual pass sy
s
te
m
[patch #2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Dua
l
pass system [pat
c
h
#1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
an
Carpenter
cle
a
n
u
p: move DIMP
L
IED() t
o
s
m
a
t
c
h
_imp
l
ied
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan C
a
rp
e
nter
code chur
n
: rename
S
M
_DEBUG
(
)
t
o sm
_
debug()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
a
n Car
p
enter
co
d
e ch
u
rn: re
n
a
me
smatch_
m
sg() to
s
m_ms
g
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
an Car
p
enter
move my_id parameter [p
a
rt 2 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
Move my_id paramete
r
.
[part
1
of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpenter
Imp
r
o
v
e
c
h
eck_err_ptr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Ca
r
p
e
nte
r
function was supposed
t
o
be static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpente
r
disabl
e
smatc
h
_conta
i
ners
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
a
n
Carpe
n
t
e
r
Random ugly chan
g
es t
o
chec
k
_overfl
o
w
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Stop pri
n
t
ing so much in
f
o all t
h
e time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
N
e
w
o
pti
o
n: --sp
a
mmy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
arpenter
R
emo
v
e optimization
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan C
a
rpenter
Add check_as
s
igned_expr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
penter
f
ix calculating si
z
eof()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arp
e
n
ter
return UNDEFINED
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carp
e
nter
Tal
k
ab
o
ut
s
m
a
tch_s
c
ripts/kchecke
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan
Carpenter
Improve
g
e
t_implied_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpenter
correct forma
t
.
wa
r
ning
:
=> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
A
dd
some s
t
rip_expr() calls to the functio
n
h
o
oks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n Carpenter
Improve buffer overflow chec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-01
Dan Carpe
n
ter
introd
u
ce sma
t
c
h
_
c
o
ntainers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-31
Dan Car
p
ente
r
introduce set_state_expr() and fri
e
nds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
D
a
n Carp
e
nter
add check
_
d
eref_c
h
eck
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
added check_initialize
r
_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan C
a
rpenter
new hook: a
d
d_modificatio
n
_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
move some declarations out
o
f
smatch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-21
Dan Car
p
enter
Up
d
a
te sma
t
c
h_data for 2
.
6
.
31-pre3
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
Improve the displayed varia
b
le names
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
D
an Ca
r
penter
fix buffer over
f
low
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-15
Da
n
Carpenter
Add check_balanced
.
c and sma
t
ch_data/ker
n
el
.
balanced_fun
c
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carp
e
nter
PTR_ER
R
(ERR_PTR(-42)
)
i
s
non
z
e
ro
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
check_me
m
o
r
y
.
c: use the add_s
c
ope_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Car
p
e
n
ter
Add s
c
oped_sta
t
e() and add_scope_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
s
match_implied:
only print the
n
r
_child
r
en message
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan
Carp
e
n
te
r
smatch_ext
r
a
:
f
ix
(
f
o
o !=
42) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
Fix
o
verlappin
g
ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
check_memo
r
y
.
c: fi
x
re
v
ersed if statemen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpent
e
r
Fix a
n
othe
r
b
ug
caused
b
y funny
t
mp
_
range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
D
an Carpenter
Merge branch 'n
e
w
_
implications' into devel2
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Da
n
Carpenter
Fix crashing bug caused by the swit
c
h c
h
a
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Car
p
enter
d
ebu
g
g
ing: p
r
int th
e
line numbers
in merge_sm_
s
t
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
D
an Carpenter
Make
s
w
itch statements work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
clean u
p
.
u
s
e true/fa
l
se_comparison_r
a
nge_lr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
code churn: r
e
name ->
p
re_left =>
-
>
l
e
ft, ->pre_
r
ight
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
Put a
cap on implicatio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan
C
a
r
pent
e
r
I
mprove debu
g
g
ing
.
Don
'
t overwrite sm->line
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
D
a
n Carpenter
Micro optimization
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
c
l
e
an up in merge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan
C
a
rpenter
che
c
k for out_of_memory() less often and only after
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan C
a
rpen
t
e
r
B
e
tter debugging for c
h
eck_memor
y
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Add switch
testing test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpent
e
r
Doh
.
To
o
many implie
d
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpent
e
r
Remove clon
e
_slist
_
and_stat
e
s() and merge_slist_clone()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan C
a
rpenter
Remove sw
i
tch cloning comple
x
ity
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carp
e
nter
two is always non-null t
h
ese days
.
d
o
n
'
t
check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
enter
re
m
ove
u
nused merg
e
_pools() fu
n
ction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
don't pr
i
n
t "list" va
r
iable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Mak
e
my_p
o
o
ls => my
_
poo
l
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
ent
e
r
introduce clone_poo
l
_havers()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
nter
clon
e
_state() doe
s
n't c
o
py my_
p
o
o
ls
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpent
e
r
Rework implic
a
tions to use ->p
r
e_
l
eft and ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpenter
two i
s
always non-null these days
.
do
n
't
c
he
c
k
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carp
e
nter
Introduce ->pre_le
f
t
and ->pre_righ
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan
C
a
r
penter
Make
the RAM li
m
it more
a
ccurate a
n
d
f
lexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan
Carpenter
On
l
y clone t
h
e states i
f
it is a switch sta
t
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan
Carpenter
Don't clone
t
h
e false st
a
tes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan C
a
rpenter
Don't cl
o
ne
all the states
for every case state
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpe
n
ter
Make t
h
e
v
ali
d
a
t
ion test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpenter
Pr
e
vent
some endles
s
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Puttin
g
parens around
something
do
e
sn'
t
mak
e
it und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpenter
Fix m
e
mory
l
e
a
k
.
f
r
e
e
_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
M
a
ke struct
s
m_state more co
m
pac
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n
C
arpente
r
smatch_
s
l
ist
.
c no
l
ong
e
r needs any functio
n
s from s
m
atch
_
ext
r
a
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Delete all th
e
anding comp
o
und condi
t
ions cod
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpenter
check debu
g
is usef
u
l
f
o
r
d
e
bugg
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpent
e
r
p
o
tential bug fix f
o
r goto
s
w
ith implicati
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Make
valid
a
ti
o
n tes
t
harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpenter
Rework smat
c
h i
m
plied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Da
n
Carpenter
get_
v
alue()
:
h
a
nd
l
e a cou
p
l
e
mo
r
e bit ope
r
ato
r
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan
C
arpenter
Set thi
n
gs in smatch extra in
s
t
e
a
d of
smatch imp
l
ied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpente
r
Ha
n
dle
switch statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan
C
arpenter
Re
v
e
r
t "Do
n
't the
i
mplications for the state determi
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
Revert "Here is
a
bug
i
n
h
andling compoun
d
conditio
n
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan
Carpenter
handle
i
f
(
(fo
o
= d
o
w
n_t
r
ylo
c
k())
<
0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_is_merged
_
hook(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next