From 30d26118f96fa542ee078834bc3cb4eef6730451 Mon Sep 17 00:00:00 2001 From: Iain Buclaw Date: Tue, 31 Mar 2020 00:24:13 +0200 Subject: [PATCH] d: Always set ASM_VOLATILE_P on asm statements (PR94425) gcc/d/ChangeLog: PR d/94425 * toir.cc (IRVisitor::visit (GccAsmStatement *)): Set ASM_VOLATILE_P on all asm statements. --- gcc/d/ChangeLog | 6 ++++++ gcc/d/toir.cc | 5 +++-- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index d27f83e77d4..73fd1844954 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,9 @@ +2020-04-07 Iain Buclaw + + PR d/94425 + * toir.cc (IRVisitor::visit (GccAsmStatement *)): Set ASM_VOLATILE_P + on all asm statements. + 2020-04-01 Iain Buclaw PR d/90136 diff --git a/gcc/d/toir.cc b/gcc/d/toir.cc index 21e31dc93d4..6aaf10bf4e4 100644 --- a/gcc/d/toir.cc +++ b/gcc/d/toir.cc @@ -1427,8 +1427,9 @@ public: if (s->args == NULL && s->clobbers == NULL) ASM_INPUT_P (exp) = 1; - /* Asm statements are treated as volatile unless 'pure'. */ - ASM_VOLATILE_P (exp) = !(s->stc & STCpure); + /* All asm statements are assumed to have a side effect. As a future + optimization, this could be unset when building in release mode. */ + ASM_VOLATILE_P (exp) = 1; add_stmt (exp); } -- 2.30.2