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* sizeof_pointer: using sizeof(p) where sizeof(*p) was intended
2012-04-26
D
an Carpen
t
er
*new* sizeof_pointer: using sizeof(p)
where siz
e
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
e
r
overf
l
ow: che
c
k
m
emcpy()
to see if
we
'
re co
m
pari
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
e
x
t
ra: don't reset
&
arguments u
n
til
t
he
o
ther chec
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpent
e
r
flow:
c
hange
how
"
fo
r
(
i = 0; ; i++) {
.
.
.
"
i
s
ha
n
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
nter
*new* or
_
vs_a
n
d: complain about if (x != 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan
Ca
r
penter
sparse: introduce get_expression_value_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
D
a
n Car
p
en
t
er
t
y
pe: introduce is_poin
t
er()
f
uncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
e
x
tra:
f
rob(
f
o
o
) r
e
sets t
h
e
value of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan
C
arp
e
nt
e
r
ext
r
a: foo((void *)&x
)
writes to
x
prob
a
bly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan
Carp
e
nter
rang
e
s:
i
ntrod
u
ce invert_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
D
a
n Carpen
t
er
math: handle __smatch_
i
m
plied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ranges: commit range_lists_e
q
u
i
v() so that bool_implica
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpen
t
er
smdb_pa
r
a
m
_b
u
f_s
i
ze
.
sh: ask d
b
what
si
z
e
buffers are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Car
p
ent
e
r
extra: get_
i
mpli
e
d_range_list() sho
u
ld h
a
n
d
le
conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf_size: store b
u
ffer sizes in db
(
t
ur
n
ed off by default
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carpe
n
ter
db: don't
die on
SQ
L
error
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
b
o
ol_implicatio
n
s: make a lis
t
of implications for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
D
a
n C
a
rpen
t
e
r
math: h
a
ndle logical
expressio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
core:
print s
m
_msg()s before parsing st
a
rts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpent
e
r
p
a
rame
t
er_implicati
o
ns: generate list of
f
u
n
c
tions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Car
p
enter
db: match_return() shouldn't
r
e-
i
mplement get_implied
_
range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
s
ort of han
d
le
c
ondit
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
math: simplify implied_condition_t
r
ue/
f
alse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
math: simplify known_condition_true/f
a
lse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h: ha
n
dle __smatch_implie
d
(({
f
rob()
;
2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
mat
h
: handle fo
o
= !
2
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
Carp
e
n
t
er
extra
,
math: m
o
ve known
_
conditon_tru
e
/false()
etc
fr
o
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Car
p
enter
project: fix para
m
eter implic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
a
r
p
e
n
ter
helper: int
r
oduce
g
e
t
_
m
emb
e
r_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
db: print al
l
r
et
u
rn va
l
ues at end of func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan
C
arpenter
db:
add some smdb_ sc
r
i
p
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Ca
r
p
e
nter
fill_db_return_info
:
fix out dated par
s
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: alwa
y
s i
n
itialize the
range in g
e
t_
i
mplied_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
e
nter
ex
t
ra
:
f
i
x get_implie
d
_ra
n
ge() for function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
check_macros: clean
u
p: use position
s
_eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macro: take a stru
c
t
position, not a pointer to a
s
truct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Ca
r
penter
i
m
plied:
c
le
a
nup: move
d
ub
u
g printfs to thei
r
ow
n
functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpente
r
r
anges: get r
i
d
of
possib
l
y_(true/false)_range_
l
ist
_
ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
r
anges: cl
e
anup: mov
e
true_comparison_rang
e
_lr() into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpen
t
er
extra: a
d
d
p
a
r
ameter im
p
lications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan C
a
rpenter
r
a
nges: in
t
rodu
c
e cl
o
ne_perma
n
e
n
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpenter
ranges: initialize
t
he pointer
in get_value
_
ran
g
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpen
t
er
db
:
ig
n
ore functions which are called a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
typ
e
: ex
p
ort get_
r
eal_base_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpenter
d
b: add
c
o
de to hac
k
up
the database with proje
c
t specifi
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
ar
p
enter
co
n
d
i
tions:
pre
s
erve
|
= as the as
s
ign op in fo
o
|=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n Carpente
r
type
:
sizeof() is u
n
signed long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
an
C
arpenter
condi
t
i
o
n
s
:
sparse never
s
eem
s
to
us
e
SPECIAL
_
UNSI
G
NED_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
D
an Carpenter
hel
p
er: i
n
troduce positions_
e
q(pos1, pos2) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Da
n
Carpenter
build_kern
e
l_d
a
ta
.
s
h
: m
a
ke it execu
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carp
e
nter
macr
o
_s
i
d
e
_effec
t
s
:
silence f
a
lse positiv
e
s
i
nside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n Carpenter
tes
t
_kernel
.
sh: create a
ba
k
.
smatch
a
t th
e
beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Car
p
e
n
t
e
r
*new* c
h
eck_mac
r
o_side_effects:
m
a
cros which evalua
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
Ca
r
penter
flow
:
ignore __builtin_constant_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
s
p
a
rse:
set the
s
cope->toke
n
m
ember
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
cal
l
_tree
.
pl: This
was still using the ol
d
forma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
D
a
n
Carpente
r
buil
d
_kernel_dat
a
.
sh: a
d
d --ca
l
l
-
tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Ca
r
penter
l
ocking: ignore unreachable unloc
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
arpe
n
te
r
l
ocking:
w
hite
s
pa
c
e
c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Ca
r
penter
n
ew_bugs
.
sh: fix
i
t for gcc
a
nd sparse warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking:
tons of locks wer
e
i
gnored bec
a
u
s
e of changes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
D
a
n
Carpenter
tok
e
n_store: creates
a
posit
i
on -> token mapping
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan
C
a
rpe
n
t
er
Merge branch 'devel2'
commit
|
commitdiff
|
tree
2012-03-08
Dan Car
p
ente
r
*new*
c
heck_bit_shift
.
c:
(
foo & BAR
)
vs (foo & (1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carp
e
nter
*new* p
o
inter_math
:
complain
a
bout ptr + sizeof()
w
here
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Da
n
Carpenter
type: ex
p
ort get_p
o
inte
r
_ty
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
D
a
n Carpenter
type: e
x
port get_
p
oint
e
r_ty
p
e(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n C
a
rpenter
flow
:
fix
s
egfau
l
t o
n
pars
e
error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
hoo
k
s: add CAST_HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
ty
p
e:
add
nr_
b
its(struct expression
*
e
xpr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n Carpe
n
ter
extra: de
l
ete the get_ra
n
ge_list()
functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Ar
t
em Bityut
s
k
i
y
Makefil
e
:
do not
install sparse an
d
cgcc
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpenter
new: smatch_scripts/buil
d
_
kernel_da
t
a
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpent
e
r
n
e
w: sm
a
tc
h
_scripts/test_kern
e
l
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
D
an Carpenter
ranges: make possibly_true/false() take expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
D
an
Carpenter
expre
s
sions: new fil
e
smatch_expre
s
sions
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
tree wid
e
: don't print offset into function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpen
t
er
gene
r
i
ze
.
pl: make it work for sparse warnings a
s
w
e
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Car
p
enter
e
s
tate: don't reuse
extra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan C
a
r
p
ent
e
r
contrain
t
s: add
o
p
tio
n
--debug-related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpe
n
te
r
c
o
n
straints: make set
_
equiv()
tak
e
an expressio
n
poin
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpenter
extra, constraints: move set
_
equiv() from extra to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
penter
debug:
add __s
m
atch_dump_r
e
l
ated()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arp
e
n
t
er
implied: use a
d
d_ra
n
ge(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
est
a
te,
r
a
n
ges: move whole_r
a
n
g
e from es
t
ate to
r
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
extra
:
cleanup is_
w
hole
_
range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
ranges: make poss
i
bly_true_range_
l
ist
_
r
l() take an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
ranges: rename get_single_va
l
ue
_
f
rom_dinf
o
(
) =>
e
s
tat
e
_get_
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
i
m
plied:
use
new e
s
tate_related() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
constraints: use new estate_
r
elated() f
u
nct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpent
e
r
constraints:
m
a
k
e
ge
t
_common_relationship() take an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nt
e
r
est
a
t
e:
introduce
e
sta
t
e_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
estate: i
n
t
r
od
u
c
e
e
state_related()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpe
n
ter
estate: introduce
e
state_r
a
nges() he
l
pe
r
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Ca
r
pente
r
dinfo, estate:
m
v
smatch_dinfo
.
c smatch_estate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carp
e
nter
tree-wide: s/extr
a
_state/estate/g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
extra, dinfo: move
g
et_dinfo(
)
from smat
c
h_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
extra,
ranges: make possibly_true/fal
s
e() take an expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
D
an Carpent
e
r
*new* kmalloc_wrong_size: checks the e
l
e
m
e
nt siz
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Da
n
Ca
r
p
e
nter
debug: add _
_
sm
a
tch_implied()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next