_alloc | UnificationBasedPtr | [protected] |
_analyzed_proc | UnificationBasedPtr | [protected] |
_assignments | UnificationBasedPtr | [protected] |
_dismantler_tmp | UnificationBasedPtr | [protected] |
_ecr | UnificationBasedPtr | [protected] |
_field2sue | UnificationBasedPtr | [protected] |
_fieldpos | UnificationBasedPtr | [protected] |
_proctype | UnificationBasedPtr | [protected] |
_ptr_call | UnificationBasedPtr | [protected] |
_string_alpha | UnificationBasedPtr | [protected] |
_synthetic_proc | UnificationBasedPtr | [protected] |
_unique_field_defn | UnificationBasedPtr | [protected] |
_unique_sue | UnificationBasedPtr | [protected] |
_uses | UnificationBasedPtr | [protected] |
_visited_sue | UnificationBasedPtr | [protected] |
alpha(operandNode *, Unify_Size) | UnificationBasedPtr | [protected] |
analyze_all(Linker &) | UnificationBasedPtr | [static] |
annotation_call_arg(procNode *, int arg, typeNode *, Unify_ECR *) | UnificationBasedPtr | [inline, protected, virtual] |
annotation_call_arg(procNode *, int arg, typeNode *, Alpha *) | UnificationBasedPtr | [inline, protected, virtual] |
annotation_init_global(declNode *global) | UnificationBasedPtr | [inline, protected, virtual] |
annotation_ret_val(procNode *, Unify_ECR *taoR, unitNode *unit) | UnificationBasedPtr | [inline, protected, virtual] |
annotation_returns_object(procNode *proc) const | UnificationBasedPtr | [inline, protected, virtual] |
at_allocation(threeAddrNode *, Unify_Size) | UnificationBasedPtr | [protected] |
at_array(arrayNode *the_array, Order ord) | Walker | [inline, virtual] |
at_attrib(attribNode *the_attrib, Order ord) | Walker | [inline, virtual] |
at_basicblock(basicblockNode *the_basicblock, Order ord) | Walker | [inline, virtual] |
at_binary(binaryNode *the_binary, Order ord) | Walker | [inline, virtual] |
at_block(blockNode *the_block, Order ord) | Walker | [inline, virtual] |
at_break(breakNode *the_break, Order ord) | Walker | [inline, virtual] |
at_call(threeAddrNode *, Unify_Size) | UnificationBasedPtr | [protected] |
Walker::at_call(callNode *the_call, Order ord) | Walker | [inline, virtual] |
at_case(caseNode *the_case, Order ord) | Walker | [inline, virtual] |
at_cast(castNode *the_cast, Order ord) | Walker | [inline, virtual] |
at_comma(commaNode *the_comma, Order ord) | Walker | [inline, virtual] |
at_conditiongoto(conditiongotoNode *the_condgoto, Order ord) | Walker | [inline, virtual] |
at_const(constNode *the_const, Order ord) | Walker | [inline, virtual] |
at_continue(continueNode *the_continue, Order ord) | Walker | [inline, virtual] |
at_decl(declNode *, Order) | UnificationBasedPtr | [protected, virtual] |
at_def(defNode *the_def, Order ord) | Walker | [inline, virtual] |
at_do(doNode *the_do, Order ord) | Walker | [inline, virtual] |
at_enum(enumNode *the_enum, Order ord) | Walker | [inline, virtual] |
at_expr(exprNode *the_expr, Order ord) | Walker | [inline, virtual] |
at_exprstmt(exprstmtNode *the_exprstmt, Order ord) | Walker | [inline, virtual] |
at_for(forNode *the_for, Order ord) | Walker | [inline, virtual] |
at_func(funcNode *the_func, Order ord) | Walker | [inline, virtual] |
at_goto(gotoNode *the_goto, Order ord) | Walker | [inline, virtual] |
at_id(idNode *the_id, Order ord) | Walker | [inline, virtual] |
at_if(ifNode *the_if, Order ord) | Walker | [inline, virtual] |
at_index(indexNode *the_index, Order ord) | Walker | [inline, virtual] |
at_initializer(initializerNode *init, typeNode *init_type, Unify_ECR *init_ecr) | UnificationBasedPtr | [protected] |
Walker::at_initializer(initializerNode *the_initializer, Order ord) | Walker | [inline, virtual] |
at_jump(jumpNode *the_jump, Order ord) | Walker | [inline, virtual] |
at_label(labelNode *the_label, Order ord) | Walker | [inline, virtual] |
at_loop(loopNode *the_loop, Order ord) | Walker | [inline, virtual] |
at_node(Node *the_node, Order ord) | Walker | [inline, virtual] |
at_operand(operandNode *the_oper, Order ord) | Walker | [inline, virtual] |
at_prim(primNode *the_prim, Order ord) | Walker | [inline, virtual] |
at_proc(procNode *, Order) | UnificationBasedPtr | [protected, virtual] |
at_ptr(ptrNode *the_ptr, Order ord) | Walker | [inline, virtual] |
at_return(returnNode *the_return, Order ord) | Walker | [inline, virtual] |
at_selection(selectionNode *the_selection, Order ord) | Walker | [inline, virtual] |
at_stmt(stmtNode *the_stmt, Order ord) | Walker | [inline, virtual] |
at_struct(structNode *the_struct, Order ord) | Walker | [inline, virtual] |
at_subdecl(subdeclNode *the_subdecl, Order ord) | Walker | [inline, virtual] |
at_sue(sueNode *the_sue, Order ord) | Walker | [inline, virtual] |
at_suespec(suespecNode *, Order) | UnificationBasedPtr | [protected, virtual] |
at_switch(switchNode *the_switch, Order ord) | Walker | [inline, virtual] |
at_target(targetNode *the_target, Order ord) | Walker | [inline, virtual] |
at_tdef(tdefNode *the_tdef, Order ord) | Walker | [inline, virtual] |
at_ternary(ternaryNode *the_ternary, Order ord) | Walker | [inline, virtual] |
at_text(textNode *the_text, Order ord) | Walker | [inline, virtual] |
at_threeAddr(threeAddrNode *, Order) | UnificationBasedPtr | [protected, virtual] |
at_type(typeNode *the_type, Order ord) | Walker | [inline, virtual] |
at_unary(unaryNode *the_unary, Order ord) | Walker | [inline, virtual] |
at_union(unionNode *the_union, Order ord) | Walker | [inline, virtual] |
at_unit(unitNode *u, Order) | UnificationBasedPtr | [inline, protected, virtual] |
at_while(whileNode *the_while, Order ord) | Walker | [inline, virtual] |
Both enum value | Walker | |
cjoin(Unify_Size &s, Unify_ECR *e1, Unify_ECR *e2) | UnificationBasedPtr | [protected] |
collapse(Unify_ECR *e) | UnificationBasedPtr | [protected] |
compatible_type(typeNode *, typeNode *) | UnificationBasedPtr | [static] |
create_synthetic_proc(declNode *) | UnificationBasedPtr | [protected] |
createProcBlock(procNode *, memoryModel &, procLocation *) | UnificationBasedPtr | |
cur_proc | UnificationBasedPtr | [protected] |
cur_unit | UnificationBasedPtr | [protected] |
Depth enum name | Walker | |
depth() const | Walker | [inline] |
ecr(declNode *decl) const | UnificationBasedPtr | [inline] |
ecr(threeAddrNode *alloc_site) const | UnificationBasedPtr | [inline] |
ecr(operandNode *, Unify_Size, Unify_Offset **offset=NULL) | UnificationBasedPtr | [protected] |
ecr1(declNode *decl) | UnificationBasedPtr | [protected] |
ecrDeref(UnifyType *container) | UnificationBasedPtr | |
ecrField(UnifyType *container, declNode *field, bool field_from_annotation) | UnificationBasedPtr | |
ensure_no_bottom(Unify_ECR *tao, declNode *decl, UnifyType *parent) | UnificationBasedPtr | |
ensure_sim_obj(Unify_ECR *tao, Unify_Size &s) | UnificationBasedPtr | [protected] |
ensure_struct_obj(Unify_ECR *tao, suespecNode *sue, bool redo_pending=false) | UnificationBasedPtr | [protected] |
expand(Unify_ECR *e) | UnificationBasedPtr | [protected] |
field2sue(declNode *d) | UnificationBasedPtr | [inline, protected] |
finalize() | UnificationBasedPtr | [protected] |
finalizing | UnificationBasedPtr | [protected] |
inside_call_func | UnificationBasedPtr | [protected] |
is_va_list(declNode *decl) | UnificationBasedPtr | [protected, static] |
isField(declNode *f, bool &from_annotation) const | UnificationBasedPtr | [inline, virtual] |
join(Alpha *a1, Alpha *a2, bool *recursion_detected=NULL) | UnificationBasedPtr | [protected] |
join(Unify_ECR *e1, Unify_ECR *e2, bool *recursion_detected=NULL) | UnificationBasedPtr | [protected] |
join(Lambda *l1, Lambda *l2) | UnificationBasedPtr | [protected] |
linker | UnificationBasedPtr | [protected] |
make_compatible(declSet n, Unify_Structure *s, Unify_ECR *container, bool force=false) | UnificationBasedPtr | [protected] |
make_unknown(Unify_Offset *o) | UnificationBasedPtr | [protected] |
mark_alloc(stmtNode *stmt, declNode *source_decl, declNode *target_decl) | UnificationBasedPtr | [inline, virtual] |
merge_EltMap(UnifyType *t1, UnifyType *t2, Unify_Structure *) | UnificationBasedPtr | [protected] |
mergeOperand(operandNode *lhs, operandNode *rhs, Unify_Size) | UnificationBasedPtr | [protected] |
more_pending | UnificationBasedPtr | [protected] |
new_pending | UnificationBasedPtr | [protected] |
NodeOnly enum value | Walker | |
Order enum name | Walker | |
order() const | Walker | [inline] |
Postorder enum value | Walker | |
Preorder enum value | Walker | |
print_ecr() | UnificationBasedPtr | |
proctype(procNode *p) | UnificationBasedPtr | [inline] |
promote(Unify_ECR *e, Unify_Size &s) | UnificationBasedPtr | [protected] |
reachable(UnifyType *src, UnifyTypes &targets, UnifyTypes &visited) | UnificationBasedPtr | [static] |
serve_again | UnificationBasedPtr | [protected] |
settype(Unify_ECR *e, UnifyType *t) | UnificationBasedPtr | [protected] |
settype(Lambda *l, int n, int m, Unify_ECR **t, Unify_ECR *r, bool ellipse) | UnificationBasedPtr | [protected] |
string_alpha(constNode *con) | UnificationBasedPtr | [inline] |
Subtree enum value | Walker | |
synthetic_proc(declNode *d) | UnificationBasedPtr | [inline] |
UnificationBasedPtr(Linker &l) | UnificationBasedPtr | [inline, protected] |
unify(UnifyType *t1, UnifyType *t2) | UnificationBasedPtr | [protected] |
unify_points_to_max | UnificationBasedPtr | [static] |
unique_ecr() const | UnificationBasedPtr | |
unique_field_defn(declNode *d) | UnificationBasedPtr | [inline, protected] |
unless_zero(Unify_Offset *o, Unify_ECR *tao) | UnificationBasedPtr | [protected] |
Walker(Order the_order, Depth depth) | Walker | [inline] |