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
fill_db_return_implies: delete the correct table
2012-05-10
Dan Carpenter
bo
o
l_
i
mplications: remove debugg
i
ng ou
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan C
a
rpenter
f
ix compil
e
on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n
Carpent
e
r
g
e
nerisize
.
pl: strip all
strings
not j
u
st the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Ca
r
penter
buf_size: Add a NU
L
L check to get_arra
y
_
s
i
ze
_
bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpe
n
te
r
*new* sizeof_pointer: using si
z
e
o
f(p) where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
o
v
erfl
o
w: check memcpy() to see if w
e
're comparing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
er
extra: don't reset
&a
r
guments until the other che
c
ks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
an
Carpenter
flo
w
: change how "for (i = 0;
;
i
+
+)
{
.
.
.
"
is
ha
n
dle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
nte
r
*new* or_vs_and: complain about i
f
(x != 3 ||
x
!=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Car
p
ent
e
r
sparse: in
t
r
o
duce get_e
x
pression_
v
alue_nomod
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan
C
arpen
t
e
r
type: introduce
i
s
_
poi
n
ter() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extr
a
: frob(f
o
o) resets t
h
e
value of
*foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
e
xtra:
foo((v
o
id *)&x) writes to x probab
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ra
n
ges: intro
d
uce invert_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
D
an Ca
r
penter
math:
handle __smatch_
i
m
plied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Car
p
enter
r
a
n
ges: co
m
mit range_lists_equiv()
so t
h
a
t bool_i
m
plications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n C
a
rpenter
smdb_p
a
ram_bu
f
_
s
ize
.
sh: ask db what
s
ize buffers are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpen
t
er
extra: get_implied_r
a
nge_list(
)
should
h
a
ndle c
o
nditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n C
a
rpenter
buf_size: stor
e
buffer size
s
in
db
(
t
urned of
f
by
d
efault)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpen
t
er
db
:
don't
d
ie
on SQL
error
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arp
e
nt
e
r
bool_imp
l
ications:
m
a
ke
a
list of implications for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math:
ha
n
dle l
o
gical
expressi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpe
n
t
er
c
o
re: print sm_msg()s before pars
i
n
g
starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Ca
r
pent
e
r
parameter_implications: generat
e
list of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Carpenter
db
:
match_return
(
)
sho
u
ldn't re-implem
e
nt get_implied_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpe
n
ter
math: s
o
rt
o
f handle conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simp
l
i
f
y implied_condi
t
ion_true/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simplify known_co
n
dition_true/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpenter
m
ath: handle __smatch_impl
i
ed(({frob(); 2;})
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
C
arpenter
math: handle foo =
!2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
extra, math:
mo
v
e known_conditon_t
r
ue/false() etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
p
ro
j
e
c
t: fix parameter implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
penter
helper
:
introduce
g
et_membe
r
_n
a
m
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
C
a
rpenter
db:
p
rint all
r
etur
n
values at end of functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db: add some smdb_ scrip
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
a
rpenter
fill_db_return
_
info:
f
i
x out dated par
s
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra:
a
lways i
n
itialize the
r
ange in get_implied_range_li
s
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra:
f
ix get_implied_r
a
nge(
)
for fu
n
c
t
ion calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
chec
k
_macros: cl
e
anu
p
: use p
o
sitions_eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
mac
r
o: take a str
u
ct positi
o
n, n
o
t a pointer to a struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
impli
e
d: cleanu
p
:
m
ove
d
u
b
ug printfs to t
h
eir
o
wn function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: get rid of pos
s
i
b
ly_(true/false)_range_list_ls
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
ranges: cl
e
anup: move true_comparison_range_lr(
)
into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n
C
arpenter
extra: add par
a
meter i
m
plications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n
Carpen
t
er
ranges: introduce clone_p
e
r
ma
n
ent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges: initialize
t
h
e
point
e
r in get
_
v
a
l
ue_ra
n
ges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
d
b
: ignore functions
whic
h
are
c
a
lled a l
o
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpenter
t
y
pe: e
x
port get_real_
b
ase_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: add code
t
o
h
ac
k
up
t
h
e
database w
i
th
project specif
i
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carp
e
nter
conditions: pres
e
rve
|= as th
e
assign o
p
i
n
foo |=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
t
y
pe: sizeof() is unsigned lo
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
conditions: sparse
n
ever seems t
o
use
S
PECIAL_U
N
SIGNED_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan
C
arpenter
hel
p
e
r: introduce positions_eq(pos1, pos2) funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
buil
d
_
ker
n
el_data
.
sh:
m
ake it exe
c
ut
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan
C
arpent
e
r
macro
_
side_effe
c
ts: sil
e
nce false positive
s
inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
test_kerne
l
.
sh
:
create a bak
.
smatch at
t
h
e begi
n
n
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
arpent
e
r
*new* ch
e
ck_m
a
cro_side_
e
ffects: macros which e
v
alua
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
Carp
e
nter
flow
:
ignore __builtin_constant_p
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan
Carpenter
sparse: set th
e
scope-
>
t
o
ken mem
b
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan
Carpenter
call_tree
.
pl: This was
st
i
ll using
t
he old format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carp
e
n
ter
build_ker
n
e
l
_dat
a
.
sh: add --call-tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpente
r
locking: ignore
unrea
c
hable unlo
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan
Carpenter
locking: white
s
p
a
ce changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
arpenter
new
_
bugs
.
sh:
fix
it f
o
r gcc and sparse warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking: tons
o
f
locks were igno
r
ed because of chang
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
D
an
C
arp
e
nte
r
token_store: create
s
a position -> token
m
apping
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan
C
arpenter
Merge branch 'd
e
vel
2
'
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
*new* c
h
eck_bit_shift
.
c: (foo & BAR) vs (fo
o
& (1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpente
r
*new* poin
t
er_math
:
complain ab
o
ut
ptr
+
sizeof() whe
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Dan Ca
r
pent
e
r
type: ex
p
ort get_
p
oin
t
er_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
D
an C
a
rpe
n
ter
t
y
p
e
:
e
x
p
ort g
e
t_pointer_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carpenter
flow: fix seg
f
ault on pars
e
erro
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
an
C
arpenter
hooks
:
ad
d
CAST_HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Da
n
Carpenter
type: a
d
d nr_bits(struct exp
r
ess
i
on *expr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan C
a
rpenter
extra:
d
el
e
te the get_range_list() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Artem Bityutskiy
Makefil
e
: d
o
not install s
p
ars
e
and cgcc
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpenter
new: smatch_s
c
ripts/build_kerne
l
_data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Da
n
Ca
r
penter
new: sma
t
ch_
s
cripts/test_kernel
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan
C
arpenter
rang
e
s:
ma
k
e possibly_true/false() take expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan C
a
r
p
enter
expre
s
s
ions: new file smat
c
h_expres
s
ions
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpen
t
e
r
tree w
i
de: don
'
t print
o
f
fset i
n
to function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
generize
.
pl:
m
a
ke it work for
sparse wa
r
ni
n
gs as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
est
a
te:
d
on't reuse extra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
D
an Carpenter
c
o
n
t
ra
i
nts: add optio
n
--debug-r
e
la
t
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
co
n
straints: make
set_equiv() take an
e
xpression
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpente
r
extra, constraints: move se
t
_eq
u
i
v
(
)
from e
x
t
r
a
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
d
ebug: add __smatch_dum
p
_related
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
implied: u
s
e add_ra
n
g
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Car
p
e
n
t
er
estate, ran
g
es: move whole_range from estate to ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpenter
extra:
c
lean
u
p
i
s_whole_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
ranges:
m
ake possibly_true_ra
n
g
e
_lis
t
_rl()
t
ake an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
r
pe
n
ter
ranges: rename get
_
sin
g
le_value_f
r
o
m_dinfo() => est
a
te_get_s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpente
r
im
p
lied: use new estate_related() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
con
s
traints:
u
se n
e
w estate_
r
elated()
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpent
e
r
constraints: make g
e
t_common_
r
elationship()
take an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpenter
estate: introduce
e
s
t
a
t
e_min/max(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carpenter
esta
t
e
:
introduce estate_related()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpenter
estate: introduc
e
e
state_ranges() helper function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpent
e
r
di
n
f
o, esta
t
e: mv smatch_
d
i
n
fo
.
c
s
match_estate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpenter
t
ree-wi
d
e: s/extra
_
state/estat
e
/g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next