|
From: Mark W. <ma...@so...> - 2020-01-15 17:15:51
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=6f9a8d619d2276c416d982cbd2cfb3cb84c50a43 commit 6f9a8d619d2276c416d982cbd2cfb3cb84c50a43 Author: Mark Wielaard <ma...@kl...> Date: Wed Jan 15 17:43:15 2020 +0100 priv/guest_generic_bb_to_IR.c stmt_is_guardable(): Add Ist_Dirty. This might happen when the source contains something like if (something_involving_pcmpxstrx && foo) { .. } which might use amd64g_dirtyhelper_PCMPxSTRx. Diff: --- VEX/priv/guest_generic_bb_to_IR.c | 1 + 1 file changed, 1 insertion(+) diff --git a/VEX/priv/guest_generic_bb_to_IR.c b/VEX/priv/guest_generic_bb_to_IR.c index 507c75e..6361725 100644 --- a/VEX/priv/guest_generic_bb_to_IR.c +++ b/VEX/priv/guest_generic_bb_to_IR.c @@ -462,6 +462,7 @@ static Bool stmt_is_guardable ( const IRStmt* st ) case Ist_Store: case Ist_StoreG: case Ist_Exit: + case Ist_Dirty: return False; // This is probably guardable, but it depends on the RHS of the // assignment. |