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
deref_check: remove dead code
2012-05-15
Dan Ca
r
p
ent
e
r
dereference checks:
u
s
e the cro
s
s f
u
ncti
o
n info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
*n
e
w* check_dereferen
c
es
_
param: list functio
n
s that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
Carpente
r
*new* returns:
m
e
r
ge all slists from a
l
l re
t
urns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
db: add call_i
m
plies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Car
p
enter
flow: pri
n
t
a
different filename w
h
en --i
n
f
o op
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
d
eref:
f
i
x
a typo in th
e
error m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan C
a
rpenter
user_d
a
t
a
: tra
c
k
user
data t
h
at i
s
returned to ot
h
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
bool_i
m
plications:
r
emove debugging outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Da
n
Carpenter
fix
c
ompile
o
n Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
C
arpent
e
r
gen
e
r
i
size
.
pl: strip all s
t
ri
n
gs not just the first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
buf_size
:
Add a NULL chec
k
to get_array_size_byte
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*
n
ew* sizeof
_
p
o
inter: using siz
e
o
f
(p) wher
e
s
izeo
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
nt
e
r
over
f
low:
c
heck me
m
cpy(
)
to
see if we're comparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carp
e
nte
r
ex
t
r
a
: don't reset &ar
g
ume
n
ts u
n
til the other che
c
ks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
fl
o
w
:
c
h
a
ng
e
h
ow "for (i = 0; ; i++) {
.
.
.
"
is h
a
ndled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpe
n
ter
*new* or_vs_an
d
: complain
a
bo
u
t
i
f (x != 3 ||
x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan
C
a
r
p
enter
sparse: introduce get_expre
s
sion_value_n
o
mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan
C
arpente
r
type: introduc
e
i
s_
p
ointer() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Da
n
Carpenter
ex
t
r
a: frob(foo
)
rese
t
s th
e
value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Car
p
ent
e
r
extra: f
o
o((void *)&x
)
w
r
ites
to
x
probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
r
anges: intro
d
uc
e
invert_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan
Carpenter
math: handle __smatch_implied(&
x
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpe
n
ter
r
a
nge
s
: comm
i
t ra
n
ge_lists_equiv() s
o
that
bool_
i
mplic
a
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb_para
m
_
b
uf_size
.
s
h
: as
k
db what size buf
f
ers a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra: get
_
implied_ran
g
e_list() should handle conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
b
u
f_si
z
e: store buffer sizes
i
n db (turned off by default)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpe
n
ter
db: d
o
n't
d
ie
o
n
SQL
e
rrors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
r
p
ente
r
bool_imp
l
ications: make a li
s
t of implications for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpe
n
t
er
m
a
th: handle logical exp
r
essions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan C
a
r
penter
core: print sm_msg(
)
s before parsing starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arp
e
nter
paramet
e
r_i
m
pli
c
ations
:
g
e
nerate li
s
t of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
an Carpenter
db:
m
at
c
h
_
return() shoul
d
n
'
t re-implement get_im
p
li
e
d_range
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpent
e
r
math: sort of
handle condition
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
a
r
p
enter
math: sim
p
l
i
fy
implied_
c
o
n
diti
o
n_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simp
l
ify known
_
cond
i
tion
_
true/fa
l
se()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
handle
__sm
a
t
c
h_implied(({fro
b
(); 2;
}
));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpenter
math: handle fo
o
=
!
2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpenter
extra, math: move kn
o
wn_co
n
dito
n
_true/false() etc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
pen
t
er
pr
o
j
e
c
t
:
fix
parame
t
er imp
l
ications
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
Dan Carpe
n
ter
db: print all ret
u
rn val
u
es at end of fun
c
tio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
D
a
n
Carpenter
db: a
d
d
s
om
e
smdb_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n C
a
r
p
ent
e
r
fill_db_return_info: fix out date
d
parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpe
n
ter
e
x
tr
a
:
alw
a
ys
in
i
tial
i
ze t
h
e r
a
ng
e
in ge
t
_implied_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an
C
arpenter
extr
a
: fix get_
i
m
p
l
ied_range() for function cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carp
e
nter
check_macros: cleanup:
use positions_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
macro: take
a
s
t
ruc
t
position
,
not a pointer to a struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
implied: cleanup: mov
e
d
ubug printfs to thei
r
own f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpen
t
e
r
ranges
:
get rid
of possibly_(true/
f
alse)_r
a
n
g
e
_
lis
t
_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpente
r
r
anges: cl
e
a
n
up: move tr
u
e_comparison_range_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpenter
extra: ad
d
parameter implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Carpent
e
r
ranges: intro
d
uce
c
l
o
ne_permanent
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpent
e
r
ranges: in
i
tialize the poin
t
er in ge
t
_value_ranges
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
d
b
: i
g
nore fun
c
tion
s
which are cal
l
ed a
l
o
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
nt
e
r
type: export get
_
r
e
al_base_ty
p
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db:
a
d
d code to hack up t
h
e da
t
abase with p
r
oje
c
t
s
p
e
ci
f
ic
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
arpenter
conditions: p
r
eserve |= as th
e
assign op in foo |=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
arpenter
type: siz
e
of
(
) is unsigned long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n Carpenter
conditions: sparse
n
ever
s
eems to u
s
e SPECIAL_UNS
I
GNE
D
_
GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan C
a
rpenter
hel
p
er: introduce positions_eq(
p
os1,
pos2) functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Da
n
Car
p
ent
e
r
build_kernel_data
.
sh: make it executable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Ca
r
penter
mac
r
o_side_effect
s
: silence fal
s
e positi
v
es inside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
arp
e
nter
test_kernel
.
sh:
creat
e
a bak
.
smatc
h
at t
h
e beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpen
t
er
*
ne
w
*
check_
m
acr
o
_side_effects: macros which evaluate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpent
e
r
flow:
i
g
n
ore __b
u
ilti
n
_co
n
stant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Ca
r
penter
sparse: set the sc
o
p
e->token mem
b
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Ca
r
penter
call_tr
e
e
.
pl: This was stil
l
u
s
ing the old format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
D
an Carpe
n
ter
build_kernel_dat
a
.
s
h
: add --call-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Car
p
ent
e
r
l
o
c
king: ignore un
r
e
achable un
l
o
c
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking: white space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
new_bugs
.
sh:
fi
x
i
t
for
g
c
c
and sparse
w
arnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
lo
c
kin
g
: tons of locks wer
e
ignored because of changes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan Ca
r
pen
t
er
token_
s
tor
e
: crea
t
es a p
o
s
ition
-
> token mapping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
M
e
rge br
a
nch 'deve
l
2'
commit
|
commitdiff
|
tree
2012-03-08
Dan C
a
r
p
enter
*new* chec
k
_bit
_
shift
.
c: (fo
o
& BAR) vs
(
f
oo & (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpenter
*new* po
i
nter
_
m
ath: complain about ptr
+
sizeof()
w
here
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
D
a
n Carpenter
type:
e
xp
o
rt g
e
t
_p
o
i
n
t
er_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
D
an
Carpen
t
er
t
y
pe:
export
get_pointer_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carp
e
n
t
er
f
low: fix segfault on parse err
o
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Da
n
Ca
r
pen
t
er
hoo
k
s: add CAST_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Car
p
enter
type
:
ad
d
nr_b
i
ts
(
struct expression *e
x
pr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpente
r
extra: delete
the
get_range_li
s
t(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
D
an Ca
r
penter
new:
smatc
h
_scripts/build_kernel_da
t
a
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan C
a
rpenter
new:
s
ma
t
ch_scripts/test_kernel
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
D
a
n
C
arpenter
ranges
:
make poss
i
bl
y
_true/
f
alse() take expr
e
s
sion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan
C
arpenter
expressions: ne
w
fi
l
e sma
t
ch_expression
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
tree
w
i
d
e: don't print
offset into function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
ge
n
e
rize
.
pl:
m
a
ke it
work for sparse warnings a
s
well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n Carpen
t
er
estate: don't re
u
se ext
r
a_undefined(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan C
a
rpenter
contraint
s
:
add option --debug-
r
ela
t
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpente
r
con
s
t
r
aints: make set_equiv(
)
take an expression pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpe
n
ter
e
xtra, constraints: move
se
t
_equiv
(
) from extra
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Carpente
r
de
b
u
g: add __smatc
h
_dump
_
r
elated()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpent
e
r
implied:
u
se add_ra
n
ge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpente
r
e
s
tate, ranges: mo
v
e whole
_
ra
n
g
e
from esta
t
e to ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
extra: cleanup i
s
_who
l
e
_
range
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
range
s
: make poss
i
b
l
y
_true_range
_
list_rl() take an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
ranges: rename get_single_value_from_dinfo()
=
>
e
s
tate_ge
t
_s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
pente
r
impl
i
ed: use new estat
e
_r
e
l
ated() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carpenter
constraints: use new estat
e
_rel
a
ted() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next