Package soot.jimple.internal

Class JCheckedAddExpr

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

    • Constructor Detail

      • JCheckedAddExpr

        public JCheckedAddExpr​(Value op1,
                       Value op2)