1
Vote

Inlining function with "return" statement causes QED runtime exception

description

TSO modelling code attached includes return statements in its read and readTID functions.

While inlining read and readTID functions which include return statement , QED runtime throws index out of range exception in call to CodeTransformation.ComputeStraightAtomicStmts.

file attachments

comments