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
*new* check_macros: find macro precedence bugs
2010-03-16
Da
n
C
arpenter
mat
h
: cl
e
anup: create separate _g
e
t_implied_val
u
e(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
math: h
a
ndl
e
modulus '%' operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: handl
e
EXPR_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
th: c
l
e
a
n
up: make handlin
g
binops
a swi
t
ch() statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carp
e
nte
r
ma
t
h: cleanup create separate han
d
le
_
binop()
funct
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: c
l
eanup
.
use cast_to_typ
e
(
)
instead of
re-implimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
m
a
th
:
c
l
eanup
.
se
p
ar
a
te han
d
le_preop(
)
into it's
own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
equiv: fix crashing
b
ug int
r
o
du
c
ed in 8
c
358883
a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
Create
separ
a
te smatch_math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
up
d
ate
sm
a
tc
h
_data/ for 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n C
a
rpenter
imp
l
ied
:
c
lean up make
a separate
h
a
ndle_zero_compar
i
s
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: handle compari
s
ons with zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Carpen
t
e
r
e
q
ui
v
:
cleanup s
e
parate set_ext
r
a_true_false() i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
p
enter
equiv, i
m
pli
e
d:
f
ix
h
andling borrowed implicat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan C
a
rpenter
implie
d
: don't update the equiv
e
lent s
t
a
tes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpent
e
r
r
m
val
i
datio
n
/s
m
a
t
c
h_
c
los
e
t/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carp
e
nter
e
q
u
i
v: don't overwrite
the implicat
i
on information
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
r
ename __set
_
state() =>
_
_set_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename c
l
o
n
e_state() => clone_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Ca
r
p
e
nter
e
q
uiv: preser
v
e ->equiv ac
r
oss
m
erges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
U
se
the eq
u
ival
e
nt variab
l
e code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpe
n
ter
r
emove trackers from
->
e
qu
i
v when
they ar
e
no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
ter
Fix crash
i
ng bug c
a
used by last co
m
m
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carp
e
nter
sto
r
e informat
i
o
n in
the new dinfo->equiv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpenter
i
n
troduce add_trac
k
er_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpenter
ma
k
e
set_state() and fr
i
ends ret
u
rn the new sm_s
t
ate
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
in
t
r
o
duce clone_
t
racker_lis
t
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an Car
p
enter
a
d
d "equ
i
v"
field to
s
truct
d
ata
_
info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
e
r
move
t
h
e alloc_
d
info() functions
to smatch
_
ex
t
ra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
D
an C
a
r
penter
check_signed: wa
r
n ab
o
u
t
comparing (uns
i
gned
varia
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
u
p
dat
e
validat
i
on/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Car
p
enter
*
n
e
w* smatch_scrip
t
s
/show_errs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*n
e
w* smatch_s
c
rip
t
s/w
h
itespase_only
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
a
d
d -no-linen
o
option to
sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
val
i
d
a
tion/sm_r
e
du
n
dant_check
.
c
n
ow it's "info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
Carpe
n
te
r
c
h
eck_precedenc
e
:
p
r
i
nt one wa
r
ning mess
a
ge instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Ca
r
p
e
nter
check_signed: handle
u
nsigned
64
bit variable
s
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Ca
r
p
enter
get_valu
e
() handle some
m
ore math
o
p
erations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
make r
e
dundant null checks
before kf
r
ee(
)
an
"
info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n
C
arp
e
nter
check_signed: Eliminate some false
p
ositives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan C
a
rpenter
prece
d
ence:
c
h
eck for && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carp
e
nter
imp
l
i
c
a
t
ions: improve handling o
f
comparisons w
i
t
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpente
r
use imp
l
ications
fro
m
P
OS
T
OPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpe
n
t
er
c
o
nditio
n
s: parse EXPR
_
POSTOPs after evaluating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpente
r
check_o
v
e
r
f
l
ow:
remove false
p
ositi
v
es caused
by prin
t
k
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
flow: improve handling of while(i--) {
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpenter
remove st
r
a
nge loo
p
message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
kpatch
.
sh:
ask
a
bou
t
a
l
loc() failures specifi
c
ally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpent
e
r
check_dere
f
:
handl
e
__
G
FP_NOFAIL (
r
emove fals
e
positives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Da
n
C
arp
e
n
te
r
check_deref: handle pointers use
d
as a
r
rays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
smatch_f
l
ow: clean
u
p
.
merge co
m
mon co
d
e in han
d
le_pre
_
loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nt
e
r
i
mpr
o
ve implied_conditio
n
_true()
for pre and post
o
ps
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an Carpenter
while countdown loops: handle
loops
w
here the
s
tart
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
Carpenter
h
a
ndle for loo
p
s whe
r
e we don't know
the upper limit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n
C
a
rpenter
s
match
_
f
l
o
w:
handling
p
re l
o
ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Car
p
enter
extra
:
comparing something to zero d
o
esn
'
t mean
it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
Carp
e
nt
e
r
check_overflow:
rel
a
x
r
ules
on
if (ptr < &arr
a
y
[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan
C
arpenter
extra: handl
e
loop
s
lik
e
while(i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
D
an Carpenter
clean
u
p: merge a coup
l
e f
u
nction for ha
n
d
ling for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Ca
r
penter
fix handling
o
f
(
2
<= x)
comparis
o
ns wh
e
r
e
t
he var
i
abl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan
Carp
e
nter
check_signed:
dis
a
ble most
o
f th
e
new warn
i
ngs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
get_type(
)
f
i
x
c
rash
on ge
t
ting pointer types
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_value(
)
mor
e
int to long l
o
ng mop up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
get_type() fix
p
o
i
nt
e
r handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpen
t
e
r
F
ix get_value() for ((unsigned int) -
1
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Ca
r
penter
typ
e
_max(): handle unsigned long long
.
(sort
o
f
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get rid of --
r
a
r
e option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
rename ge
t
_single_
v
a
l
ue_
f
rom_range()
=
>
g
et_single_value_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpent
e
r
for loops
:
a
dd a special case for "for(i =
0; i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
check_signed: chec
k
int types
as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
ter
smatch
.
c: use strncpy() ins
t
ead of
strcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpen
t
er
debug: rena
m
e __smatch_pri
n
t_value() => __smatch_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpenter
c
heck_sign
e
d: expr->op is typ
e
i
nt not char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
Introduc
e
g
e
t_fuzzy_mi
n
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
rpenter
precedence: cut d
o
wn
a few
false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpe
n
ter
*n
e
w* check_l
e
16: print an er
r
or for
do
u
ble
cpu_to_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an
C
arpent
e
r
*
n
ew*
c
heck_
m
od_time
r
: print an warning if
s
om
e
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
Carpenter
strip_expr(): remove fo
r
ce casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
kpat
c
h
.
sh: figure the
ema
i
l
address
out
a
u
t
o
mat
i
c
a
lly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
*
n
ew* smatch_scripts/k
p
atch
.
sh: scri
p
t for
m
ailing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
Print fewe
r
messages abou
t
unreached
c
ode
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan C
a
rpenter
smatch
_
conditions: small clean
u
ps and ad
d
d
eb
u
g code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Car
p
enter
fix WA
R
N_ON h
a
ndling
s
ome more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Car
p
enter
smatch_template
:
smal
l
changes
to comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
clean up the makef
i
le a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
handle assignments l
i
ke: foo
=
x <
1
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rp
e
nter
sm
a
tch_stat
e
s:
whit
e
space chan
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpenter
smatch
i
s supp
o
s
ed to be using "long long"
t
ype
s
internally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
r
penter
n
ew_bugs
.
sh: better filtering of smatch e
r
rors f
r
o
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an
Carpenter
hand
l
e st
u
ff lik
e
t
he kernel's WAR
N
_ON() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
s
match_extra: foo = !!x;
d
oes not
modify x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nt
e
r
ha
n
d
l
e assignment
s
like: f
o
o
=
!bar()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
check_
o
verflow: check for memset() issues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n
C
arpenter
automati
c
al
l
y g
e
ne
r
ate
t
he list of
f
unctions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan
Carp
e
nter
*n
e
w*
s
ma
t
ch_scripts/summarize_errs
.
s
h
:
script
f
or
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
D
a
n Carpenter
kernel: fi
x
xfs fa
l
se positi
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
check_overflow: handle: "i
n
t
*
p =
&a
r
ray;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
check
_
ov
e
rf
l
ow: fix bug
i
n ge
t
_arr
a
y_size_byte
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
push s
o
me m
o
re
s
tuff
o
n
the b
i
g_ex
p
ression_st
a
ck
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpe
n
ter
c
heck_overflow: handle
casts li
k
e ((char *)array)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next