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
db: don't get print info if the function has over 10000 states
2013-02-06
Dan Carp
e
nter
db
:
don't get print info if the function
has
o
ver 1000
0
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-05
Dan Carpen
t
e
r
ma
t
h:
d
on't ret
u
rn
h
igh values
i
n get_fuzzy_m
a
x()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpe
n
t
e
r
ov
e
rf
l
ow: fix false positive allocating a vo
i
d poin
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
buf_size: fix bug cau
s
ed by get_impl
i
ed_max() retur
n
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan
C
a
rpenter
db: pri
n
t l
e
ss
--in
f
o for
a
f
ew problematic functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carp
e
nter
math
:
g
et_im
p
lied_max() s
h
ould be abl
e
t
o return s32m
a
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Car
p
enter
sval: only print
"s32max
"
if the v
a
l
u
e is actually
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpent
e
r
math: get_
i
mpl
i
ed_min() should b
e
ab
l
e
to r
e
tur
n
s
3
2min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
m
a
th: tweak get_fuzzy_
m
ath(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Da
n
Car
p
en
t
er
ex
t
ra, db:
hand
l
e
passing chars
t
o parameters
which
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
Dan
C
arpenter
math: use NO
T
I
M
PLIED
i
nstead
of HARD_MIN
in op
p
osite_implied()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
D
an C
a
r
p
ent
e
r
math:
s
et the "undefine
d
"
flag on
e
rror in handle_m
o
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpenter
o
r
_
v
s_an
d
:
handle conditions in
s
ide parenthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-01
E
mil Tantilov
smatch: fix
b
uild err
o
r
commit
|
commitdiff
|
tree
2013-02-01
Da
n
Carpenter
type: introduce is_vo
i
d
_pointer() and is_char
_
poin
t
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-31
Dan Carpenter
absolute: d
e
lete
s
match_absolu
t
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-31
D
a
n Carpenter
*new* check_string_len
.
c
:
look fo
r
sprintf(
)
ov
e
rf
l
ow
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan Car
p
en
t
e
r
ext
r
a, modi
f
ication_
h
ooks, db: move get_var
i
abl
e
_f
r
om_key
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
expressions: use more acc
u
rate pos
i
tio
n
s
for fake der
e
f
erenc
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
D
a
n C
a
rpenter
mod
i
fication_hook
s
:
use modifi
c
ation info from t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpent
e
r
e
x
tra, equiv: make
ca
l
l_extra_mod_ho
o
ks()
g
l
obal
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan C
a
rpenter
modifica
t
ion_hoo
k
s: split out call_modific
a
tion_
h
ooks_
n
am
e
_sym(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan
C
a
r
pen
t
er
type: handle strings
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan Ca
r
pente
r
equ
i
v: call_
e
xt
r
a
_mod_hooks() inside
s
et_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan Ca
r
penter
buf_siz
e
: do
n
'
t
ca
l
l g
e
t_expressio
n
_v
a
lue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
smatch: create a loc
a
l_debug
(
) macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-24
D
a
n Carpe
n
ter
sma
t
ch
.
h, db: add
number
s
t
o the
info_type enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-24
Dan Carpenter
d
e
ref: spelling: derefenci
n
g =
>
derefe
r
en
c
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpent
e
r
math: c
a
lc
u
lating the size
o
f() used
to m
o
dif
y
t
he
e
x
p
ressi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpenter
math
:
use smatch_comparison
.
c for h
a
nd
l
ing subtra
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-23
Dan
C
arpenter
extra, mod
i
ficat
i
on_hooks
:
set "*p" to unk
n
o
w
n if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-23
D
an Carpen
t
er
sm
a
tch
_
expression
s
:
intro
d
u
c
e dere
f
_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpenter
smatch_expressions: rename deref_expression(
)
to member_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-22
D
a
n Carpenter
all: rename expr_to
_
str_complex() to expr_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-22
D
a
n C
a
rpenter
sma
t
c
h
:
rename expr_
t
o_st
r
() to ex
p
r_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-22
Dan Carpenter
missing break: only print one messag
e
per
switch sta
t
em
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-18
D
a
n Carpenter
extra:
get rid of data_type enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-18
D
an
C
arpenter
d
ebug: add __smatch_compare()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-17
Dan Carpente
r
math:
improve
get_implied_rl()
i
f only
t
he max is know
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-17
D
a
n Carpenter
sval: in
t
roduce
s
val_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-17
Dan Carpenter
smatch_comparison: store how two variables compare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-15
Dan
C
a
rpente
r
s
l
i
s
t: fix alignment in alloc_
s
name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-15
Dan Car
p
e
n
ter
valida
t
i
on: update a couple scripts
w
ith missing
b
reak
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-15
Dan
Carpenter
Makefile: fix bu
i
l
d
error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpen
t
e
r
equ
i
v: get
rid of the
-
>op member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpenter
equiv: update some c
o
mments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-14
Dan Carpenter
constrain
t
s: equiv: rena
m
e smatch_c
o
nstraint
s
.
c to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-14
D
an Carpenter
rang
e
s: rename
s
h
ow_rang
e
s
(
)
to show_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Carpenter
smatch
:
in
t
r
o
d
uce expr_to_str_complex()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Ca
r
penter
smatc
h
:
i
ntroduce expr_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
a
r
pe
n
t
e
r
sma
t
ch: rename g
e
t_
v
ariable_fro
m
_
e
xpr() to expr_to_str
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
ente
r
sma
t
ch:
rename get_vari
a
ble_from_e
x
pr_c
o
mplex() to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n
C
a
r
pen
t
er
ex
t
ra
:
shuffle smatch_extra
.
h around s
o
me more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n Carpenter
es
t
ate:
r
e
n
ame filter_range() to es
t
ate_filter_ra
n
ge()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
an Carpenter
e
s
ta
t
e: r
e
n
ame estat
e
_range
s
() to esta
t
e
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
a
r
penter
estate: rena
m
e is_who
l
e_ra
n
ge() to e
s
tate_is_whole()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
C
arpenter
est
a
te: rename
extra_undefined() to
a
lloc_estate
_
whole()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n
Carpenter
estate: r
e
name alloc_e
s
tate_range
_
list() to
alloc_e
s
tate_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
enter
est
a
te:
r
ename alloc_es
t
a
t
e()
t
o all
o
c_estate
_
sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n Carpenter
es
t
ate:
shuff
l
e
stuff around in the header fil
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpenter
rang
e
s: rename f
r
ee_ran
g
e
_list() to free_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Car
p
enter
ranges: rename get
_
impl
i
ed_range_l
i
s
t()
t
o get_implied_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpente
r
ranges: r
e
name push
_
r
a
ng
e
_list() an
d
f
r
iend
s
to push
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ran
g
es
:
rename range_lis
t
s_equi
v
()
to rl_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n Carpenter
ranges: rena
m
e poss
i
bly_true_r
a
nge_lists()
t
o pos
s
ibly_
t
rue_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ranges: shuffle smatc
h
_
e
xtra
.
h around some more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ranges
:
rena
m
e true_comparison_r
a
nge_lr() to
t
rue_comp
a
r
ison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ranges: rename p
a
rse
_
value_ra
n
ges_type() t
o
str_t
o
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
enter
ranges: rename alloc_range_list() and friends to alloc
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
an
C
a
r
p
e
nter
range
s
: s
h
uffle stuf
f
a
round in th
e
header fil
e
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
a
rpenter
ranges: r
e
name range
_
list_union() to rl_union()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
en
t
er
m
issing_break
:
fi
x
a
s
eg
f
ault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpe
n
ter
sizeof:
sizeof(ptr
*
n
r_ptrs)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n
C
a
rp
e
nt
e
r
sizeof: check for sizeof(si
z
eof())
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Carpent
e
r
sizeof: finis
h
renaming
p
r
o
ce
s
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
arpenter
size
o
f: mv check_s
i
zeof_poi
n
ter
.
c
check_sizeof
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
toke
n
_store
:
s
p
lit out first_token_from_
l
ine() into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
*new
*
check_missing_break
.
c: c
h
eck for fall through
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-10
Dan Carpen
t
er
type:
get_member_typ
e
_from_key() s
h
ould t
a
ke an expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-09
Dan Carpenter
param_limit:
don'
t
print
e
mpty st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpent
e
r
parse
:
add "__restrict__" keyw
o
rd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
D
a
n Ca
r
pen
t
er
rang
e
s
:
s
m
all
s
pe
e
d
up in
r
ange_
l
ist
s
_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Car
p
ent
e
r
db: m
a
ke
t
ype_schema a b
i
t sma
l
ler
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
D
a
n Carpenter
gen_paholes
.
s
h
:
D
on't do a
n
y
t
h
i
ng if
t
he necessa
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
D
an
C
arpenter
ex
t
ra: don't over wri
t
e
c
ross fu
n
ction values from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpe
n
te
r
db
:
extra: param_l
i
mi
t
/filter/set: redo value
t
racing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Ca
r
penter
extra: cr
e
at
e
a callback f
o
r
wh
e
n smatch_extra chang
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
e
xtra: create set_extra_nomod(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-07
Dan
C
arpente
r
d
b
: fixup p
r
inting return
i
n
f
o for diffic
u
lt to split
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-07
Dan
C
a
rp
e
nter
math: handle ORs better
i
n handl
e
_l
o
gic
a
l(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-19
Dan C
a
rpenter
extra:
c
al
l
set_extra
_
mod() from se
t
_extr_expr_m
o
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
Dan
Carp
e
nter
db:
h
andl
e
u
nch
a
ng
e
d r
e
turn_s
t
ates bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
Dan
C
a
rpenter
para
m
_l
i
mi
t
:
fi
x
r
ead
beyond end of array (se
g
fault)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carpenter
signe
d
: handle
i
t w
h
en
t
he type
i
s unkn
o
wn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpente
r
db
:
make some var
c
har decalar
a
tions smaller
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-16
D
a
n Carpenter
si
g
ned: remo
v
e
s
o
m
e
debug
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
D
a
n
Carpenter
d
b
: make the siz
e
l
i
m
i
t f
o
r th
e
databa
s
e
l
arger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan Car
p
enter
pa
r
am_limit: don'
t
print
unneeded in
f
ormation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
penter
db: remove return_implies table and
r
elated code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Ca
r
penter
smatch_param
_
li
m
it: ex
t
ra: store pa
r
ameter implicat
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next