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
sm_buf: don't return the maximum store buffer size
2012-04-17
Dan Carpent
e
r
smdb_param_buf_size
.
s
h
: ask db
w
hat size buffers
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra: get_implie
d
_
rang
e
_list() sh
o
u
ld handle co
n
ditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpe
n
t
er
buf_si
z
e:
s
tore buffer si
z
e
s
in
db (turned off by
d
efault)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpenter
db:
don't die on SQL e
r
rors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool_impli
c
ations: make a l
i
st of implications for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Da
n
Carpen
t
er
m
a
th: hand
l
e logical express
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
core: print
sm_msg()s before pa
r
s
i
ng s
t
art
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
pa
r
a
m
ete
r
_impli
c
atio
n
s:
gene
r
ate
list o
f
functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
an
C
a
r
penter
db: match_retu
r
n
() shouldn't re-impleme
n
t get_im
p
lied_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpe
n
ter
ma
t
h: so
r
t
of handle conditi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
en
t
er
math: simpl
i
fy
i
mplied_conditio
n
_t
r
u
e/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h: simplify
k
nown_co
n
diti
o
n_true/false(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h: handle __smatch_imp
l
ied(({fro
b
(); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpen
t
e
r
math: handle foo = !2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpenter
extra,
m
a
th: move known_conditon_true/false() etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
pent
e
r
project: fix parameter impl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper:
i
n
t
roduce get_memb
e
r_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
D
an
Carpenter
d
b
: print all retu
r
n 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 smdb
_
scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpent
e
r
fill_db_return_info: fix o
u
t dated parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
a
r
penter
extra: a
l
ways initi
a
lize
t
he range in get_im
p
lied_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: f
i
x get_implie
d
_
r
ange() f
o
r funct
i
on calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Ca
r
penter
check_ma
c
ros:
cleanup: use positions_eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macro: take a struct po
s
ition, not a pointer to a struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
implied: clea
n
up:
move dubug
p
r
intfs to their own f
u
nc
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ra
n
ges: get ri
d
of possibly_(true
/
fa
l
s
e)_
r
ange_list_ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
a
r
penter
ranges: cleanup: move true_comparison_
r
ange_l
r
() in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an C
a
r
p
ente
r
extra: ad
d
parameter
i
m
pl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
r
ang
e
s
: introduce clo
n
e_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
ter
ranges: initialize
t
he pointer in get_value_ranges(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db:
i
gnore functions
w
hich are
called a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
type: export get
_
real_
b
ase_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpenter
db: ad
d
code to
h
ac
k
u
p th
e
database w
i
th
p
roject specific
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n Carpenter
conditions: p
r
eserve
|= as the ass
i
g
n op
in foo |=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpent
e
r
type: sizeof
(
) is uns
i
g
ned
l
ong
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpent
e
r
conditions: sp
a
rse nev
e
r seems to use SPECIAL_UNSIG
N
ED
_
G
T
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Car
p
enter
h
e
lper: in
t
r
o
d
uce posit
i
ons_eq(pos1, pos
2
)
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Ca
r
pente
r
build_kernel_data
.
sh: make it executable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Da
n
Carp
e
nter
macro_side_effects
:
silence false p
o
s
itives inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
test_kernel
.
sh: create
a bak
.
smatch a
t
t
he beg
i
nning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n C
a
rpenter
*
n
ew* che
c
k_macro
_
s
ide_
e
f
f
ect
s
: ma
c
ro
s
w
h
ic
h
evaluate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
flow: ig
n
ore __built
i
n
_
constan
t
_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpe
n
ter
sparse: se
t
t
h
e scope->tok
e
n member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpent
e
r
call_tree
.
pl: This was sti
l
l
usi
n
g the o
l
d f
o
rmat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
D
a
n Carpenter
b
u
ild_kernel_data
.
s
h
: add --ca
l
l-tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Ca
r
penter
locking: ignore u
n
reachable unlocks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n
C
a
rpenter
l
ocking: whi
t
e sp
a
c
e changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
ne
w
_bug
s
.
sh: fix i
t
fo
r
g
c
c
and sparse warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan
Carp
e
nter
lo
c
king: tons of locks were ign
o
red because of
c
hange
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Da
n
Carpent
e
r
token_
s
tore: creat
e
s a position -
>
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
D
a
n Carpen
t
er
*new* check_bit_shift
.
c: (foo &
B
AR) vs (foo & (1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Dan
C
a
rpenter
*new* pointe
r
_math: compla
i
n about
p
t
r
+
sizeof() whe
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Da
n
Carpenter
t
ype:
e
xport
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_p
o
i
n
ter_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Da
n
Ca
r
penter
flow: fix segfault on parse error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
C
a
rpenter
hoo
k
s
:
add CAST_H
O
OK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
an C
a
rpenter
type: add nr_bits(struct expression *expr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Car
p
enter
extr
a
: delete
t
h
e g
e
t_rang
e
_list(
)
fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Artem Bityutskiy
Mak
e
f
ile: do not install spars
e
a
n
d
cgcc
commit
|
commitdiff
|
tree
2012-02-28
Dan
C
arpent
e
r
new: smatch_scripts/build_kernel
_
data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
D
an Carp
e
n
t
er
new: smatch
_
scripts/test_kernel
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carp
e
nter
r
ang
e
s: make possibly_true/false() take expres
s
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpe
n
ter
e
x
pressi
o
n
s
: n
e
w f
i
le smatch_expressio
n
s
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n
Carp
e
nter
tree
w
ide: don't
p
r
int o
f
fset i
n
to f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Car
p
ente
r
generize
.
pl: make
it
work for sparse wa
r
nings as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan C
a
rpenter
esta
t
e:
d
on
'
t reuse e
x
tra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
co
n
traints: add o
p
t
i
o
n
--deb
u
g-related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
constraints: m
a
ke se
t
_equiv() tak
e
an express
i
on p
o
i
n
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpenter
extra, constraints: move s
e
t_equiv
(
) from ex
t
ra to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
debug: a
d
d __smatch_dump_related(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
implied:
u
se add_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an
Ca
r
p
e
nt
e
r
estate, ranges: move wh
o
le_range from
e
stat
e
t
o range
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
extra:
cleanup is_w
h
ol
e
_r
a
nge()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
e
nter
ranges: make po
s
sibly_true_range_list_rl() take an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
ranges: re
n
ame get_single_value_fr
o
m_din
f
o
(
) =
>
est
a
te_get_s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
implied: use new e
s
tate_
r
elated() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Carpenter
c
onstraints: use
new estate_r
e
lated() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
constraints:
m
ake get_c
o
mmon_relationship()
t
ake an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
estate: introduce estat
e
_
m
in/ma
x
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpent
e
r
e
s
ta
t
e: introduce estate_re
l
ated
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
penter
estate: introduce estate_ran
g
es()
h
elper function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n
C
a
rpenter
d
info, estat
e
: m
v
s
m
a
tch_dinfo
.
c sma
t
ch_estate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n
C
a
rpenter
tree
-
wide:
s
/e
x
tr
a
_state/estate/g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpente
r
e
xtra, d
i
n
fo: move
get_d
i
nfo() fro
m
s
m
at
c
h_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
penter
extra, ran
g
es
:
ma
k
e
possibly_true/f
a
lse()
t
a
k
e an exp
r
e
s
sion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Car
p
enter
*
new* kmalloc_wrong
_
size
:
checks the elem
e
n
t size
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carpent
e
r
debug: add __sma
t
c
h_imp
l
i
e
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carpente
r
ex
t
ra: modify mat
c
h
_
c
om
p
ari
s
on() so
it can deal with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carp
e
n
ter
dinfo: introduce extra_empty()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-15
D
a
n
C
arpenter
ranges: i
n
tr
o
duce alloc_
r
ange_l
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-15
Dan Carpenter
extra: remove a variable
f
rom match
_
c
o
mparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-15
Dan Carpent
e
r
extra
:
create
set
_
ext
r
a_expr_true_false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-15
Dan Carpenter
extra: mo
v
e som
e
code out of
m
atch_
c
omparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-14
Da
n
Carpenter
extr
a
:
hand
l
e po
s
t incr
e
ment in
comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-14
Dan Carpenter
ext
r
a: rewrite how ++ an
d
-
-
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-14
Dan Ca
r
pent
e
r
ranges:
introduce rl_min()
and rl_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-14
Dan
C
arpenter
r
a
ng
e
s: remo
v
e
s
ome duplicate cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-14
Dan Carpenter
g
et
_
vari
a
bl
e
_from_expr(): &foo is compl
i
cated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-09
Dan Carpenter
db: us
e
the retur
n
inf
o
rmati
o
n i
n
a cou
p
l
e other places
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next