Searched defs:AMap (Results 1 – 1 of 1) sorted by relevance
499 AllocatedDataTy AMap = State->get<AllocatedData>(); in evalAssume() local535 AllocatedDataTy AMap = State->get<AllocatedData>(); in checkDeadSymbols() local646 AllocatedDataTy AMap = State->get<AllocatedData>(); in printState() local