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
signed: comparing to literals together creates a false positive
2010-05-22
Dan C
a
rpenter
si
g
ned: comparing to literals together creates a fals
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Car
p
enter
deref_check: r
e
m
o
v
e
the --sp
a
mmy option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
d
e
l
ete check_leak
s
.
c
: T
h
is check was always w
o
r
t
hless
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
wine:
f
i
x
up the no ret
u
rn funct
i
ons a
bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
D
a
n
Carpenter
macr
o
_table
.
c: rep
l
acement for in_macro()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
D
an
Ca
r
penter
small cleanup
a
nd a comm
e
nt
c
han
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Car
p
e
n
ter
*new* check_snpr
i
ntf: using
t
he r
e
turn va
l
ue of sn
p
r
intf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpenter
unused_return
:
p
rint function name
t
hat w
a
s
ignored
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
p
e
nter
math: don't pass negative numbe
r
s a
s
absolute ma
x
f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpente
r
implied: allow the known
p
a
r
t to be
a
r
ange list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
math: fix get_abso
l
ute_min
/
m
ax(
)
fo
r
size
o
f()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
extra: make do_comparison() ha
n
d
l
e two variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpenter
rang
e
s: intro
d
u
ce free_ra
n
ge_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
an Ca
r
penter
ranges: intro
d
uce po
s
sib
l
y_true
/
fal
s
e_range
_
lists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan
C
arpenter
precedence: don't complain about
if foo is 0-1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Ca
r
penter
extra: cleanup: rename do_c
o
m
pari
s
on_r
a
nge
(
) =>
do_comparison
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n Carpenter
k
nown_condit
i
on_true
/
false(
)
:
handle
ex
p
ression statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*new* check_kun
m
ap()
:
c
o
nfusion
between
k
map() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpen
t
er
*new*
s
mat
c
h
_scripts/unlocked_pa
t
hs
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpenter
flow:
c
le
a
nup: make split_function() it'
s
o
w
n func
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
D
an Carpenter
de
r
ef_check: u
s
e in_macro() to silence most
of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Da
n
C
ar
p
enter
math:
i
nt
r
oduce get_absolute_min/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Carpent
e
r
math: cleanup:
rename ge
t
_i
m
plied_single_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
r
p
e
nter
m
ath: clea
n
up:
s
huffle som
e
f
u
n
c
t
i
ons around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
ter
mat
h
: cl
e
anu
p
: get rid of the *discard t
h
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: c
l
ea
n
u
p
:
ge
t
rid of IMPLIE
D
_SI
N
GLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carpenter
de
l
ete check_null_deref
.
c and clean up validation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpent
e
r
fl
o
w: the next
s
tatement
s
hould never be
t
he curren
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpen
t
e
r
*new* check_ch
e
ck_deref
.
c: checki
n
g for
nu
l
l inc
o
n
s
istent
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Carpent
e
r
*new
*
che
c
k_no_effect:
print warning
s
s
t
atem
e
nts that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
setu
p
d
e
fault
m
odification hooks in set_true
_
fa
l
se_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carpent
e
r
intro
d
uce in_macro
(
) wh
i
c
h
returns true if we're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
D
an Carpent
e
r
introduce: i
n
_
expr
e
ssi
o
n
_
statement
(
)
and re
n
ame get_bl
o
ck_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpenter
churn: rename
_
_split_sta
t
ements(
)
=> __split_stmt(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
ext
r
a: handle i++ and i +
=
2 better out
s
ide loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpent
e
r
f
ilter_kernel_d
e
ref_check
.
sh: print the functio
n
name
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
Add STRING_HOOK
f
or examining strings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
an
Carpenter
*n
e
w*
c
he
c
k
_
kernel
.
c: handl
e
tomo
y
o
_memory_
o
k() a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
core
:
fix handlin
g
o
f switch sta
t
ements wi
t
h
unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Carpen
t
e
r
bail out ear
l
i
er if f
u
n
c
tio
n
s get
too diff
i
cult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
inclu
d
e
s
t
a
tic fun
c
tions in list of fu
n
ctions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan
Carpent
e
r
*new* freeing_null: calling
f
r
ee for
a
var
i
able that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpente
r
equiv: ca
l
l remo
v
e_fr
o
m_equiv(
)
on
a
s
s
i
g
nment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Carpenter
math: p
r
e
v
e
n
t divide by zero bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Carpenter
check_l
o
ck:
a
dd
more locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
D
an Ca
r
p
ente
r
new
:
check_p
r
oc_cre
a
te
(
) chec
k
for world writable proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
ma
t
h: teac
h
sma
t
ch t
o
u
n
de
r
stand const values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
check_overflow: fix
t
heor
e
tical m
e
mory lea
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
cor
e
: fix problem in handli
n
g select st
a
teme
n
t / ORin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
cleanup: r
e
name
s
m
_states to "sm" instead o
f
"state
"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
get_
v
ariable_from_ex
p
r(): if it
inv
o
lves a
nu
m
b
e
r it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carpenter
debug:
print mo
r
e
useful informati
o
n
a
bout
c
ond
i
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Ca
r
p
e
n
t
er
locking: handle
spin_trylock
_
irq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nte
r
l
o
cking: handle spin_l
o
c
k
_irqsav
e
_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n C
a
rpent
e
r
lock
i
ng: handle raw_spin_unlock
_
irqre
s
tore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
ock
i
ng: make "somet
i
mes locked"
m
ess
a
ges
depe
n
d on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
Car
p
enter
Merge branch
'
de
v
el' into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equiv:
i
f a
v
a
r
iable is only equivalent to
i
tself
set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpe
n
ter
extra:
u
se the fake assign
m
ents instead of t
h
e initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
an Ca
r
p
enter
equiv: neve
r
set SMATCH
_
EXTRA v
a
lues direc
t
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n
Carpenter
equiv: eliminate
b
ogus call to
s
e
t
_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
i
n
troduce __smatch_debu
g
_on
(
) and
_
_smat
c
h_debug_of
f
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
lock
i
n
g
:
m
ake
s
p
inloc
k
_i
r
qsave() work for
my con
f
ig
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
locking: white space
fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
Carpenter
locki
n
g:
a
dd more s
t
andard locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
D
an Carpenter
check_locking: clean up li
s
t of
kernel lock
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
arpen
t
er
h
a
n
d
l
e select assigns: foo = a ? b :
c
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Carpente
r
core:
fake cur_sl
i
st
m
ore completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Ca
r
penter
core: r
e
write sel
e
ct statemen
t
handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
ter
st
a
tes:
v
erify t
h
at
t
he stacks are empty at
the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
Rename f
u
nctions: __
p
op
_
fo
o
() =>
_
_
disca
r
d_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpenter
smatch_
s
ta
t
es: rename some fu
n
ct
i
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpe
n
t
e
r
release_resource: Doh
.
I
t's looking for the wro
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an Carpenter
fix select statemen
t
ha
n
d
l
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpe
n
ter
core: cl
e
anup
.
d
elete fake con
d
i
tion sta
c
k co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
arpenter
cor
e
:
make fake
c
ur_sl
i
sts stackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
an Carpenter
slist
:
make se
t
_state_stack
(
)
return the new s
m
_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*new* check_
r
eleas
e
_resource
.
c: check th
a
t we r
e
lease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpen
t
e
r
f
l
ow: split asm clobbers, inputs
a
nd outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carp
e
nter
white_sp
a
ceonly: allow
h
eader files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n Carpenter
*new*
s
tri
p
_white
s
pa
c
e
.
pl: removes all
t
he wh
i
tespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n Carpenter
*
n
ew* check_r
e
source_size(): prod
p
e
o
ple to us
e
resource_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpe
n
ter
extra: assume impos
s
ible things are im
p
ossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpen
t
e
r
err_ptr: fix bt
r
f
s
false p
o
sit
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr
:
h
andle when a
n
err_ptr is rea
s
si
g
ned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
*new* check_db_inf
o
.
c pr
i
nts
out stuf
f
that
will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
c
l
e
a
n
up: move stuf
f
from sm
a
tch_extra
.
c to s
m
atc
h
_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
white
s
pace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
e
quiv: fix c
r
a
shing b
u
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
check_o
v
e
r
f
low: malloc()
=> __al
l
oc_smatch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpen
t
er
smatch
.
c
:
don't leak thos
e
10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assigned_expr: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan C
a
rpenter
kernel:
fr
e
e_area() d
o
esn't call kf
r
ee()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carp
e
nter
*new*
c
heck_ret
u
rn
.
c:
compla
i
n if you don'
t
chec
k
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
m
a
th: make g
e
t
_
i
m
plied_v
a
lue() work for p
o
inters better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cle
a
nup: create
s
ep
a
ra
t
e _g
e
t
_im
p
lie
d
_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpenter
math: handle modul
u
s '%' operati
o
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: ha
n
d
le
EXPR_POS
T
OP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
ar
p
enter
math: cleanup:
m
ake handli
n
g bin
o
ps a switc
h
() s
t
atement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Car
p
ente
r
math: cleanu
p
c
reat
e
s
eparat
e
handle_bi
n
op() functi
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next