From d3f33d0b438c2a90468004574ba2031aada008cd Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 26 Apr 2019 12:02:49 -0700
Subject: [PATCH] [sledge] Improve error message when calling null as a
 function

Reviewed By: mbouaziz

Differential Revision: D15098811

fbshipit-source-id: f2e16ac40
---
 sledge/src/llair/frontend.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml
index d460ceff7..56187202c 100644
--- a/sledge/src/llair/frontend.ml
+++ b/sledge/src/llair/frontend.ml
@@ -853,6 +853,7 @@ let rec xlate_func_name x llv =
   | GlobalAlias -> xlate_func_name x (Llvm.operand llv 0)
   | GlobalIFunc -> todo "ifunc: %a" pp_llvalue llv ()
   | InlineAsm -> todo "inline asm: %a" pp_llvalue llv ()
+  | ConstantPointerNull -> todo "call null: %a" pp_llvalue llv ()
   | _ -> fail "unknown function: %a" pp_llvalue llv ()
 
 let ignored_callees = Hash_set.create (module String)