================
@@ -2511,11 +2521,13 @@ static TemplateDeductionResult 
DeduceTemplateArgumentsByTypeMatch(
         if (!NTTP)
           return TemplateDeductionResult::Success;
 
-        llvm::APSInt ArgSize(S.Context.getTypeSize(S.Context.IntTy), false);
+        // Deduce the size parameter of _BitInt as std::size_t
+        QualType T = S.Context.getSizeType();
+        llvm::APSInt ArgSize(S.Context.getTypeSize(T), false);
----------------
erichkeane wrote:

yeah, we would want the unsigned size type, not signed, in order to match 
arrays/etc.

we MIGHT lose some diagnostics/see some tests changed (since I think we 
actually test for negative size somewhere?).

https://github.com/llvm/llvm-project/pull/195534
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to