[clang] b864592 - [clang][Interp] Fix ignoring TypeTraitExprs

[Timm Bäder via cfe-commits]

Author: Timm Bäder
Date: 2023-08-01T10:58:08+02:00
New Revision: b864592915aed568d81f8218cb5c424b0006c14b

URL: https://github.com/llvm/llvm-project/commit/b864592915aed568d81f8218cb5c424b0006c14b
DIFF: https://github.com/llvm/llvm-project/commit/b864592915aed568d81f8218cb5c424b0006c14b.diff

LOG: [clang][Interp] Fix ignoring TypeTraitExprs

Differential Revision: https://reviews.llvm.org/D149834

Added: 
    

Modified: 
    clang/lib/AST/Interp/ByteCodeExprGen.cpp
    clang/test/AST/Interp/literals.cpp

Removed: 
    


################################################################################
diff  --git a/clang/lib/AST/Interp/ByteCodeExprGen.cpp b/clang/lib/AST/Interp/ByteCodeExprGen.cpp
index 1508b0619a19ad..77fe0412d0dc5c 100644
--- a/clang/lib/AST/Interp/ByteCodeExprGen.cpp
+++ b/clang/lib/AST/Interp/ByteCodeExprGen.cpp
@@ -958,6 +958,8 @@ bool ByteCodeExprGen<Emitter>::VisitCompoundLiteralExpr(
 
 template <class Emitter>
 bool ByteCodeExprGen<Emitter>::VisitTypeTraitExpr(const TypeTraitExpr *E) {
+  if (DiscardResult)
+    return true;
   return this->emitConstBool(E->getValue(), E);
 }
 

diff  --git a/clang/test/AST/Interp/literals.cpp b/clang/test/AST/Interp/literals.cpp
index 9f31cd909e2938..7cb01a80c86859 100644
--- a/clang/test/AST/Interp/literals.cpp
+++ b/clang/test/AST/Interp/literals.cpp
@@ -895,6 +895,8 @@ namespace DiscardExprs {
     (void)5, (void)6;
 
     1 ? 0 : 1;
+    __is_trivial(int);
+
     return 0;
   }