ArrayAnnotation::is_access_array_elem

Synopsis

Declared in <src/midend/programAnalysis/valuePropagation/ArrayAnnot.h>

bool
is_access_array_elem(
    CPPAstInterface& fa,
    SymbolicVal const& orig,
    AstNodePtr* array = 0,
    SymbolicFunction::Arguments* args = 0);

Created with MrDocs