pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add @generated comment to icfg.dot files

Browse Source 
Reviewed By: jvillard

Differential Revision: D3358243

fbshipit-source-id: a47cc01
master
Andrzej Kotulski 9 years ago committed by Facebook Github Bot 0
parent 6bb3b30c36
commit 617ffab0ac
173 changed files with 174 additions and 1 deletions
Show Stats Download Patch File Download Diff File

3
infer/src/backend/dotty.ml
Unescape View File

@ -1024,7 +1024,8 @@ let print_icfg_dotty cfg (extra_edges : (Cfg.Node.t * Cfg.Node.t) list) =
(DB.filename_to_string
(DB.Results_dir.path_to_filename DB.Results_dir.Abs_source_dir [Config.dotty_output])) in
let fmt = Format.formatter_of_out_channel chan in
F.fprintf fmt "digraph iCFG {\n";
(* avoid phabricator thinking this file was generated by substituting substring with %s *)
F.fprintf fmt "/* @@%s */@\ndigraph iCFG {@\n" "generated";
print_icfg fmt cfg;
print_edges fmt extra_edges;
F.fprintf fmt "}\n";

1
infer/tests/codetoanalyze/c/frontend/arithmetic/compound_assignment.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
15 [label="15: DeclStmt \n *&x:double =1.000000 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/arithmetic/int_const.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
6 [label="6: DeclStmt \n *&#GB$main_kDuration:int =3 [line 17]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/arithmetic/plus_expr.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
5 [label="5: DeclStmt \n *&x:int =2 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/arithmetic/unary.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
15 [label="15: DeclStmt \n *&x:int =1 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/booleans/bool_example.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
3 [label="3: Return Stmt \n n$0=*&e:_Bool [line 12]\n *&return:_Bool =n$0 [line 12]\n REMOVE_TEMPS(n$0); [line 12]\n NULLIFY(&e); [line 12]\n APPLY_ABSTRACTION; [line 12]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/booleans/condition_as_param.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
6 [label="6: DeclStmt \n *&x:int =3 [line 13]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/c_prototype/prototype.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
7 [label="7: BinaryOperatorStmt: Assign \n n$0=_fun_sum(2:int ,3:int ) [line 20]\n *&total:int =n$0 [line 20]\n REMOVE_TEMPS(n$0); [line 20]\n NULLIFY(&total); [line 20]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/comma/comma.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
19 [label="19: DeclStmt \n *&a:int =9 [line 23]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/conditional_operator/array_access.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
19 [label="19: Prune (false branch) \n n$14=*&p:int ** [line 11]\n n$15=*n$14[0]:int * [line 11]\n PRUNE((n$15 == 0), false); [line 11]\n REMOVE_TEMPS(n$14,n$15); [line 11]\n APPLY_ABSTRACTION; [line 11]\n " shape="invhouse"]

1
infer/tests/codetoanalyze/c/frontend/conditional_operator/binary_operator.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
48 [label="48: BinaryOperatorStmt: Assign \n n$31=*&SIL_temp_conditional___n$28:int [line 13]\n *&x1:int =(n$31 + 77) [line 13]\n REMOVE_TEMPS(n$31); [line 13]\n NULLIFY(&SIL_temp_conditional___n$28); [line 13]\n NULLIFY(&x1); [line 13]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/conditional_operator/cond2.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
58 [label="58: BinaryOperatorStmt: Assign \n n$9=*&SIL_temp_conditional___n$5:int [line 23]\n *&y:int =n$9 [line 23]\n REMOVE_TEMPS(n$9); [line 23]\n NULLIFY(&SIL_temp_conditional___n$5); [line 23]\n NULLIFY(&y); [line 23]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/conditional_operator/conditional_operator.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
66 [label="66: Return Stmt \n n$3=*&SIL_temp_conditional___n$2:int [line 35]\n *&return:int =n$3 [line 35]\n REMOVE_TEMPS(n$3); [line 35]\n NULLIFY(&SIL_temp_conditional___n$2); [line 35]\n APPLY_ABSTRACTION; [line 35]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/conditional_operator/function_call.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
67 [label="67: Call n$1 \n n$1=*&SIL_temp_conditional___n$0:_fn_ (*) [line 20]\n n$3=*&SIL_temp_conditional___n$2:int [line 20]\n n$5=*&SIL_temp_conditional___n$4:int [line 20]\n n$1(n$3:int ,2:int ,n$5:int ) [line 20]\n REMOVE_TEMPS(n$1,n$3,n$5); [line 20]\n NULLIFY(&SIL_temp_conditional___n$0); [line 20]\n NULLIFY(&SIL_temp_conditional___n$2); [line 20]\n NULLIFY(&SIL_temp_conditional___n$4); [line 20]\n APPLY_ABSTRACTION; [line 20]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/conditional_operator/if_short_circuit.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
95 [label="95: BinaryOperatorStmt: Assign \n n$13=_fun_getenv(\"BLOCK\":char *) [line 47]\n *&spec:char *=n$13 [line 47]\n REMOVE_TEMPS(n$13); [line 47]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/conditional_operator/int_negation.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
34 [label="34: Return Stmt \n n$2=*&SIL_temp_conditional___n$0:int [line 29]\n *&return:int =n$2 [line 29]\n REMOVE_TEMPS(n$2); [line 29]\n NULLIFY(&SIL_temp_conditional___n$0); [line 29]\n APPLY_ABSTRACTION; [line 29]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/conditional_operator/member_access.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
24 [label="24: DeclStmt \n n$3=*&SIL_temp_conditional___n$0:int [line 22]\n *&z:int =n$3 [line 22]\n REMOVE_TEMPS(n$3); [line 22]\n NULLIFY(&SIL_temp_conditional___n$0); [line 22]\n NULLIFY(&z); [line 22]\n APPLY_ABSTRACTION; [line 22]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/conditional_operator/preincrement.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
26 [label="26: BinaryOperatorStmt: AddAssign \n n$16=*&p:struct s * [line 15]\n n$17=*n$16.x:int [line 15]\n *n$16.x:int =(n$17 + 1) [line 15]\n REMOVE_TEMPS(n$16,n$17); [line 15]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/conditional_operator/unary_operator.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
20 [label="20: BinaryOperatorStmt: Assign \n n$13=*&SIL_temp_conditional___n$10:int * [line 12]\n n$14=*n$13:int [line 12]\n *&x:int =n$14 [line 12]\n REMOVE_TEMPS(n$13,n$14); [line 12]\n NULLIFY(&SIL_temp_conditional___n$10); [line 12]\n NULLIFY(&x); [line 12]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/enumeration/enum.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
8 [label="8: BinaryOperatorStmt: Assign \n *&today:int =0 [line 22]\n NULLIFY(&today); [line 22]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/enumeration/enum_bitmask.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
4 [label="4: DeclStmt \n *&option1:int =(1 << 0) [line 16]\n NULLIFY(&option1); [line 16]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/enumeration/other_enum.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
20 [label="20: DeclStmt \n *&foo_g:int =(2 + 10) [line 23]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/gotostmt/goto_ex.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
252 [label="252: DeclStmt \n *&i:int =0 [line 170]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/initialization/array_initlistexpr.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
3 [label="3: DeclStmt \n n$0=*&z:int [line 12]\n *&a[0][0]:int =(n$0 + 1) [line 12]\n *&a[0][1]:int =2 [line 12]\n *&a[0][2]:int =3 [line 12]\n *&a[1][0]:int =5 [line 12]\n *&a[1][1]:int =6 [line 12]\n *&a[1][2]:int =7 [line 12]\n REMOVE_TEMPS(n$0); [line 12]\n NULLIFY(&a); [line 12]\n NULLIFY(&z); [line 12]\n APPLY_ABSTRACTION; [line 12]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/initialization/compound_literal.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
7 [label="7: DeclStmt \n *&p.x:int =32 [line 18]\n *&p.y:int =52 [line 18]\n n$1=*&p:struct point [line 18]\n REMOVE_TEMPS(n$1); [line 18]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
18 [label="18: BinaryOperatorStmt: Assign \n *&imageDrawRect.origin.x.a:int =0 [line 58]\n *&imageDrawRect.origin.x.b:int =0 [line 58]\n *&imageDrawRect.origin.y:int =0 [line 58]\n *&imageDrawRect.z:int =0 [line 58]\n *&imageDrawRect.size:int =5 [line 58]\n n$1=*&imageDrawRect:struct rect [line 58]\n REMOVE_TEMPS(n$1); [line 58]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/do_while.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
10 [label="10: DeclStmt \n *&a:int =10 [line 11]\n NULLIFY(&a); [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/do_while_condition_side_effects.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
10 [label="10: DeclStmt \n *&a:int =10 [line 11]\n NULLIFY(&a); [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/do_while_nested.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
15 [label="15: DeclStmt \n *&a:int =10 [line 11]\n NULLIFY(&a); [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/for_condition_side_effects.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
12 [label="12: DeclStmt \n *&j:int =0 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/for_nested.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
17 [label="17: DeclStmt \n *&k:int =0 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/for_no_condition.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
10 [label="10: DeclStmt \n *&j:int =0 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
9 [label="9: DeclStmt \n *&j:int =0 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr_body.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
8 [label="8: DeclStmt \n *&d:int =0 [line 11]\n NULLIFY(&d); [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/for_only_body.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
8 [label="8: DeclStmt \n *&i:int =0 [line 11]\n APPLY_ABSTRACTION; [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/for_simple.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
11 [label="11: DeclStmt \n *&j:int =0 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/for_while_nested.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
15 [label="15: DeclStmt \n *&k:int =0 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/while.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
9 [label="9: DeclStmt \n *&i:int =0 [line 11]\n APPLY_ABSTRACTION; [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/while_condition_side_effects.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
9 [label="9: DeclStmt \n *&i:int =0 [line 11]\n NULLIFY(&i); [line 11]\n APPLY_ABSTRACTION; [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/while_nested.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
15 [label="15: DeclStmt \n *&i:int =0 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/loops/while_no_body.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
6 [label="6: Prune (false branch) \n PRUNE((1 == 0), false); [line 11]\n " shape="invhouse"]

1
infer/tests/codetoanalyze/c/frontend/loops/while_with_continue_and_break.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
19 [label="19: DeclStmt \n *&x:int =0 [line 11]\n APPLY_ABSTRACTION; [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_in_condition.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
8 [label="8: Return Stmt \n *&return:int =32 [line 12]\n APPLY_ABSTRACTION; [line 12]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_in_condition.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
8 [label="8: Return Stmt \n *&return:int =32 [line 12]\n APPLY_ABSTRACTION; [line 12]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_with_increment.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
7 [label="7: DeclStmt \n *&a:int =3 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_with_increment.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
7 [label="7: DeclStmt \n *&a:int =3 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/nestedoperators/gnuexpr.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
8 [label="8: Return Stmt \n n$2=*&p:int * [line 22]\n n$3=*n$2:int [line 22]\n *&x:int =n$3 [line 22]\n *&y:int =1 [line 23]\n n$0=*&x:int [line 24]\n n$1=*&y:int [line 24]\n n$4=*(n$0 + n$1):int [line 21]\n *&return:int =n$4 [line 21]\n REMOVE_TEMPS(n$0,n$1,n$2,n$3,n$4); [line 21]\n NULLIFY(&p); [line 21]\n NULLIFY(&x); [line 21]\n NULLIFY(&y); [line 21]\n APPLY_ABSTRACTION; [line 21]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/nestedoperators/nestedassignment.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
9 [label="9: DeclStmt \n *&x:double =1.000000 [line 11]\n NULLIFY(&x); [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/nestedoperators/union.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
7 [label="7: BinaryOperatorStmt: Assign \n n$3=*&#GB$x:struct (anonymous struct at infer_tests_codetoanalyze_c_frontend_nestedoperators_union.c:12:1) * [line 32]\n *n$3.a:int =1 [line 32]\n REMOVE_TEMPS(n$3); [line 32]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/nestedoperators/union.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
9 [label="9: BinaryOperatorStmt: Assign \n n$3=*&#GB$x:class (anonymous struct at infer_tests_codetoanalyze_c_frontend_nestedoperators_union.cpp:12:1) * [line 32]\n *n$3.a:int =1 [line 32]\n REMOVE_TEMPS(n$3); [line 32]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/switchstmt/switch.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
195 [label="195: DeclStmt \n *&value:int =0 [line 192]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/types/struct.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
4 [label="4: BinaryOperatorStmt: Assign \n *&x.a:int =10 [line 17]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/unusual_exps/generic_exp.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
4 [label="4: DeclStmt \n *&x:void =_t$1 [line 15]\n REMOVE_TEMPS(_t$1); [line 15]\n NULLIFY(&x); [line 15]\n " shape="box"]

1
infer/tests/codetoanalyze/c/frontend/unusual_stmts/asm.c.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
9 [label="9: DeclStmt \n *&src:int =1 [line 20]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/errors/npe/method_call.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
22 [label="22: Call _fun_call_with_forward_declaration \n _fun_call_with_forward_declaration(null:class XForward *) [line 38]\n APPLY_ABSTRACTION; [line 38]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/builtin/new.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
6 [label="6: DeclStmt \n *&x:int =2 [line 11]\n NULLIFY(&x); [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/conditional/binary_conditional.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
34 [label="34: DeclStmt \n _fun_X_X(&a:class X *) [line 26]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/conditional/lvalue_conditional.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
65 [label="65: Return Stmt \n n$0=_fun_div_temp_lvalue(0:int ,1:int ) [line 47]\n *&return:int =n$0 [line 47]\n REMOVE_TEMPS(n$0); [line 47]\n APPLY_ABSTRACTION; [line 47]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/constructors/constructor_array.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
31 [label="31: DeclStmt \n _fun_Z_Z(&old:class Z *) [line 40]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/constructors/constructor_default_arg.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
11 [label="11: DeclStmt \n _fun_X_X(&x1:class X *,0:int ,0:int ) [line 21]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/constructors/constructor_init.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
44 [label="44: DeclStmt \n _fun_B_B(&b:class B *,1:int ) [line 55]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/constructors/constructor_new.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
97 [label="97: DeclStmt \n n$2=_fun___new_array((sizeof(class Person *) * 10):unsigned long ) [line 97]\n *&tarray:class Person **=n$2 [line 97]\n REMOVE_TEMPS(n$2); [line 97]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/constructors/constructor_struct_init_list.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
6 [label="6: DeclStmt \n *&SIL_init_list__n$0.top:int =0 [line 17]\n *&SIL_init_list__n$0.left:int =0 [line 17]\n *&SIL_init_list__n$0.bottom:int =0 [line 17]\n *&SIL_init_list__n$0.right:int =0 [line 17]\n _fun_Person_Person(&p:class Person *,&SIL_init_list__n$0:class Insets ) [line 17]\n NULLIFY(&SIL_init_list__n$0); [line 17]\n APPLY_ABSTRACTION; [line 17]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/constructors/constructor_with_body.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
26 [label="26: DeclStmt \n _fun_X_X(&x:class X *,0:int ,1:int ) [line 39]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/constructors/copy_move_constructor.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
65 [label="65: DeclStmt \n _fun_Y_Y(&y1:class Y *) [line 73]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/constructors/default_field_init.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
18 [label="18: DeclStmt \n _fun_Y_Y(&y:class Y *) [line 25]\n APPLY_ABSTRACTION; [line 25]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/constructors/std_init_list.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
11 [label="11: DeclStmt \n *&SIL_materialize_temp__n$0[0]:int =1 [line 24]\n *&SIL_materialize_temp__n$0[1]:int =2 [line 24]\n *&SIL_materialize_temp__n$0[2]:int =3 [line 24]\n *&SIL_materialize_temp__n$0[3]:int =4 [line 24]\n *&SIL_materialize_temp__n$0[4]:int =5 [line 24]\n n$1=_fun___infer_skip_function(&SIL_materialize_temp__n$0:int [5]) [line 24]\n _fun_X_X(&x:class X *,n$1:class std::initializer_list<int> ) [line 24]\n REMOVE_TEMPS(n$1); [line 24]\n NULLIFY(&SIL_materialize_temp__n$0); [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/constructors/temp_object.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
43 [label="43: Return Stmt \n _fun_getX(1:int ,0:int ,&__temp_return_n$1:class X *) [line 43]\n n$2=*&__temp_return_n$1.f:int [line 43]\n n$3=_fun_div(n$2:int ) [line 43]\n *&return:int =n$3 [line 43]\n REMOVE_TEMPS(n$2,n$3); [line 43]\n APPLY_ABSTRACTION; [line 43]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/destructors/call_destructor.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
3 [label="3: Call _fun_Person_~Person \n n$0=*&p:class Person * [line 15]\n n$1=*n$0:class Person [line 15]\n _fun_Person_~Person(n$0:class Person *) [line 15]\n REMOVE_TEMPS(n$0,n$1); [line 15]\n NULLIFY(&p); [line 15]\n APPLY_ABSTRACTION; [line 15]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/destructors/call_on_delete.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
8 [label="8: Call delete \n n$0=*&x:int * [line 16]\n _fun___delete(n$0:int *) [line 16]\n REMOVE_TEMPS(n$0); [line 16]\n NULLIFY(&x); [line 16]\n APPLY_ABSTRACTION; [line 16]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/destructors/pseudo_destructor_expr.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
13 [label="13: DeclStmt \n *&t:int *=0 [line 24]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/destructors/simple_decl.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
6 [label="6: BinaryOperatorStmt: Assign \n n$0=*&this:class B * [line 20]\n *n$0.f:int =1 [line 20]\n REMOVE_TEMPS(n$0); [line 20]\n NULLIFY(&this); [line 20]\n APPLY_ABSTRACTION; [line 20]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/exceptions/Exceptions.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
17 [label="17: Return Stmt \n n$0=_fun_deref(0:int *) [line 28]\n *&return:int =n$0 [line 28]\n REMOVE_TEMPS(n$0); [line 28]\n APPLY_ABSTRACTION; [line 28]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/include_header/include_only.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
6 [label="6: Return Stmt \n *&return:int =(1 / 0) [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/include_header/include_templ.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
36 [label="36: Call _fun_div0_templ<A> \n n$0=_fun_div0_templ<A>() [line 25]\n REMOVE_TEMPS(n$0); [line 25]\n APPLY_ABSTRACTION; [line 25]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/keywords/self_parameter.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
9 [label="9: Return Stmt \n n$0=*&a:class A * [line 17]\n n$1=*n$0:class A [line 17]\n n$2=_fun_A_meth_with_self(n$0:class A *,1:int ,2:int ) [line 17]\n n$3=_fun_fun_with_self(10:int ) [line 17]\n *&return:int =(n$2 + n$3) [line 17]\n REMOVE_TEMPS(n$0,n$1,n$2,n$3); [line 17]\n NULLIFY(&a); [line 17]\n APPLY_ABSTRACTION; [line 17]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/literals/nullptr.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
3 [label="3: Return Stmt \n *&return:int *=null [line 10]\n APPLY_ABSTRACTION; [line 10]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/literals/scalar_value_init.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
23 [label="23: DeclStmt \n n$3=_fun_get<int>() [line 18]\n *&i:int =n$3 [line 18]\n REMOVE_TEMPS(n$3); [line 18]\n NULLIFY(&i); [line 18]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/loops/foreach1.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
43 [label="43: DeclStmt \n _fun_vec_vec(&vector:class vec *,10:int ) [line 36]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/methods/conversion_operator.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
61 [label="61: DeclStmt \n _fun_X_X(&x:class X *,1:int ,1:_Bool ) [line 62]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/methods/default_parameters.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
8 [label="8: Call _fun_A_fun_default \n n$6=*&a_ptr:class A * [line 18]\n n$7=*n$6:class A [line 18]\n n$8=_fun_A_fun_default(n$6:class A *,1:int ,2:int ,3:int ) [line 18]\n REMOVE_TEMPS(n$6,n$7,n$8); [line 18]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/methods/dereference_this.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
10 [label="10: Call _fun_A_method \n n$0=*&a_ptr:class A * [line 25]\n n$1=*n$0:class A [line 25]\n n$2=_fun_A_method(n$0:class A *) [line 25]\n REMOVE_TEMPS(n$0,n$1,n$2); [line 25]\n NULLIFY(&a_ptr); [line 25]\n APPLY_ABSTRACTION; [line 25]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/methods/inline_method.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
11 [label="11: Call _fun_A_fun \n n$4=*&a_ptr:class A * [line 24]\n n$5=*n$4:class A [line 24]\n n$6=_fun_A_fun(n$4:class A *) [line 24]\n REMOVE_TEMPS(n$4,n$5,n$6); [line 24]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/methods/overloading.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
10 [label="10: Call _fun_A_fun \n n$3=*&a_ptr:class A * [line 22]\n n$4=*n$3:class A [line 22]\n n$5=_fun_A_fun(n$3:class A *,1:int ,2:int ) [line 22]\n REMOVE_TEMPS(n$3,n$4,n$5); [line 22]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/methods/return_struct.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
13 [label="13: DeclStmt \n n$2=*&a:class A * [line 22]\n n$3=*n$2:class A [line 22]\n _fun_A_get(n$2:class A *,1:int ,&SIL_materialize_temp__n$1:class X *) [line 22]\n _fun_X_X(&x:class X *,&SIL_materialize_temp__n$1:class X &) [line 22]\n REMOVE_TEMPS(n$2,n$3); [line 22]\n NULLIFY(&a); [line 22]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/methods/static.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
9 [label="9: Call _fun_A_fun \n n$0=*&a:class A * [line 21]\n n$1=_fun_A_fun(0:int ) [line 21]\n REMOVE_TEMPS(n$0,n$1); [line 21]\n NULLIFY(&a); [line 21]\n APPLY_ABSTRACTION; [line 21]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/methods/virtual_methods.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
53 [label="53: DeclStmt \n n$2=_fun___new(sizeof(class Triangle ):unsigned long ) [line 71]\n _fun_Triangle_Triangle(n$2:class Triangle *) [line 71]\n *&trgl:class Triangle *=n$2 [line 71]\n REMOVE_TEMPS(n$2); [line 71]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/namespace/function.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
15 [label="15: Return Stmt \n n$0=_fun_f1::get() [line 24]\n n$1=_fun_f2::get() [line 24]\n *&return:int =(1 / (n$0 + n$1)) [line 24]\n REMOVE_TEMPS(n$0,n$1); [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/namespace/global_variable.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
15 [label="15: BinaryOperatorStmt: Assign \n *&#GB$f1::A::v:int =1 [line 41]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/namespace/namespace.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
24 [label="24: DeclStmt \n _fun_foo::my_record_(&x:class foo::my_record *) [line 46]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/nestedoperators/var_decl_inside_for.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
20 [label="20: DeclStmt \n *&result:int =0 [line 18]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/nestedoperators/var_decl_inside_if.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
73 [label="73: Return Stmt \n n$1=*&p:int * [line 60]\n n$2=*n$1:int [line 60]\n *&return:int =n$2 [line 60]\n REMOVE_TEMPS(n$1,n$2); [line 60]\n NULLIFY(&p); [line 60]\n APPLY_ABSTRACTION; [line 60]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/nestedoperators/var_decl_inside_switch.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
14 [label="14: Prune (false branch) \n PRUNE(((n$0 == 0) == 0), false); [line 12]\n " shape="invhouse"]

1
infer/tests/codetoanalyze/cpp/frontend/nestedoperators/var_decl_inside_while.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
28 [label="28: DeclStmt \n *&x:int =10 [line 21]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/reference/box.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
5 [label="5: DeclStmt \n *&v:int =3 [line 11]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/reference/increment.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
11 [label="11: DeclStmt \n *&v:int =3 [line 17]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/reference/init.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
15 [label="15: DeclStmt \n n$2=*&par:int * [line 23]\n n$3=*n$2:int [line 23]\n *&v:int =n$3 [line 23]\n REMOVE_TEMPS(n$2,n$3); [line 23]\n NULLIFY(&v); [line 23]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/reference/member_access.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
11 [label="11: DeclStmt \n n$3=*&x:class X * [line 21]\n n$4=*n$3.f:int [line 21]\n *&f:int =n$4 [line 21]\n REMOVE_TEMPS(n$3,n$4); [line 21]\n NULLIFY(&f); [line 21]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/reference/member_access_from_return.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
19 [label="19: DeclStmt \n n$3=_fun_get_ptr() [line 25]\n n$4=*n$3.f:int [line 25]\n *&f:int =n$4 [line 25]\n REMOVE_TEMPS(n$3,n$4); [line 25]\n NULLIFY(&f); [line 25]\n " shape="box"]

1
infer/tests/codetoanalyze/cpp/frontend/reference/nested_assignment.cpp.dot
Unescape View File

@ -1,3 +1,4 @@
/* @generated */
digraph iCFG {
16 [label="16: DeclStmt \n *&a:int =3 [line 23]\n " shape="box"]

Some files were not shown because too many files have changed in this diff Show More

Write Preview
Loading…
Cancel
Save