Searched refs:unsignedAnswer (Results 1 – 1 of 1) sorted by relevance
300 auto *unsignedAnswer = cast<UnsignedAnswer>(answer); in generatePredicate() local302 loc, val, unsignedAnswer->getValue(), trueDest, falseDest); in generatePredicate()306 auto *unsignedAnswer = cast<UnsignedAnswer>(answer); in generatePredicate() local308 loc, val, unsignedAnswer->getValue(), trueDest, falseDest); in generatePredicate()