From 47b5104892c27d7b4b214238171f4d9df5d3ee74 Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Fri, 2 Feb 2018 08:00:28 -0800
Subject: [PATCH] [infer][clang] convert assert false to incorrect_assumption
 in CProcname

Reviewed By: dulmarod

Differential Revision: D6882319

fbshipit-source-id: 82f98ce
---
 infer/src/clang/CProcname.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/infer/src/clang/CProcname.ml b/infer/src/clang/CProcname.ml
index 40422def9..521f6f0ae 100644
--- a/infer/src/clang/CProcname.ml
+++ b/infer/src/clang/CProcname.ml
@@ -167,7 +167,8 @@ let get_class_typename ?tenv method_decl_info =
   | Some class_decl ->
       CType_decl.get_record_typename ?tenv class_decl
   | None ->
-      assert false
+      CFrontend_config.incorrect_assumption __POS__ method_decl_info.Clang_ast_t.di_source_range
+        "Expecting class declaration when getting the class typename"
 
 
 module NoAstDecl = struct