[clang] [Clang] Introduce OverflowBehaviorType for fine-grained overflow control (PR #148914)

Eli Friedman via cfe-commits cfe-commits at lists.llvm.org
Thu Aug 28 16:28:57 PDT 2025


================
@@ -12504,6 +12514,14 @@ void Sema::CheckImplicitConversion(Expr *E, QualType T, SourceLocation CC,
   IntRange TargetRange = IntRange::forTargetOfCanonicalType(Context, Target);
 
   if (LikelySourceRange->Width > TargetRange.Width) {
+    // Check if target is a wrapping OBT - if so, don't warn about constant
+    // conversion because wrapping behavior is defined for truncation
----------------
efriedma-quic wrote:

Is that actually what we want?  Nobody should intentionally write `constexpr short __wrap cx2 = 100000;`.

https://github.com/llvm/llvm-project/pull/148914


More information about the cfe-commits mailing list