Translate CXXPseudoDestructorExpr

Reviewed By: akotulski

Differential Revision: D3030168

fb-gh-sync-id: 0c63cc3
shipit-source-id: 0c63cc3

infer/src/clang/cFrontend_config.ml

@@ -172,3 +172,5 @@ let block = "block"
 let atomic_att = "<\"Atomic\">"
 
 let infer_skip_gcc_ast_stmt = "__infer_skip_gcc_ast_stmt"
+
+let infer_skip_fun = "__infer_skip_function"

infer/src/clang/cFrontend_config.mli

@@ -167,3 +167,5 @@ val block : string
 val atomic_att : string
 
 val infer_skip_gcc_ast_stmt : string
+
+val infer_skip_fun : string

infer/src/clang/cTrans.ml

@@ -2014,6 +2014,10 @@ struct
         "GCCAstStmt" stmt_info all_res_trans in
     { res_trans_to_parent with exps = res_trans_call.exps }
 
+  and cxxPseudoDestructorExpr_trans () =
+    let fun_name = Procname.from_string_c_fun CFrontend_config.infer_skip_fun in
+    { empty_res_trans with exps = [(Sil.Const (Sil.Cfun fun_name), Sil.Tvoid)] }
+
   (* Translates a clang instruction into SIL instructions. It takes a       *)
   (* a trans_state containing current info on the translation and it returns *)
   (* a result_state.*)
@@ -2279,6 +2283,9 @@ struct
     | GCCAsmStmt (stmt_info, stmts) ->
         gccAstStmt_trans trans_state stmt_info stmts
 
+    | CXXPseudoDestructorExpr _ ->
+        cxxPseudoDestructorExpr_trans ()
+
     | s -> (Printing.log_stats
               "\n!!!!WARNING: found statement %s. \nACTION REQUIRED: Translation need to be defined. Statement ignored.... \n"
               (Ast_utils.string_of_stmt s);

infer/tests/codetoanalyze/cpp/frontend/destructors/pseudo_destructor_expr.cpp

@@ -0,0 +1,26 @@
+/*
+ * Copyright (c) 2016 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ */
+
+typedef int T;
+int f(int* p) {
+  int x = *p;
+  p->T::~T();
+  return x;
+}
+
+template <typename T>
+int destroy(T* ptr) {
+  ptr->T::~T();
+  return 0;
+}
+
+void test() {
+  int* t = 0;
+  destroy<int*>(&t);
+}

infer/tests/codetoanalyze/cpp/frontend/destructors/pseudo_destructor_expr.cpp.dot

@@ -0,0 +1,51 @@
+digraph iCFG {
+13 [label="13:  DeclStmt \n   *&t:int *=0 [line 24]\n " shape="box"]
+	
+
+	 13 -> 12 ;
+12 [label="12:  Call _fun_destroy<int *> \n   n$0=_fun_destroy<int *>(&t:int **) [line 25]\n  REMOVE_TEMPS(n$0); [line 25]\n  NULLIFY(&t,false); [line 25]\n  APPLY_ABSTRACTION; [line 25]\n " shape="box"]
+	
+
+	 12 -> 11 ;
+11 [label="11: Exit test \n  " color=yellow style=filled]
+	
+
+10 [label="10: Start test\nFormals: \nLocals:  t:int * \n   DECLARE_LOCALS(&return,&t); [line 23]\n " color=yellow style=filled]
+	
+
+	 10 -> 13 ;
+9 [label="9:  Call _fun___infer_skip_function \n   _fun___infer_skip_function() [line 19]\n " shape="box"]
+	
+
+	 9 -> 8 ;
+8 [label="8:  Return Stmt \n   *&return:int =0 [line 20]\n  APPLY_ABSTRACTION; [line 20]\n " shape="box"]
+	
+
+	 8 -> 7 ;
+7 [label="7: Exit destroy<int *> \n  " color=yellow style=filled]
+	
+
+6 [label="6: Start destroy<int *>\nFormals:  ptr:int **\nLocals:  \n   DECLARE_LOCALS(&return); [line 18]\n  NULLIFY(&ptr,false); [line 18]\n " color=yellow style=filled]
+	
+
+	 6 -> 9 ;
+5 [label="5:  DeclStmt \n   n$1=*&p:int * [line 12]\n  n$2=*n$1:int  [line 12]\n  *&x:int =n$2 [line 12]\n  REMOVE_TEMPS(n$1,n$2); [line 12]\n  NULLIFY(&p,false); [line 12]\n " shape="box"]
+	
+
+	 5 -> 4 ;
+4 [label="4:  Call _fun___infer_skip_function \n   _fun___infer_skip_function() [line 13]\n " shape="box"]
+	
+
+	 4 -> 3 ;
+3 [label="3:  Return Stmt \n   n$0=*&x:int  [line 14]\n  *&return:int =n$0 [line 14]\n  REMOVE_TEMPS(n$0); [line 14]\n  NULLIFY(&x,false); [line 14]\n  APPLY_ABSTRACTION; [line 14]\n " shape="box"]
+	
+
+	 3 -> 2 ;
+2 [label="2: Exit f \n  " color=yellow style=filled]
+	
+
+1 [label="1: Start f\nFormals:  p:int *\nLocals:  x:int  \n   DECLARE_LOCALS(&return,&x); [line 11]\n  NULLIFY(&x,false); [line 11]\n " color=yellow style=filled]
+	
+
+	 1 -> 5 ;
+}

infer/tests/frontend/cpp/DestructorsTest.java

@@ -41,4 +41,9 @@ public class DestructorsTest {
     frontendTest("call_on_delete.cpp");
   }
 
+  @Test
+  public void testCallOnPseudoDestructorExprDotFilesMatch()
+      throws InterruptedException, IOException, InferException {
+    frontendTest("pseudo_destructor_expr.cpp");
+  }
 }