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
math: set the "undefined" flag on error in handle_mod()
2013-02-01
D
a
n Carpenter
ma
t
h: set the "
u
ndefined
"
flag on err
o
r in
h
and
l
e_m
o
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Da
n
Carpente
r
or_vs
_
and: handle con
d
itions inside
parenthesi
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Da
n
Carpenter
type:
i
nt
r
odu
c
e
is_
v
o
i
d_pointer() and is_c
h
ar_pointe
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-31
Dan Carpenter
ab
s
olute: de
l
ete smatch_absolute
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-31
D
a
n Ca
r
penter
*new* ch
e
ck_s
t
ring_len
.
c: look
f
or
sprintf
(
) overf
l
ows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
extra, modification
_
hooks,
d
b: move ge
t
_variabl
e
_f
r
o
m_
k
ey
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Car
p
e
nter
expre
s
sions: use m
o
re
accurate
p
ositions for
f
ak
e
dereferen
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
modification
_
h
ooks: use modification
info from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Car
p
en
t
er
ext
r
a,
e
quiv: m
a
ke call_extra_mod_ho
o
ks
(
)
g
l
oba
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
D
a
n
C
a
r
penter
modificat
i
on_ho
o
ks: split out call_modification_hooks_name
_
s
y
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
t
y
pe: handl
e
strings better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan C
a
rp
e
n
ter
equiv: call_extra_mod_hooks()
i
nside
set
_
equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
buf_size: don't
call get_expression_val
u
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan
Carpenter
smatc
h
: create a local_
d
ebug()
macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-24
Dan Carpenter
smatch
.
h, db:
add numbers to the
i
nfo_type enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-24
D
a
n Carpe
n
t
er
dere
f
: spelling
:
derefe
n
cing =>
dere
f
erencing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan
Ca
r
penter
ma
t
h: calculatin
g
the sizeof() used to mo
d
ify
the expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpenter
math: use smat
c
h
_
c
omparison
.
c
for handling subtra
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan
C
arpenter
extra, mo
d
ification_hooks
:
s
et "*p" to unknown if we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpenter
smatch_expressions: intro
d
uc
e
deref_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan C
a
r
penter
s
m
atch_ex
p
ression
s
: rename de
r
ef_expression() to member_expr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-22
D
a
n Carpenter
all: rename
e
xpr_to_str_comple
x
()
to
expr
_
to_
s
t
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-22
Da
n
Carpenter
sma
t
c
h
:
re
n
am
e
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
missi
n
g break: only pri
n
t one message
p
er
swit
c
h statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-18
D
an Carpenter
extra
:
ge
t
rid of data_type
e
num
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-18
D
a
n
Car
p
e
n
ter
deb
u
g: add __
s
ma
t
c
h
_compare()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
D
an
Carpent
e
r
math: i
m
prove
g
e
t_implied_rl() if only t
h
e
max is known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
D
a
n
Carpenter
sval: introduce sval_m
i
n/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
Da
n
Carpenter
smatch_comparis
o
n: store
how two vari
a
bles c
o
mpar
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Ca
r
penter
slist: fix alignment in alloc
_
sn
a
me()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Da
n
C
arp
e
nter
valida
t
i
o
n:
u
pdate a couple scripts with
m
is
s
ing break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpent
e
r
Makefile: fix build error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
D
an Carpen
t
er
equi
v
: ge
t
rid of the -
>
o
p membe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpen
t
er
e
q
uiv: up
d
ate
some
c
omments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-14
Dan Carpenter
con
s
traints: equiv:
r
e
name smatc
h
_constrai
n
ts
.
c
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-14
Dan Carpenter
ranges: rename show_ranges() t
o
show
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
rpen
t
er
smat
c
h: i
n
trodu
c
e
e
x
p
r_to_st
r
_complex(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
C
a
rpenter
smatch: in
t
roduce expr
_
t
o_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
s
ma
t
ch: rename get_
v
ariable_from_expr
(
) to
expr_
t
o_
s
tr
_
sy
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
smatch: rename
g
et_v
a
riable_from_expr_
c
omplex() to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
extra
:
s
h
uffle smat
c
h_
e
xtra
.
h
aro
u
n
d
some more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
rpenter
estate
:
r
e
na
m
e filter_r
a
nge()
to estate_
f
ilter_ra
n
g
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Carp
e
nter
estate: r
e
n
a
me e
s
tate_ranges() to
e
s
tate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpente
r
estate: rename is_whole_range()
to est
a
t
e_is
_
wh
o
le
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Car
p
enter
esta
t
e: rename ex
t
ra_undefined() t
o
alloc_es
t
ate_
w
h
ole()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
estate: rename alloc_estate_
r
ange_list() to alloc_estate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
esta
t
e
:
ren
a
me
a
lloc
_
estate() to allo
c
_es
t
ate_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpent
e
r
estat
e
:
shuffle stuff
a
roun
d
in the he
a
der
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Carp
e
n
ter
ranges: rename free_rang
e
_list() to f
r
ee_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
an Carpenter
ranges
:
rename get_implied_
r
ange_list() to get_implied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpente
r
ra
n
ges: rename push_r
a
nge
_
list()
a
nd friends to pus
h
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
arpenter
rang
e
s: rename ran
g
e_list
s
_e
q
uiv() to
rl_e
q
uiv
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Car
p
e
nter
ranges: rename poss
i
bl
y
_tru
e
_range
_
lists() to poss
i
b
ly_true_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
arp
e
nter
ranges:
sh
u
ffle smatch_extra
.
h ar
o
und some
m
ore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Ca
r
penter
ranges: rename tr
u
e_compari
s
on_range_lr() to true_comp
a
rison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
rpenter
ra
n
ges: rename
pa
r
se_v
a
lue_ranges_type() to
s
tr_
t
o
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
rpente
r
ranges: ren
a
me all
o
c_range_
l
ist() an
d
friends to alloc_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n Carpent
e
r
ranges: shuffle stuff ar
o
un
d
in t
h
e he
a
der f
i
le and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
r
a
n
ges: ren
a
me range
_
l
ist_union
(
) to rl_un
i
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpenter
missing_b
r
eak:
fix
a
s
egfau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Carpen
t
e
r
s
i
zeof: sizeof(ptr * nr_ptrs)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
rpenter
s
i
zeof: check
for
sizeof(sizeof())
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
an Carpen
t
er
s
izeof:
f
i
n
ish renaming
pr
o
c
e
s
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
an Carpenter
s
i
zeof:
m
v check_sizeo
f
_
p
o
inter
.
c check_
s
izeof
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpenter
token_store
:
split out first_to
k
en_f
r
o
m
_line() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpenter
*new* check_missing_
b
rea
k
.
c: check
f
o
r fall through
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-10
Da
n
Carpenter
type: get_member_t
y
pe_from_key() should take
an expression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-09
Dan Carpenter
param_limit:
d
o
n't pri
n
t emp
t
y stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carp
e
nter
parse:
a
dd "__restr
i
c
t
__" keyword
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpen
t
er
ran
g
es: small sp
e
ed up in range_lists_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
db:
m
ake type_schema a bit smaller
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
gen_p
a
h
ol
e
s
.
s
h
: Don't do anything if
the necessa
r
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
e
x
tr
a
: don't
o
v
e
r writ
e
cross
function
v
alues f
r
om
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Da
n
Carpenter
db: ext
r
a: param_limit/filter
/
se
t
: re
d
o value
tracin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Da
n
Carpenter
extra: create a callback for wh
e
n
smatch_extra changes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carp
e
nter
extra: cre
a
te s
e
t_ex
t
r
a
_
n
omod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
D
a
n Carpenter
db:
f
ixup printing return info for difficult to s
p
lit
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
D
an
C
arpenter
math: ha
n
dle ORs better in handle_logica
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-19
Dan
Carpenter
extra:
c
all set_e
x
tra_mo
d
()
from set
_
extr_exp
r
_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carpente
r
db: handle unchanged
return_states better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
D
a
n Car
p
enter
param_limit: fix r
e
ad beyond end of array (
s
egfault)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Da
n
Carpenter
s
i
gned: handle it when
t
h
e type is unknown
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
D
a
n Carp
e
nter
d
b:
m
ake
s
om
e
varc
h
ar de
c
alarations smaller
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Da
n
Carpenter
signed: r
e
move some debug
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan
C
arpenter
db: make the size limit
for
the database la
r
ger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpen
t
er
p
aram_limit: d
o
n't
p
r
int unneed
e
d
informati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an
C
arpenter
d
b:
remove return_implies table and related code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
s
match_param_limit: extra: store par
a
me
t
e
r implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpent
e
r
db: print retu
r
n_sta
t
e
s informat
i
on
in a more det
a
iled way
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
i
m
plied: introdu
c
e
o
ve
r
write_states_using_pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
states: fix
__se
t
_sm() when a fake_cur_s
l
ist is being
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an
C
a
r
p
enter
function_hook
s
: add some calls
t
o
_
_unn
u
lli
f
y_
p
ath()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Ca
r
pent
e
r
ranges
:
intro
d
u
c
e
r
l
_
inver
t
(
)
,
r
l_filter() a
n
d rl_int
e
rsection
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpe
n
ter
e
xtra: fix
a
bug in how poi
n
ters are set insid
e
called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
e
n
ter
esta
t
e
: i
n
t
r
oduce get_implied_
e
state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
C
arpenter
extra: estate: move merge_estate() fro
m
e
x
tra
to estate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
ext
r
a: parse asm and unops after everyone else
i
s
finished
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
a
rpenter
poin
t
er_m
a
th: check for (int *)p += sizeo
f
(
i
nt);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
tree
w
ide: fix s
o
me memory leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpent
e
r
Revert "co
n
stra
i
nts: fix
bug in remove_fro
m
_equiv()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next