Package com.ibm.wala.ssa

Interface SSAOptions.DefaultValues

Enclosing class:
SSAOptions
public static interface SSAOptions.DefaultValues
While SSA form makes the not-unreasonable assumption that values must be defined before they are used, many languages permit using undefined variables and simply give them some default value. Rather than requiring an IR used in SSA conversion to add bogus assignments of the default that will get copy propagated away, this interface is a way to specify what the default values are: this object will be invoked whenever SSA conversion needs to read a value with an no definition.

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    getDefaultValue(SymbolTable symtab, int valueNumber)
     

  • Method Details

    • getDefaultValue

      int getDefaultValue(SymbolTable symtab, int valueNumber)