C++: fix PrimaryInstruction for call side effects

This commit is contained in:
Robert Marsh
2019-02-25 11:41:40 -08:00
parent bea75e2d1c
commit af490a9b3e

View File

@@ -218,6 +218,12 @@ abstract class TranslatedCall extends TranslatedExpr {
private predicate hasSideEffect() {
hasReadSideEffect() or hasWriteSideEffect()
}
override Instruction getPrimaryInstructionForSideEffect(InstructionTag tag) {
hasSideEffect() and
tag = CallSideEffectTag() and
result = getResult()
}
}
/**