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
ranges: don't allow inverted ranges
2013-02-06
Dan Carpenter
ra
n
ges:
d
on't allow
i
n
verted ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carp
e
nter
db: don't get print i
n
fo if
t
h
e
function has over 10000
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-05
Dan
Carp
e
nter
math: don't r
e
tu
r
n high val
u
es in g
e
t
_
fuzzy_max
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
D
an C
a
rpenter
overf
l
o
w: fix false positive alloc
a
t
i
n
g a vo
i
d
poin
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Da
n
C
a
rpenter
b
u
f_size:
f
ix bug caused
b
y get_imp
l
ie
d
_
max() returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
db: print le
s
s --info for a
few problematic functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Car
p
e
n
ter
math: get_implied_
m
a
x
() sh
o
uld
b
e able to
r
eturn s32max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
D
a
n Carp
e
nt
e
r
sval: only prin
t
"s32max" if the
val
u
e is actuall
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan C
a
rpenter
math
:
g
e
t
_impl
i
ed_min() s
h
ould be ab
l
e t
o
return
s
32m
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan C
a
rpent
e
r
math: tw
e
ak get_fuzzy_math
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan C
a
r
pen
t
er
extra, db: handle passing chars
t
o parameters which
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan C
a
r
p
enter
m
a
t
h
:
use NOTIMPLI
E
D inste
a
d of
HARD_MIN
in opposite_impl
i
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpe
n
te
r
math: set the "un
d
efined" flag on
er
r
o
r
in
handle_
m
od()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpenter
o
r_vs_and:
hand
l
e conditions
inside paren
t
h
es
i
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Da
n
Carpenter
type: introduce i
s
_void_po
i
nter() and is_cha
r
_pointer()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-31
Dan Carpe
n
ter
absolute: dele
t
e smatc
h
_
a
bsol
u
te
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-31
D
a
n Ca
r
pe
n
ter
*new* check_string_
l
e
n
.
c: look f
o
r sp
r
intf() overfl
o
ws
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
extr
a
, modification_
h
o
oks,
d
b: move get_
v
ari
a
ble_from_key
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan
C
arpent
e
r
expressions: use more a
c
curate position
s
for fake de
r
e
f
e
r
enc
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
D
a
n Carpente
r
modifi
c
atio
n
_ho
o
ks:
u
se modificati
o
n info fr
o
m
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpe
n
t
er
extra, equiv: ma
k
e call_extra_m
o
d_hooks() global
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan
Carp
e
nter
modificatio
n
_
hooks
:
s
plit ou
t
c
a
ll_mo
d
ifi
c
a
tion
_
hooks_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
type:
h
andle
s
trings
b
et
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
equiv: call_extra
_
mod_hooks() insi
d
e
se
t
_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
bu
f
_
s
ize
:
do
n
't call g
e
t
_
expr
e
ssio
n
_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carp
e
nter
smatch:
c
reate a
l
ocal_
d
e
b
ug() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-24
D
a
n Carpenter
smatch
.
h, db:
add numbers to the inf
o
_type e
n
um
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-24
Dan Ca
r
penter
deref:
spell
i
ng
:
de
r
efen
c
i
n
g => derefe
r
en
c
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan C
a
rpe
n
ter
m
a
th: calculating the sizeo
f
(
)
us
e
d t
o
modify the
e
x
p
ression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpenter
math: use smatch_comparison
.
c f
o
r handling subtract
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan
C
ar
p
enter
e
x
tra, mo
d
i
fi
c
ation_h
o
oks:
s
e
t
"*p" to unknown if we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpenter
sma
t
ch_expressi
o
ns
:
introduce deref_expr
e
ssio
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpe
n
ter
smatch_exp
r
essio
n
s:
r
e
name dere
f
_
e
x
p
ression() to member
_
exp
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-22
Dan Carpenter
a
l
l
:
rena
m
e ex
p
r_
t
o_str
_
complex() to
ex
p
r_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-22
Dan
C
arpe
n
ter
s
match: rename
e
xpr_to_str() to expr_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-22
Dan Carpenter
missing br
e
ak: only p
r
int one mess
a
ge per
swit
c
h statem
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-18
Da
n
Carpenter
e
x
tra: ge
t
rid
of data_type enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-18
Dan Carp
e
nter
debug
:
add __sm
a
tch_compare(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
Da
n
Carpent
e
r
math:
i
mpro
v
e get_implied_rl() if only the max
is kno
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
Dan
C
arp
e
nter
sval: introduce sval_min/
m
ax()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
Dan
C
arpenter
smatch_comparison: st
o
re how tw
o
variables
c
ompare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpenter
slist: fix al
i
gnment in alloc_sna
m
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpenter
validation: update a
c
o
u
ple scripts w
i
th
m
iss
i
ng
b
re
a
k
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Car
p
en
t
er
Makefile
:
fi
x
build
e
rror
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
D
an Car
p
enter
e
quiv: g
e
t rid of
t
h
e
->op member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Da
n
Carpent
e
r
equiv: upd
a
t
e
som
e
comm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-14
D
an Ca
r
penter
constraints:
equiv: r
e
na
m
e
s
m
atch_constraints
.
c to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-14
Dan C
a
rpen
t
er
ranges: rename show_ranges() to show_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
smatch
:
i
n
troduce
e
x
pr_t
o
_str_complex()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n
C
arpente
r
smat
c
h: intro
d
uce expr_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
smatch:
rename get_varia
b
le
_
from_expr() to expr
_
to_str_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpen
t
er
smatch: rename
g
et_variable_from_expr_complex()
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
C
a
r
penter
ex
t
ra: shu
f
fle smatc
h
_ext
r
a
.
h around
s
ome more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
a
rpenter
estate:
rename
filter_rang
e
(
) t
o
esta
t
e
_fi
l
ter_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
estate
:
re
n
ame
e
state_ranges() to estate
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
estate: rename is_whole_range()
to esta
t
e_is_w
h
ole()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
estate: r
e
name extra_undefined()
to allo
c
_
e
state_whole()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
e
s
tate: rename all
o
c_
e
state_ran
g
e_list() to alloc_estate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n Carpenter
estate:
r
ename alloc_estate() to allo
c
_estate
_
sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
estate: s
h
u
ffle stuff around in the he
a
der file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpen
t
er
ra
n
ges: rename fr
e
e_range_list() to free_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
r
a
nges: r
e
name get_implied_ra
n
ge_
l
ist() to get_implied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpe
n
t
e
r
r
an
g
e
s
: rename pu
s
h_range_list() and friends
to
p
ush_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpe
n
ter
ran
g
es: r
e
name range_lists_equiv() to rl_eq
u
iv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
r
penter
ran
g
es: rename possi
b
ly_true_ran
g
e
_
lis
t
s()
to p
o
s
s
ibly_true
_
rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpent
e
r
ranges: shuffle smatch_ext
r
a
.
h arou
n
d some more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Car
p
e
nter
ranges:
r
e
nam
e
true_comparison_range_lr() to true_c
o
mparis
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Car
p
enter
ranges: rename p
a
r
se_value_ranges
_
ty
p
e
(
) t
o
s
tr_to_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ranges:
re
n
a
m
e alloc_r
a
n
g
e
_list() and friends to alloc_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpenter
ranges: shuf
f
le stuff a
r
ou
n
d in th
e
h
ead
e
r
f
ile
a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
r
penter
ra
n
g
e
s
:
ren
a
me rang
e
_
list_union() t
o
rl_union()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
missing_break: fix
a
se
g
f
ault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpent
e
r
s
izeof: sizeof(ptr
* nr_ptrs)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
sizeof:
c
heck
f
or sizeo
f
(si
z
eof
(
))
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
an Carpen
t
er
sizeof: fin
i
sh renaming proces
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
rpent
e
r
sizeof: m
v
check
_
s
i
z
e
of_pointer
.
c c
h
eck_s
i
z
e
o
f
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpent
e
r
t
o
k
en
_
stor
e
: split ou
t
fir
s
t_token_from_line()
i
n
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
rpenter
*
new* check_missing_break
.
c: check for fall through
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-10
Dan Carpe
n
t
e
r
type: get_membe
r
_type_fr
o
m_key() should take an expres
s
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-09
Dan Carpe
n
t
er
param_limit
:
don
'
t print empt
y
st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Car
p
enter
par
s
e: add
"__restrict
_
_" k
e
yword
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
D
an Carp
e
nte
r
r
a
n
ge
s
:
s
ma
l
l spe
e
d u
p
in range_lists_
e
quiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
D
a
n
Carpenter
db: make type_schema a bit sma
l
ler
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan C
a
r
p
enter
ge
n
_p
a
ho
l
es
.
sh:
Don't do anything if the nec
e
ss
a
ry
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Da
n
Car
p
enter
ex
t
r
a: don't o
v
e
r wr
i
te cross funct
i
on value
s
from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
D
an Carpe
n
ter
db: extra:
par
a
m_limit/fil
t
er/se
t
: redo v
a
lue tracing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan C
a
rpenter
extra:
c
r
eate
a callback for when smatch_extr
a
chan
g
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan
C
a
rpe
n
ter
extra:
create se
t
_extra_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
Dan Carpenter
db: fixup
pri
n
t
ing return inf
o
for d
i
f
ficult to split
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
Dan Carpen
t
er
m
a
th: handle
ORs bett
e
r in
h
an
d
le_logic
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-19
Dan Ca
r
penter
extra: call se
t
_e
x
tra_
m
od() from
s
et_
e
xt
r
_
e
x
p
r_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Da
n
Carpenter
db: handle u
n
changed return
_
state
s
bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Da
n
Carpenter
param_limi
t
:
fix read beyond
end of arr
a
y (seg
f
ault)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Car
p
enter
sign
e
d: handle it when t
h
e type
is
u
nknown
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpenter
db:
make
some v
a
rchar decalarat
i
ons small
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpe
n
ter
signed: rem
o
ve some
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpen
t
er
db: ma
k
e the
size limi
t
for
the
database
l
arger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan C
a
rpenter
pa
r
am_li
m
it: don't print
u
n
neede
d
information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpen
t
er
db
:
remove r
e
turn_implies table
and rel
a
ted code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
smatch_param_limit: extr
a
: store paramet
e
r implicatio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next