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