CR: another test

Author: cwarner-8702

clang/unittests/AST/ASTExprTest.cpp

@@ -109,6 +109,24 @@ TEST(ASTExpr, InitListIsConstantInitialized) {
   EXPECT_FALSE(FooInit->isConstantInitializer(Ctx, false));
 }
 
+TEST(ASTExpr, NoUnsignedOverflowICE) {
+  auto AST = buildASTFromCode(R"cpp(
+    unsigned u = 1u * 8u;
+  )cpp");
+  ASTContext &Ctx = AST->getASTContext();
+  const VarDecl *Var = getVariableNode(AST.get(), "u");
+
+  const auto ICE = Var->getInit()->getIntegerConstantExpr(Ctx);
+  EXPECT_TRUE(ICE.has_value());
+  EXPECT_TRUE(ICE->isUnsigned());
+  EXPECT_EQ(8u, *ICE);
+
+  const auto ICEOverflowCheck = Var->getInit()->getIntegerConstantExpr(Ctx, nullptr, true);
+  EXPECT_TRUE(ICEOverflowCheck.has_value());
+  EXPECT_TRUE(ICEOverflowCheck->isUnsigned());
+  EXPECT_EQ(8u, *ICEOverflowCheck);
+}
+
 TEST(ASTExpr, CheckForUnsignedOverflowICE) {
   auto AST = buildASTFromCode(R"cpp(
     unsigned u = 1'000'000'000u * 8u;