Package soot.jimple.internal

Class JCheckedSubExpr

  • All Implemented Interfaces:
    Serializable, EquivTo, BinopExpr, ConvertToBaf, Expr, ICheckedExpr, SubExpr, Switchable, Value
    public class JCheckedSubExpr
extends JSubExpr
implements ICheckedExpr
    This subtract expression checks for an overflow and throws an exception in case the subtraction cannot be performed without an overflow. In .NET CIL code, this corresponds to a Sub_Ovf instruction. {@link https://learn.microsoft.com/de-de/dotnet/api/system.reflection.emit.opcodes.sub_ovf} Note that since this class inherits from JSubExpr, most analysis (e.g. data flow) can treat this like a normal subtract expression without further changes.
    See Also:
    Serialized Form

    • Constructor Detail

      • JCheckedSubExpr

        public JCheckedSubExpr​(Value op1,
                       Value op2)