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
flow: change how "for (i = 0; ; i++) { ..." is handled
2012-04-26
Dan Carpenter
flow: ch
a
nge how "for (i = 0; ; i++) {
.
.
.
" is handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
er
*
new* or_vs_
a
nd
:
c
omplain abou
t
if (x !=
3
|| x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Ca
r
p
e
nter
spars
e
:
introduce g
e
t_expressi
o
n_value_nomod(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
D
an C
a
rp
e
nter
t
y
pe: i
n
t
r
oduc
e
i
s_p
o
inter() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpe
n
ter
extra: frob(foo) resets the valu
e
of *f
o
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpente
r
extra: foo((void *)&x) writes to
x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carp
e
nter
ranges: introduce in
v
ert_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
D
an Ca
r
p
e
n
t
er
ma
t
h: handle __smatch_implied(&
x
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
a
r
penter
ranges: commit ra
n
ge_lists_equiv() so
that bool_
i
mplications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Ca
r
pente
r
smdb_
p
aram_bu
f
_size
.
sh: a
s
k db what size b
u
ffers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpen
t
er
extra
:
g
e
t_implied_r
a
nge_list() should
h
andle conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpent
e
r
bu
f
_size: store buffer
sizes in db (tu
r
n
e
d off by d
e
fault
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
db: d
o
n't die
o
n
SQL
e
rrors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool
_
implica
t
i
o
ns: make a l
i
st of impl
i
cations for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpent
e
r
math: handle lo
g
ical expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpe
n
ter
core: pri
n
t
sm_msg
(
)s b
e
fore parsing starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
an Ca
r
p
enter
parameter_impl
i
cations: gen
e
rate l
i
s
t
of
f
unctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpenter
db: match_ret
u
rn() shou
l
dn't r
e
-implemen
t
get_implie
d
_range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpente
r
math: sort of handle conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpenter
math: simplify implied
_
condition_true/f
a
l
se()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
er
math: simplify
known_condi
t
ion_true
/
false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpente
r
math: handle __sma
t
ch_implied(({frob(
)
; 2;
}
)
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpente
r
math:
hand
l
e foo = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpent
e
r
extra, math: move k
n
own_conditon_
t
r
ue/fal
s
e() etc fr
o
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
project: fix p
a
ra
m
ete
r
implica
t
ion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper: introduce get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n Carpe
n
ter
db: pri
n
t al
l
r
e
tur
n
values at end of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carp
e
nter
d
b
: add
some sm
d
b_ scr
i
pts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arp
e
nt
e
r
fill
_
db_return_
i
n
f
o:
f
ix
out da
t
ed parsi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
penter
e
x
tra: always initiali
z
e
t
he range in get_i
m
p
l
ied_r
a
nge_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Car
p
ent
e
r
extra: fix get_impli
e
d_range() for fu
n
ction call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
check_macros:
cleanup: use
p
ositions_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macro: take
a struct pos
i
tion, not a pointer
t
o
a struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
implied: cle
a
nup
:
move dubug prin
t
fs t
o
t
h
eir own
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
a
r
penter
ranges: get rid of
p
ossibly_(true/fals
e
)_range_list_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges:
c
l
e
anup:
m
ove tru
e
_com
p
aris
o
n_r
a
nge_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
extra: add p
a
rameter implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Carpen
t
er
ranges:
introduce clone_permanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges: initialize the pointe
r
i
n
get_va
l
u
e
_ranges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Ca
r
pent
e
r
db: ignor
e
functions
w
h
ich are called a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Ca
r
p
e
n
ter
type:
e
xport
g
et_real_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
db
:
add code to ha
c
k up the database with project specific
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
conditions: preserve
|
= as the assign op
i
n foo |
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
ty
p
e
:
si
z
eof() i
s
u
n
s
i
gned long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Da
n
Carpente
r
con
d
itions: spars
e
never seems to
u
se SPECIAL_UNSIGNED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Da
n
Carpenter
h
e
lper:
intr
o
duce positions_eq(pos1, pos2) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpent
e
r
build_ke
r
nel_
d
ata
.
sh: m
a
ke
i
t
executable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
D
an C
a
rpenter
m
a
cro_side_effec
t
s: sil
e
n
ce false
p
o
sitives inside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n
C
a
r
p
e
nter
test_kernel
.
sh: c
r
eate a bak
.
smatch at
the
b
egin
n
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
*new
*
c
h
eck_
m
a
cro
_
side_effects: macr
o
s which evaluate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpe
n
t
er
f
low: ignore __builtin_cons
t
ant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
D
an Ca
r
pent
e
r
sp
a
rse: set
t
he scope->
t
oken
member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Ca
r
p
enter
call
_
tree
.
pl:
T
his w
a
s
s
t
ill u
s
ing the old for
m
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
D
a
n Carpenter
build_kernel_data
.
sh: add -
-
c
all-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n
Car
p
enter
locking: i
g
nore unreachable unl
o
cks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
l
o
cking: white spa
c
e c
h
a
n
g
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpe
n
t
er
new_bu
g
s
.
sh: fi
x
i
t
for gcc and spar
s
e warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Carp
e
nter
lockin
g
: tons of locks were ignored becau
s
e of ch
a
nges
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpenter
tok
e
n_store
:
c
r
eates a posi
t
io
n
-
>
token mapping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
Merge branch 'devel2'
commit
|
commitdiff
|
tree
2012-03-08
Da
n
Ca
r
pente
r
*new* check_bit_s
h
ift
.
c:
(
fo
o
&
BAR)
v
s (
f
oo & (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan Car
p
enter
*new* p
o
inter_math: complai
n
about ptr +
sizeof() w
h
ere
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
D
an Carpenter
type: export
g
et_p
o
in
t
e
r
_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
D
a
n
Carpenter
type: export
g
et_pointer
_
t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
flow:
f
i
x
s
e
g
fa
u
l
t on pa
r
se error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n Carpe
n
ter
h
ooks: add C
A
ST_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n Carp
e
nte
r
type: add
n
r
_
bits(s
t
r
u
ct expressio
n
*expr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carpente
r
e
xtra: delete the g
e
t_range_list()
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Artem Bityutsk
i
y
Makefile
:
do not
i
nstall sparse and
cgcc
commit
|
commitdiff
|
tree
2012-02-28
D
a
n Car
p
enter
new: smatch_scripts/build_kernel_
d
ata
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Car
p
enter
new: smatch_scripts/test_ke
r
nel
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpenter
ran
g
es: make
poss
i
b
ly_true/fals
e
(
)
take expressio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
D
a
n Carpenter
expre
s
sions
:
n
e
w file
s
match_expressions
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
tree wide: don
'
t prin
t
offset into
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n Carpente
r
g
e
n
erize
.
pl: make it work
for sparse warnings as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n Carpenter
estate: don't reuse extra_un
d
ef
i
ned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
c
ontr
a
int
s
:
add op
t
ion --d
e
bug-
r
elated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
C
a
rpenter
constraints: make set_
e
quiv() take
an expres
s
io
n
poin
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
e
xtra, co
n
s
trai
n
ts: mov
e
s
e
t_equiv() from extra to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
r
pen
t
e
r
d
e
bu
g
: add __smatch_
d
u
mp_r
e
lated()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
implied:
use ad
d
_ra
n
ge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carpenter
es
t
ate,
r
anges: move whole
_
r
ange from estate
t
o rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Ca
r
pe
n
t
er
e
x
t
r
a: cleanup is_whole_ra
n
ge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Carp
e
nt
e
r
r
anges: make possibly_
t
rue_r
a
nge_list_rl() take an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpen
t
e
r
rang
e
s
: rename get_
s
ingle_value_fro
m
_dinfo()
=> es
t
ate_get_s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpen
t
er
i
m
plied: use new est
a
te_related(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
constr
a
i
n
ts: use new estate_relate
d
()
f
u
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpen
t
er
c
o
nstraints:
m
ake get_common
_
rela
t
ionship() take
a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Ca
r
pen
t
er
estate: introdu
c
e
e
state_min/m
a
x
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
estate
:
introduce esta
t
e
_
related()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nter
estate: introd
u
ce estat
e
_ranges() helper
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpenter
din
f
o,
e
sta
t
e
:
mv smatc
h
_
d
info
.
c smatch_es
t
ate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
tree-
w
i
de: s/extra_state/estate/g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
extra,
dinfo: move get_di
n
fo() from sma
t
ch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpenter
extra, r
a
nges
:
ma
k
e possibly_true
/
fal
s
e() take an expressi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
Da
n
Carpenter
*n
e
w*
km
a
lloc_wrong_size: checks the element
size
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
Dan
C
ar
p
enter
debug
:
add
__
s
match_implied()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
D
a
n
Ca
r
p
ent
e
r
extra:
mod
i
fy match_compa
r
ison() so it can de
a
l
w
i
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
Dan
C
a
r
p
e
n
t
er
dinfo:
in
t
rodu
c
e ext
r
a_empty()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-15
Dan Carpenter
ranges: introduce all
o
c
_
r
ange_
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next