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
macro_side_effects: only enable when --spammy is used
2012-04-26
D
an Carpen
t
er
*new* o
r
_vs_
a
nd: complain about if
(
x
!
=
3
|| x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
sparse
:
intro
d
uce ge
t
_expression_value_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
D
a
n Carpe
n
ter
t
y
pe: in
t
ro
d
uce is_
p
oi
n
ter() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Da
n
Car
p
enter
extr
a
:
f
rob(foo) resets
the value
of
*
foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan C
a
rpent
e
r
extra
:
foo((void
*)&x)
w
r
i
tes t
o
x pr
o
bably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
r
anges: intr
o
d
u
ce invert_ran
g
e_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: han
d
le
_
_
smatch_implied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
an Car
p
enter
r
anges: com
m
it ra
n
ge_li
s
ts_equiv() so that
b
ool_implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb_param_buf_si
z
e
.
sh: ask d
b
what size buffers are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra
:
get_imp
l
i
e
d
_range_list() sh
o
uld handle conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpe
n
ter
bu
f
_
s
ize:
s
tore buffer
sizes in
d
b (turned off by default)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carp
e
nte
r
db: don
'
t die
on SQL
e
rrors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpente
r
bool_impl
i
cations
:
make
a
l
i
st
of i
m
plications
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan
Carpenter
math
:
h
andle
l
ogical expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpe
n
ter
core: print
s
m_msg()s before p
a
rsing s
t
art
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Car
p
enter
pa
r
amete
r
_implication
s
: ge
n
erate
list o
f
functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Carpenter
db: match_return(
)
s
houldn't
re-implement ge
t
_
implied_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
C
a
rpen
t
er
ma
t
h: so
r
t of handle conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpente
r
ma
t
h: simplify implied_con
d
ition_tru
e
/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h: simplify kn
o
wn_condition_true/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
m
a
th: handle
__smat
c
h
_implied(({f
r
ob();
2
;})
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
a
r
penter
math: han
d
le foo =
!2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
e
x
tr
a
, math: move known_conditon_t
r
ue/fals
e
()
etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
p
roject:
fix parameter impl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper: introduce get_me
m
ber_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpen
t
e
r
db: pr
i
nt all return va
l
ues at
end of functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
D
an Carpenter
d
b
: a
d
d some smdb_ scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Car
p
ente
r
fill_db_re
t
urn_info: fix out
d
at
e
d parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: al
w
a
ys initialize th
e
range
i
n
g
e
t_implied_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
ex
t
ra:
f
ix get
_
i
m
pl
i
e
d
_range()
for func
t
ion calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
C
a
r
penter
check_macr
o
s: cleanup: use
p
ositions_e
q
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rp
e
nt
e
r
ma
c
ro: tak
e
a struct
p
o
s
ition,
n
ot
a
poin
t
er
t
o a
s
tru
c
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
implied:
clea
n
u
p
: m
o
ve dubug prin
t
fs to their own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
penter
ranges:
get
rid of
possibly_(
t
r
u
e
/false)_r
a
n
g
e_list_ls
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
e
r
ranges: cl
e
anup:
m
o
ve true_comparison_range_lr() int
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ext
r
a: add paramete
r
implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges: introduce clone_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Carpen
t
er
ranges: initiali
z
e the pointer in get_
v
alu
e
_ranges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carpenter
db: i
g
n
ore functions which are cal
l
ed a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Carpente
r
type: expo
r
t get_
r
eal_ba
s
e
_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpente
r
d
b
: add code
t
o hack up
the da
t
abase wit
h
pro
j
ect specific
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
c
o
nditions: pres
e
rve
|
= as the assign op in foo |=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan C
a
rpent
e
r
type: sizeof() is unsigne
d
l
ong
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Da
n
C
arpen
t
er
cond
i
tions:
s
parse never seems to use SPECIAL_UNSIGNED_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Da
n
Carp
e
nter
helper
:
int
r
o
d
uce positions_eq
(
p
o
s
1, pos2) funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
D
an
Car
p
ente
r
bu
i
ld_kernel_data
.
sh: make
i
t executable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpent
e
r
macro_si
d
e_effec
t
s: silence fa
l
se posi
t
ives inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
test_kernel
.
sh: c
r
eate a bak
.
s
m
a
tch at the b
e
ginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan
Carpenter
*ne
w
* check_macro_side_effects: mac
r
os which e
v
al
u
ate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan C
a
rpenter
f
l
ow: ig
n
ore
_
_
builtin_constant_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carp
e
nt
e
r
spa
r
se: se
t
th
e
scope->toke
n
me
m
ber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpent
e
r
c
a
ll_tree
.
p
l:
This was
s
ti
l
l using the ol
d
form
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
bu
i
l
d_kernel_data
.
sh: add --call-tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking: ignore
u
nreachable unlock
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan C
a
rpent
e
r
locking: white spa
c
e
ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpen
t
er
new_bugs
.
sh:
f
ix i
t
for gcc and sparse w
a
rning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpen
t
e
r
l
o
cking:
t
ons o
f
locks were ignored
b
ecause of changes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Dan Car
p
enter
token_st
o
re: creates a position -> to
k
en
map
p
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpen
t
er
Merge
branc
h
'de
v
el2
'
commit
|
commitdiff
|
tree
2012-03-08
Da
n
C
arpenter
*n
e
w* c
h
e
c
k_bit_s
h
ift
.
c: (foo &
BAR) vs (
f
o
o
& (1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpen
t
er
*n
e
w* po
i
nter_math
:
co
m
plain about ptr + sizeof() where
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Dan Carpenter
type: export g
e
t_pointer_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Dan Carpenter
type: export get
_
pointer_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
fl
o
w: fix segfault on parse error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n
C
arpenter
hoo
k
s: add CAST_
H
OOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
t
y
p
e: add nr_bits(stru
c
t
expr
e
s
sion *expr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
C
a
r
p
e
n
ter
extra:
delete
the get_r
a
nge_list() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Car
p
ente
r
new
:
smatch_
s
cripts/bu
i
ld_kernel_data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan
C
arpenter
ne
w
:
sma
t
ch_scripts/test_
k
e
rnel
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpenter
ranges: make possibly_true/false() t
a
ke expr
e
ssion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan
C
a
rpenter
expressions:
new f
i
le
s
m
atch_ex
p
r
e
s
sions
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
D
an
C
arpenter
tree wide: don
'
t pr
i
n
t offset i
n
to fun
c
t
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Car
p
enter
generize
.
pl:
m
ake
i
t work f
o
r
sparse
warning
s
as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
D
an Ca
r
penter
es
t
ate: don't
r
e
u
s
e e
x
tra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
c
ontr
a
int
s
:
a
dd
optio
n
--deb
u
g-related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpent
e
r
co
n
st
r
aints: m
a
ke se
t
_equiv() take an expr
e
ssion
pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
C
arpenter
extra, constraints: move set_equi
v
() f
r
om extr
a
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
debug: add __sm
a
tch_dum
p
_r
e
lated(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
i
mplied: use add_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpenter
est
a
te, r
a
n
ges: move
w
hole_range from estate
t
o ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
extra: c
l
eanup is
_
whole_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
ente
r
ranges: make possibly_tr
u
e_range_l
i
st_rl() t
a
ke an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpenter
range
s
: rename get_single_va
l
ue_from_dinfo
(
) => esta
t
e_get_s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carpenter
implied: use
new estate
_
related() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpenter
c
o
nstraints:
use
new
e
state_re
l
a
te
d
() f
u
ncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpente
r
const
r
aints: make g
e
t_common_relationshi
p
() t
a
ke an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpente
r
es
t
ate:
intro
d
u
c
e
estate_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpenter
estate: introduce estate_related()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carpenter
es
t
ate: in
t
rod
u
ce
e
state_range
s
(
) helper function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
d
info, estate:
m
v sma
t
ch
_
din
f
o
.
c smatch_estate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nter
tree-wide: s/extra_sta
t
e/est
a
te/g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
ext
r
a, dinfo
:
mov
e
get_dinf
o
()
from smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
e
x
tra,
r
anges: make poss
i
bly_true/false() take an expres
s
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carpenter
*new*
k
malloc_wrong_size:
c
hecks the elemen
t
si
z
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carp
e
nter
debug: add __smatch_implied()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan
Carpenter
extr
a
: m
o
dify matc
h
_com
p
ar
i
son()
s
o
it
c
an deal with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Car
p
enter
dinfo: int
r
oduce e
x
t
ra
_
empty()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-15
Dan
C
arpe
n
t
e
r
range
s
: introduce all
o
c_range_
l
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-15
Dan C
a
rpe
n
t
e
r
ex
t
r
a
: remove a varia
b
le from match_com
p
ariso
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-15
Dan Carpe
n
ter
extra:
c
r
e
a
te set_
e
xtra_exp
r
_tru
e
_f
a
ls
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next