| _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] |