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* assign_vs_compare: if ((x = <constant>)) {
2012-05-15
Dan Carpente
r
db: add call_i
m
p
l
ies
t
abl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow: print a
d
ifferent f
i
le
n
ame wh
e
n --info option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
Car
p
enter
deref: fi
x
a typo
i
n the er
r
or messag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpen
t
er
user_dat
a
: trac
k
user data that
is returned to o
t
he
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
Carpente
r
bool_im
p
lications:
remov
e
debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
D
a
n Carpenter
fix
c
om
p
il
e
on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
g
e
nerisize
.
pl: strip all
s
trings not j
u
st the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpe
n
ter
buf_size: Add a NULL
c
he
c
k to get_a
r
ra
y
_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpenter
*
n
ew* si
z
eof
_
p
ointe
r
: using sizeo
f
(
p) whe
r
e sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpente
r
overflow: check
m
emcpy() to see i
f
we're comp
a
ring
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpente
r
extra:
d
o
n't reset
&
arguments until the other che
c
ks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
flo
w
:
change how "for (i = 0;
; i++) {
.
.
.
"
is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpenter
*
new* or_vs_and: comp
l
ain about if (x != 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
spars
e
: introduce get_expression_val
u
e
_n
o
m
od()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
t
y
pe
:
introduce is
_
p
ointer() f
u
nc
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra
:
frob(foo)
resets the val
u
e
of *fo
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
ex
t
ra: foo((v
o
i
d *
)
&
x
) writes to
x
probably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpen
t
er
ranges: intr
o
duc
e
invert_
r
an
g
e_
l
is
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
mat
h
:
handle __smatch_implied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ranges:
commit ran
g
e_li
s
t
s
_equiv() so that b
o
o
l
_
imp
l
ic
a
ti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Ca
r
pe
n
ter
sm
d
b_param_buf
_
size
.
sh: ask db what s
i
ze b
u
ffers are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpenter
ext
r
a: get_implied
_
ra
n
ge_list()
s
h
o
uld handle condit
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
buf_size: store buffe
r
sizes
i
n db (turned off by default)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
d
b
: don't die
on SQL errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpent
e
r
bo
o
l_im
p
lications:
make a list
o
f implications fo
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Ca
r
penter
math: handle
logical
e
xpressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpenter
core: print sm_m
s
g()s
b
e
fore
p
arsing starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
param
e
ter_i
m
plications: gener
a
t
e list of
f
unctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan C
a
r
p
en
t
er
db:
m
atc
h
_
r
e
turn() shouldn't
r
e-implement get_imp
l
ied_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: so
r
t
of han
d
l
e con
d
itions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
penter
math
:
simp
l
ify i
m
p
l
i
e
d_condition_tru
e
/
false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
a
r
p
en
t
er
mat
h
: simpl
i
fy
known_condition_true/f
a
lse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carp
e
n
ter
math: handle _
_
smat
c
h_implied(({frob();
2
;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
pente
r
math: handle foo = !2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpente
r
extra, math:
move known_c
o
nditon_true/false
(
) etc fr
o
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpe
n
te
r
proje
c
t: fix para
m
eter
implicati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n Carpenter
helper: introduce ge
t
_member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carp
e
nte
r
d
b:
p
rint all return value
s
at end of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db: add some smd
b
_ scrip
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Car
p
e
n
te
r
fill_db_re
t
urn
_
i
n
fo: fix
o
ut date
d
parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
ex
t
ra: al
w
a
y
s
initialize the range in get_implied_range_lis
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpe
n
ter
extra: fix g
e
t_implied_range
(
) for function ca
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
check_macros:
c
leanup: use po
s
iti
o
ns_e
q
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carp
e
nter
macro: ta
k
e a
s
truct pos
i
tion, no
t
a
pointer to a str
u
c
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
i
m
plied: c
l
e
anup: m
o
ve dubu
g
printfs to t
h
e
ir own f
u
nc
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n C
a
rpenter
ra
n
ges: get rid of possibly_(true/false)_ra
n
ge_list_l
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpent
e
r
ranges: cleanup:
m
o
v
e true_
c
ompariso
n
_range_lr(
)
in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
extra
:
a
d
d p
a
rameter implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
enter
ran
g
es
:
introdu
c
e clone_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
ran
g
es
:
initialize t
h
e pointer in get_value_ranges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an
C
arpenter
db: ignore f
u
nctions whic
h
are cal
l
ed a lo
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpenter
type: export get_real_base_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Ca
r
penter
db:
a
dd code
t
o hack
u
p
th
e
database with project spe
c
ifi
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan
Carpent
e
r
c
o
nditions: preserve |= as
t
he assign op in f
o
o |=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
type: size
o
f() is
u
n
signed long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan C
a
rpenter
conditions:
sparse never seems to use SPECIAL_UNSIGNED_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpente
r
h
e
l
pe
r
: introduce positions_eq(po
s
1, pos2) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan
C
arpenter
bu
i
l
d_
k
ernel_d
a
ta
.
s
h: make it execu
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan
C
arpenter
m
acro_side_
e
ffects:
silence
f
alse positives inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n Carpenter
te
s
t
_
kernel
.
sh
:
create a bak
.
sm
a
tch at
th
e
beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Car
p
enter
*ne
w
*
c
heck_macr
o
_side_eff
e
cts
:
m
ac
r
os which eval
u
ate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
flo
w
: ignore _
_
builtin_c
o
nstant_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
s
p
arse: set
t
he scope->token member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
D
an Carpenter
ca
l
l_tree
.
pl: Thi
s
was still using
t
he old fo
r
m
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Da
n
Carpent
e
r
build_k
e
rnel_d
a
ta
.
sh:
a
dd
-
-cal
l
-tre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan
Carpen
t
e
r
locking: i
g
nore unreachab
l
e
unlocks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking: wh
i
te s
p
ace
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
new_
b
ug
s
.
sh
:
fix i
t
for gcc
and sparse warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
l
o
ck
i
ng: ton
s
of
l
ocks were ignored because
of changes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Da
n
Carpenter
token_stor
e
: c
r
eates a position ->
token mapping
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan
C
arpenter
Me
r
ge branch
'de
v
el2'
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpe
n
te
r
*new* check_bit_shi
f
t
.
c
:
(foo & BA
R
)
v
s (foo
&
(1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Da
n
Carpenter
*ne
w
* po
i
nter_math: complain about ptr + si
z
e
of() where
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Dan Carpe
n
ter
type
:
ex
p
ort get_pointe
r
_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Dan
Carpent
e
r
type: export get_pointer_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carpenter
flow: fix se
g
fault on
p
a
rse error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n
C
arpenter
hooks
:
add CAS
T
_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
Carp
e
nte
r
typ
e
: add nr_
b
its(struct expr
e
ssion *expr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carp
e
n
t
e
r
extra: de
l
ete the get_range_list
(
) functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Artem Bityutskiy
M
akefile
:
d
o not i
n
stall sparse and cgcc
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpenter
n
ew: smatch_scripts/build_ke
r
n
e
l_dat
a
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Ca
r
penter
new: smatch_scri
p
ts
/
test_ker
n
el
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan
C
arpenter
ranges: make possib
l
y_true/f
a
lse() take e
x
pression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
D
an Ca
r
penter
exp
r
essions:
new file smatch_expression
s
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
D
an Carpen
t
er
tree wide: don't print of
f
s
e
t into funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Da
n
Carpenter
generi
z
e
.
pl: make it w
o
r
k
for sparse
w
arnings a
s
we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Da
n
Carpenter
es
t
a
t
e
:
don't reuse extra
_
undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n Carpent
e
r
contraints: add
o
pti
o
n --debug-related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpe
n
ter
co
n
strain
t
s: m
a
ke set
_
e
q
uiv() take a
n
e
x
pression p
o
inter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
r
p
ent
e
r
extra, co
n
str
a
ints:
mo
v
e
set_equ
i
v(
)
fro
m
ext
r
a
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
ar
p
enter
debug: add __
s
match_dump_related()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
n
ter
impli
e
d:
u
se
a
dd
_
range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpenter
es
t
at
e
, range
s
: move whol
e
_range fro
m
estate to range
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
n
t
er
e
x
tra: c
l
e
anup is_whole_ran
g
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
a
r
penter
ranges: m
a
ke p
o
ssibly_true_ra
n
ge_l
i
st
_
rl() 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_from_din
f
o()
=> esta
t
e_get_s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
implied: use new est
a
te_relate
d
()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
penter
co
n
straints: use n
e
w estate_related() fu
n
ct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
co
n
strain
t
s: make get
_
common_
r
elati
o
nship() take an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
estate
:
introduce
esta
t
e_
m
in/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next