From bb59c793462736f46c9123de5b27fc43cfac2826 Mon Sep 17 00:00:00 2001 From: Adriaan Jacobs Date: Sun, 13 Aug 2023 23:42:58 +0200 Subject: [PATCH] ExtAPI: add non-throwing C++ `new` functions --- svf/include/Util/ExtAPI.json | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/svf/include/Util/ExtAPI.json b/svf/include/Util/ExtAPI.json index 0702606eb..952f360dd 100644 --- a/svf/include/Util/ExtAPI.json +++ b/svf/include/Util/ExtAPI.json @@ -3435,6 +3435,16 @@ "dst": "Ret" } }, + "_ZnwmRKSt9nothrow_t": { + "return": "i8*", + "arguments": "(i64, const std::nothrow_t&)", + "type": "EFT_ALLOC", + "overwrite_app_function": 1, + "AddrStmt": { + "src": "Obj", + "dst": "Ret" + } + }, "_Znam": { "return": "i8*", "arguments": "(i64)", @@ -3445,6 +3455,16 @@ "dst": "Ret" } }, + "_ZnamRKSt9nothrow_t": { + "return": "i8*", + "arguments": "(i64, const std::nothrow_t&)", + "type": "EFT_ALLOC", + "overwrite_app_function": 1, + "AddrStmt": { + "src": "Obj", + "dst": "Ret" + } + }, "_Znaj": { "return": "i8*", "arguments": "(i32)",