From 481774c11586b7c890786f371bf9a78d8c87f97d Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 2 Dec 2020 13:49:41 -0800
Subject: [PATCH] [sledge] Model operator new[](unsigned long)

Reviewed By: jvillard

Differential Revision: D25196731

fbshipit-source-id: e6f9f6f22
---
 sledge/cli/frontend.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sledge/cli/frontend.ml b/sledge/cli/frontend.ml
index f05b8a800..f42c5305c 100644
--- a/sledge/cli/frontend.ml
+++ b/sledge/cli/frontend.ml
@@ -982,7 +982,8 @@ let xlate_intrinsic_inst emit_inst x name_segs instr num_actuals loc =
       in
       let len = 1 in
       emit_inst ~prefix (Inst.alloc ~reg ~num ~len ~loc)
-  | ["_Znwm" (* operator new(size_t num) *)]
+  | ["_Znam" (* operator new[](unsigned long) *)]
+   |["_Znwm" (* operator new(size_t num) *)]
    |[ "_ZnwmSt11align_val_t"
       (* operator new(unsigned long, std::align_val_t) *) ]
     when num_actuals > 0 ->