[infer][clang] convert assert false to incorrect_assumption in CProcname

Reviewed By: dulmarod Differential Revision: D6882319 fbshipit-source-id: 82f98ce
7 years ago · 47b5104892
parent 82d033c970
commit 47b5104892
1 changed files with 2 additions and 1 deletions
--- 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