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* returns: merge all slists from all returns
2012-05-15
Dan Carpent
e
r
*
n
ew* r
e
turns: merge al
l
slis
t
s from al
l
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpenter
db:
a
dd call_implies table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow:
print a differ
e
nt fil
e
nam
e
whe
n
--info option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
dere
f
: fix a typo in the
error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
user_data: track user
data
th
a
t
is returned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
arpenter
bool_implic
a
t
ions
:
remove debuggin
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpe
n
ter
f
ix compile o
n
U
buntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan C
a
rpenter
ge
n
erisize
.
pl: st
r
i
p
al
l
strings not jus
t
t
h
e
first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n Carp
e
nter
buf_size: Ad
d
a NULL check
to get_array_size_
b
ytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new
*
sizeof_po
i
nter: using sizeof(p)
w
here sizeo
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpe
n
ter
overflow:
c
heck
memc
p
y(
)
t
o see if we're com
p
a
r
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpente
r
e
xtra: don't reset &argum
e
n
t
s u
n
til the other
c
hec
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
f
l
ow:
ch
a
nge
h
ow "for (i = 0; ; i++) {
.
.
.
" is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpenter
*
n
ew* or_v
s
_an
d
:
c
ompla
i
n ab
o
ut if (x
!= 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpent
e
r
s
parse: introduce get_expression_value_nom
o
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carp
e
nte
r
t
y
p
e
: introduc
e
is_point
e
r() fun
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Car
p
enter
extra:
frob(fo
o
)
resets
the valu
e
of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
e
xtr
a
: foo((void *)&x) writes to
x
p
robably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan
Carpenter
r
ange
s
: introduce inve
r
t_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: handle __smatch_i
m
plied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpente
r
range
s
: com
m
it range_lists_
e
quiv
(
) so that bool_implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpenter
smdb_param
_
b
uf_size
.
sh
:
ask db what size
b
uffers
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
pe
n
t
er
e
xtra: g
e
t_implied_ra
n
ge_l
i
st(
)
should
handle
c
o
n
ditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf_size
:
s
t
ore
buffer sizes in db (turned
off b
y
de
f
a
ult)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Ca
r
p
e
nter
db: don't die
on SQL errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bo
o
l_imp
l
ications: ma
k
e a list of implications fo
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan
Carpenter
m
ath: ha
n
dle logical expressi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
c
ore
:
prin
t
sm_ms
g
()s
b
e
fore parsing starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Carpenter
parame
t
er
_
i
m
plicat
i
o
ns: genera
t
e li
s
t of
fun
c
ti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Carpenter
db: match_return() shoul
d
n
't re-impl
e
ment get
_
imp
l
i
ed
_
ran
g
e_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
C
a
rp
e
nt
e
r
math:
s
o
rt of handl
e
conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Ca
r
p
en
t
er
math: simplify implied_condit
i
on_true/fals
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simplif
y
known_
c
ond
i
tion_
t
r
u
e
/
false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpenter
math: ha
n
dle __smatch
_
implied
(
(
{
frob(); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpent
e
r
m
ath: ha
n
dle foo = !
2
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
enter
extra
,
math:
m
ove known_condi
t
o
n_
t
rue/
f
a
l
se() etc
f
rom
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
p
roject: fix parameter impli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carp
e
nter
helper: introduce get_
m
e
mber
_
name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
Carpenter
db:
p
rint all return val
u
e
s
at en
d
of
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
D
a
n Carpenter
db: add
s
o
me smdb_ scr
i
p
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpenter
fi
l
l_db_return_inf
o
: fix out dated parsi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: always i
n
it
i
al
i
ze
the ran
g
e
in get_implied_range_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
C
arpenter
ext
r
a: fix get_implied
_
range() for function c
a
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
check_macros: cleanup:
use pos
i
tions_
e
q
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Car
p
e
n
t
er
macro:
t
a
ke a struc
t
position, not
a
pointer t
o
a str
u
ct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
an
C
arp
e
nt
e
r
imp
l
ied: cle
a
nup: move dubug printf
s
to th
e
ir o
w
n function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
ranges: get
r
id of possibly_(true/fals
e
)
_r
a
nge_list_ls
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: cleanup:
move true_com
p
ariso
n
_
r
ange_lr
(
) in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
C
a
r
penter
extra:
add parameter imp
l
ications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
C
a
rpenter
ranges: introduce c
l
on
e
_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n
Ca
r
p
e
nte
r
ranges: initialize the pointer in
g
et_va
l
ue_ranges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: ignor
e
fun
c
tions which
a
re
c
al
l
ed
a
lo
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpente
r
type: expor
t
get_re
a
l_base_type
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
nter
d
b
: ad
d
code to hack up the datab
a
se w
i
t
h project specific
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
arpenter
condit
i
ons: preserve |=
as
t
he assign op in
f
oo |=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Da
n
Carp
e
nt
e
r
type: sizeof() is
u
nsigned
l
ong
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Da
n
Carpe
n
ter
conditi
o
ns: spar
s
e never seems to u
s
e S
P
ECIAL_UNSIG
N
E
D_
G
T
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
h
el
p
er:
introd
u
ce pos
i
t
ions_e
q
(p
o
s1
,
pos2) fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
D
an Carpenter
b
ui
l
d_kernel_data
.
sh: make it executabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
macro_si
d
e_effects:
s
ilence
f
al
s
e positives inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Car
p
enter
test_kernel
.
sh
:
create
a ba
k
.
smat
c
h at the b
e
ginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
Ca
r
penter
*new* ch
e
ck_mac
r
o_s
i
de
_
effects: macros
w
hich evaluate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
f
low: ignore __b
u
iltin_
c
o
nstant_
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan C
a
rpenter
sparse: set th
e
s
c
ope->token member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
D
a
n
Carpenter
call_tree
.
pl: This was s
t
ill using
the old
f
or
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan
C
arpent
e
r
build
_
k
ernel_da
t
a
.
sh: add --call-tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Carpent
e
r
l
o
ck
i
ng: ig
n
ore u
n
rea
c
h
able unlocks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
arp
e
nter
locking
:
white spac
e
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Carpente
r
new_bugs
.
sh: fix it
f
or gcc
and
sparse war
n
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Car
p
enter
l
o
c
k
i
ng:
to
n
s
of l
o
c
ks were
ignored
because of c
h
ange
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Dan Car
p
enter
token_
s
tore: creates a
p
osition -> token mapping
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
Me
r
ge b
r
anc
h
'd
e
vel2'
commit
|
commitdiff
|
tree
2012-03-08
Dan Carp
e
nter
*new* check_b
i
t_shift
.
c: (foo &
B
A
R) vs (f
o
o & (1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpenter
*new* pointer_
m
a
th: compl
a
i
n
about p
t
r
+
siz
e
of() where
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Dan
C
a
rpenter
type: expo
r
t
get_pointer_t
y
p
e(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Dan C
a
rpent
e
r
ty
p
e: exp
o
rt get_poin
t
e
r_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpe
n
ter
f
l
ow:
fix segfault o
n
parse error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
C
arpenter
hooks: add CAST_H
O
OK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n Carpenter
type: add nr_
b
its(stru
c
t
expression *expr
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
an Ca
r
p
e
nter
e
x
t
ra: delete the get_range_list(
)
functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Arte
m
Bityutskiy
Makefile: do
n
ot ins
t
a
l
l sparse and c
g
cc
commit
|
commitdiff
|
tree
2012-02-28
Dan Ca
r
penter
n
ew:
s
ma
t
ch
_
scripts/build_ke
r
nel_d
a
ta
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
D
a
n Carpenter
new: smatch_scripts/t
e
st_kernel
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
D
a
n Carpent
e
r
ranges
:
make possibly
_
true/false() take
expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Ca
r
penter
exp
r
e
s
sions:
n
ew file sm
a
tch_exp
r
es
s
io
n
s
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
tree wid
e
: don't prin
t
offset
in
t
o funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan
C
a
rpenter
generize
.
pl: make it w
o
rk for
s
parse
war
n
ings as we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan C
a
rpente
r
estate
:
don't r
e
use extra_un
d
efined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
contra
i
n
ts: add option -
-
debu
g
-related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpe
n
ter
c
onstraints: make set
_
equ
i
v
(
) t
a
ke an express
i
on pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rp
e
nter
extra, constraint
s
: move set_equiv() from extra to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpenter
debug: add __s
m
atch_dump_rela
t
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
implied: use a
d
d
_
range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carpenter
esta
t
e
,
ranges:
move whole_
r
ang
e
fr
o
m estat
e
to
r
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nter
extra:
c
le
a
nup is_whole_r
a
ng
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
r
anges: make pos
s
ibly_true_range_l
i
s
t
_r
l
()
ta
k
e an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpenter
ranges:
rename get
_
s
ingle_value_
f
rom_dinfo
(
) => estate_g
e
t_
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
implied:
use ne
w
estat
e
_
related()
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpent
e
r
constraint
s
: use new esta
t
e_r
e
lat
e
d() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
constraints: make get_common_
r
el
a
t
ionship()
t
a
k
e an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next