Index: clang/lib/AST/Interp/ByteCodeExprGen.cpp =================================================================== --- clang/lib/AST/Interp/ByteCodeExprGen.cpp +++ clang/lib/AST/Interp/ByteCodeExprGen.cpp @@ -231,7 +231,15 @@ template bool ByteCodeExprGen::VisitParenExpr(const ParenExpr *PE) { - return this->visit(PE->getSubExpr()); + if (!this->visit(PE->getSubExpr())) + return false; + + if (DiscardResult) { + std::optional T = classify(PE->getSubExpr()).value_or(PT_Ptr); + return this->emitPop(*T, PE); + } + + return true; } template @@ -2058,6 +2066,9 @@ template bool ByteCodeExprGen::VisitDeclRefExpr(const DeclRefExpr *E) { + if (DiscardResult) + return true; + const auto *D = E->getDecl(); if (const auto *ECD = dyn_cast(D)) { Index: clang/test/AST/Interp/literals.cpp =================================================================== --- clang/test/AST/Interp/literals.cpp +++ clang/test/AST/Interp/literals.cpp @@ -780,4 +780,18 @@ return F{12}.a; } static_assert(ignoredDecls() == 12, ""); + +struct A{}; +constexpr int ignoredExprs() { + (void)(1 / 2); + A a; + a; // expected-warning {{unused}} \ + // ref-warning {{unused}} + (void)a; + (a); // expected-warning {{unused}} \ + // ref-warning {{unused}} + + return 0; +} + #endif