Throw a std::bad_array_new_length exception when the expression (or constant-expression) passed to operator new[] results in overflow in conformance with [expr.new]p7. Fixes PR11644.

llvm-svn: 216675

1 files changed, 9 insertions, 0 deletions

diff --git a/clang/lib/CodeGen/CGCXXABI.cpp b/clang/lib/CodeGen/CGCXXABI.cpp
index 55ddd666c49..bdd887c4a02 100644
--- a/clang/lib/CodeGen/CGCXXABI.cpp
+++ b/clang/lib/CodeGen/CGCXXABI.cpp
@@ -325,3 +325,12 @@ LValue CGCXXABI::EmitThreadLocalVarDeclLValue(CodeGenFunction &CGF,
 bool CGCXXABI::NeedsVTTParameter(GlobalDecl GD) {
   return false;
 }
+
+llvm::Value *CGCXXABI::EmitNewArrayLengthOverflowCheck(
+    CodeGenFunction &CGF, bool ConstantOverflow, llvm::Value *DynamicOverflow,
+    llvm::Value *Size) {
+  llvm::Value *AllOnes = llvm::Constant::getAllOnesValue(CGF.SizeTy);
+  if (ConstantOverflow)
+    return AllOnes;
+  return CGF.Builder.CreateSelect(DynamicOverflow, AllOnes, Size);
+}