[Soot-list] Re: [abc] Basic Jimple question...

[Patrick LAM]

On Sat, 27 Nov 2004, Ondrej Lhotak wrote:

> > Object makeBafInst(Type opType)
> >  { throw new RuntimeException("unsupported conversion: "+this); }
> >    //    Object makeBafInst(Type opType)
> >    // { return Baf.v().newGtInst(this.getOp1().getType()); }
> >
> > I assume this means that GtExpr should not in fact be used... Am now a
> > bit wary of such surprises, so if anyone knows why that is and if
> > there is a general principle for what should / shouldn't be used...

Ondrej's response is correct.  I guess that Patrice Pominville originally
tried to write GtExpr that way, but then got stymied by the fact that
there is no GtInst in Jimple.

There are two possible solutions.

1) don't use GtExpr
2) submit a patch which generates the correct Baf code for a GtExpr.  It
would be pretty simple, just have a branch and leave the correct value on
the stavck.

pat