Re: complex expression in IfStmts

["'Ondrej Lhotak'" <olhotak@sable.mcgill.ca>]

On Fri, Feb 13, 2004 at 04:04:20PM -0500, anshuman wrote:
> 
> I had quick question in Soot: is it possible to have complex expressions in
> IfStmt, such as
> 
> If $i1 != 0 && $i0 != 0 

In Jimple, this is explicitly disallowed to make analysis simpler. You
need to use multiple if, or and together the two expressions first,
storing the result in a temporary variable.

In Grimp, complex expressions like these are generally allowed, though
I'm not absolutely sure that they are allowed in if statements.

Ondrej

> 
> I tried adding such a statement and I got an exception, so I just wanted to
> double-check if this is possible or not.
> 
> Thanks,
> Anshuman
>