From 6b5390fe797ce309ab5f2c37ca4309b88d2a8127 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Thu, 25 Jan 2018 03:12:04 -0800 Subject: [PATCH] [cfg] rename iCFG to cfg in dotty files Summary: Not sure what an "iCFG" is but the dotty is only about CFGs anyway. Diff obtained by mass-`sed`. Reviewed By: sblackshear Differential Revision: D6324280 fbshipit-source-id: b7603bb --- infer/src/backend/dotty.ml | 2 +- .../codetoanalyze/clang_translation/src/main.cpp.dot | 2 +- .../clang_translation/src/main_default_root.cpp.dot | 2 +- .../clang_translation/src/main_default_symlink.cpp.dot | 2 +- .../codetoanalyze/clang_translation/src/main_symlink.cpp.dot | 2 +- .../c/frontend/arithmetic/compound_assignment.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/arithmetic/int_const.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/arithmetic/negate.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/arithmetic/plus_expr.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/arithmetic/unary.c.dot | 2 +- .../tests/codetoanalyze/c/frontend/booleans/bool_example.c.dot | 2 +- .../codetoanalyze/c/frontend/booleans/condition_as_param.c.dot | 2 +- .../tests/codetoanalyze/c/frontend/c_prototype/prototype.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/comma/comma.c.dot | 2 +- .../c/frontend/conditional_operator/array_access.c.dot | 2 +- .../c/frontend/conditional_operator/binary_operator.c.dot | 2 +- .../codetoanalyze/c/frontend/conditional_operator/cond2.c.dot | 2 +- .../c/frontend/conditional_operator/conditional_operator.c.dot | 2 +- .../c/frontend/conditional_operator/function_call.c.dot | 2 +- .../c/frontend/conditional_operator/if_short_circuit.c.dot | 2 +- .../c/frontend/conditional_operator/int_negation.c.dot | 2 +- .../c/frontend/conditional_operator/member_access.c.dot | 2 +- .../c/frontend/conditional_operator/preincrement.c.dot | 2 +- .../c/frontend/conditional_operator/unary_operator.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/enumeration/enum.c.dot | 2 +- .../codetoanalyze/c/frontend/enumeration/enum_bitmask.c.dot | 2 +- .../tests/codetoanalyze/c/frontend/enumeration/other_enum.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/gotostmt/goto_ex.c.dot | 2 +- .../c/frontend/initialization/array_initlistexpr.c.dot | 2 +- .../c/frontend/initialization/compound_literal.c.dot | 2 +- .../c/frontend/initialization/enum_initlistexpr.c.dot | 2 +- .../c/frontend/initialization/struct_initlistexpr.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/loops/do_while.c.dot | 2 +- .../c/frontend/loops/do_while_condition_side_effects.c.dot | 2 +- .../tests/codetoanalyze/c/frontend/loops/do_while_nested.c.dot | 2 +- .../c/frontend/loops/for_condition_side_effects.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/loops/for_nested.c.dot | 2 +- .../tests/codetoanalyze/c/frontend/loops/for_no_condition.c.dot | 2 +- .../codetoanalyze/c/frontend/loops/for_no_condition_incr.c.dot | 2 +- .../c/frontend/loops/for_no_condition_incr_body.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/loops/for_only_body.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/loops/for_simple.c.dot | 2 +- .../tests/codetoanalyze/c/frontend/loops/for_while_nested.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/loops/while.c.dot | 2 +- .../c/frontend/loops/while_condition_side_effects.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/loops/while_nested.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/loops/while_no_body.c.dot | 2 +- .../c/frontend/loops/while_with_continue_and_break.c.dot | 2 +- .../c/frontend/nestedoperators/assign_in_condition.c.dot | 2 +- .../c/frontend/nestedoperators/assign_with_increment.c.dot | 2 +- .../codetoanalyze/c/frontend/nestedoperators/gnuexpr.c.dot | 2 +- .../c/frontend/nestedoperators/nestedassignment.c.dot | 2 +- .../tests/codetoanalyze/c/frontend/nestedoperators/union.c.dot | 2 +- .../codetoanalyze/c/frontend/offsetof_expr/offsetof_expr.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/switchstmt/switch.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/types/struct.c.dot | 2 +- .../codetoanalyze/c/frontend/unusual_exps/generic_exp.c.dot | 2 +- infer/tests/codetoanalyze/c/frontend/unusual_stmts/asm.c.dot | 2 +- .../tests/codetoanalyze/c/frontend/vaarg_expr/vaarg_expr.c.dot | 2 +- .../cpp/frontend/attributes/clang_fallthrough.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/frontend/builtin/new.cpp.dot | 2 +- .../codetoanalyze/cpp/frontend/destructors/break_scope.cpp.dot | 2 +- .../cpp/frontend/destructors/call_destructor.cpp.dot | 2 +- .../cpp/frontend/destructors/call_on_delete.cpp.dot | 2 +- .../cpp/frontend/destructors/continue_scope.cpp.dot | 2 +- .../cpp/frontend/destructors/destructor_bases.cpp.dot | 2 +- .../cpp/frontend/destructors/pseudo_destructor_expr.cpp.dot | 2 +- .../tests/codetoanalyze/cpp/frontend/destructors/scope.cpp.dot | 2 +- .../codetoanalyze/cpp/frontend/destructors/simple_decl.cpp.dot | 2 +- .../codetoanalyze/cpp/frontend/globals/global_const1.cpp.dot | 2 +- .../codetoanalyze/cpp/frontend/globals/global_const2.cpp.dot | 2 +- .../codetoanalyze/cpp/frontend/globals/initializer.cpp.dot | 2 +- .../cpp/frontend/include_header/include_only.cpp.dot | 2 +- .../cpp/frontend/include_header/include_templ.cpp.dot | 2 +- .../codetoanalyze/cpp/frontend/initialization/init_list.cpp.dot | 2 +- .../codetoanalyze/cpp/frontend/keywords/self_parameter.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/frontend/literals/nullptr.cpp.dot | 2 +- .../cpp/frontend/literals/scalar_value_init.cpp.dot | 2 +- .../codetoanalyze/cpp/frontend/literals/user_defined.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/frontend/loops/do_while.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/frontend/loops/foreach1.cpp.dot | 2 +- .../cpp/frontend/nestedoperators/assign_in_condition.cpp.dot | 2 +- .../cpp/frontend/nestedoperators/assign_with_increment.cpp.dot | 2 +- .../codetoanalyze/cpp/frontend/nestedoperators/union.cpp.dot | 2 +- .../codetoanalyze/cpp/frontend/vectors/shuffle_vector.cpp.dot | 2 +- .../tests/codetoanalyze/cpp/shared/attributes/annotate.cpp.dot | 2 +- .../cpp/shared/conditional/binary_conditional.cpp.dot | 2 +- .../cpp/shared/conditional/lvalue_conditional.cpp.dot | 2 +- .../cpp/shared/constructors/constructor_array.cpp.dot | 2 +- .../cpp/shared/constructors/constructor_default_arg.cpp.dot | 2 +- .../cpp/shared/constructors/constructor_init.cpp.dot | 2 +- .../cpp/shared/constructors/constructor_new.cpp.dot | 2 +- .../shared/constructors/constructor_struct_init_list.cpp.dot | 2 +- .../cpp/shared/constructors/constructor_with_body.cpp.dot | 2 +- .../cpp/shared/constructors/copy_array_field.cpp.dot | 2 +- .../cpp/shared/constructors/copy_move_constructor.cpp.dot | 2 +- .../cpp/shared/constructors/default_field_init.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/constructors/std_init_list.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/constructors/temp_object.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/exceptions/Exceptions.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/exceptions/noexception.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/lambda/lambda1.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/methods/byvals.cpp.dot | 2 +- .../cpp/shared/methods/conversion_operator.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/methods/default_parameters.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/methods/dereference_this.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/methods/inline_method.cpp.dot | 2 +- .../tests/codetoanalyze/cpp/shared/methods/overloading.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/methods/return_struct.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/methods/static.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/methods/virtual_methods.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/namespace/function.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/namespace/global_variable.cpp.dot | 2 +- .../tests/codetoanalyze/cpp/shared/namespace/namespace.cpp.dot | 2 +- .../cpp/shared/nestedoperators/var_decl_inside_for.cpp.dot | 2 +- .../cpp/shared/nestedoperators/var_decl_inside_if.cpp.dot | 2 +- .../cpp/shared/nestedoperators/var_decl_inside_switch.cpp.dot | 2 +- .../cpp/shared/nestedoperators/var_decl_inside_while.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/npe/method_call.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/reference/box.cpp.dot | 2 +- .../tests/codetoanalyze/cpp/shared/reference/increment.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/reference/init.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/reference/member_access.cpp.dot | 2 +- .../cpp/shared/reference/member_access_from_return.cpp.dot | 2 +- .../cpp/shared/reference/nested_assignment.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/reference/ptr_mem.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/reference/reference_field.cpp.dot | 2 +- .../cpp/shared/reference/reference_struct_e2e.cpp.dot | 2 +- .../cpp/shared/reference/reference_type_e2e.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/reference/temporary_lvalue.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/reference/unbox.cpp.dot | 2 +- .../cpp/shared/templates/class_specialization.cpp.dot | 2 +- .../cpp/shared/templates/class_template_instantiate.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/templates/function.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/templates/function_pack.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/templates/method.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/templates/simple.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/templates/sizeof_pack.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/types/casts.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/types/const.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/types/functions.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/types/inheritance.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/types/inheritance_casts.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/types/inheritance_field.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/types/operator_overload.cpp.dot | 2 +- .../tests/codetoanalyze/cpp/shared/types/return_struct.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/types/struct.cpp.dot | 2 +- .../cpp/shared/types/struct_forward_declare.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp.dot | 2 +- .../codetoanalyze/cpp/shared/types/type_trait_expr.cpp.dot | 2 +- infer/tests/codetoanalyze/cpp/shared/types/typeid_expr.cpp.dot | 2 +- .../tests/codetoanalyze/objc/frontend/block/retain_cycle.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/block/static.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/boxing/array.m.dot | 2 +- .../codetoanalyze/objc/frontend/boxing/array_literal.c.dot | 2 +- .../tests/codetoanalyze/objc/frontend/boxing/dict_literal.c.dot | 2 +- .../codetoanalyze/objc/frontend/boxing/string_literal.c.dot | 2 +- .../frontend/conditional_operation/ConditionalOperation.m.dot | 2 +- .../objc/frontend/exceptions/ExceptionExample.m.dot | 2 +- .../objc/frontend/fast_enumeration/Fast_enumeration.m.dot | 2 +- .../objc/frontend/predefined_expr/PredefinedExprExample.m.dot | 2 +- .../objc/frontend/property/PropertyImplSetter.m.dot | 2 +- .../codetoanalyze/objc/frontend/property/Property_getter.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/property/main_car.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/protocol/protocol.m.dot | 2 +- .../codetoanalyze/objc/frontend/returnstmt/void_return.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/self_static/Self.m.dot | 2 +- .../tests/codetoanalyze/objc/frontend/self_static/static.m.dot | 2 +- .../objc/frontend/strings/global_string_literal.m.dot | 2 +- .../codetoanalyze/objc/frontend/strings/string_literal.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.m.dot | 2 +- .../tests/codetoanalyze/objc/frontend/subclass/MySubClass.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/subclass/main.c.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/types/attributes.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/types/testloop.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/types/void_call.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/vardecl/aclass.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/vardecl/aclass_2.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/vardecl/initlist.m.dot | 2 +- infer/tests/codetoanalyze/objc/frontend/vardecl/last_af.m.dot | 2 +- .../objc/shared/annotations/nonnull_annotations.m.dot | 2 +- .../objc/shared/annotations/nullable_annotations.m.dot | 2 +- infer/tests/codetoanalyze/objc/shared/block/BlockVar.m.dot | 2 +- .../codetoanalyze/objc/shared/block/Blocks_as_parameters.m.dot | 2 +- infer/tests/codetoanalyze/objc/shared/block/block-it.m.dot | 2 +- infer/tests/codetoanalyze/objc/shared/block/block.m.dot | 2 +- infer/tests/codetoanalyze/objc/shared/block/block_no_args.m.dot | 2 +- infer/tests/codetoanalyze/objc/shared/block/block_release.m.dot | 2 +- infer/tests/codetoanalyze/objc/shared/block/dispatch.m.dot | 2 +- .../codetoanalyze/objc/shared/block/dispatch_examples.m.dot | 2 +- .../codetoanalyze/objc/shared/block/dispatch_in_macro.m.dot | 2 +- .../codetoanalyze/objc/shared/category_procdesc/EOCPerson.m.dot | 2 +- .../codetoanalyze/objc/shared/category_procdesc/main.c.dot | 2 +- .../objc/shared/field_superclass/SuperExample.m.dot | 2 +- .../objc/shared/memory_leaks_benchmark/ArcExample.m.dot | 2 +- .../objc/shared/memory_leaks_benchmark/AutoreleaseExample.m.dot | 2 +- .../objc/shared/memory_leaks_benchmark/MemoryLeakExample.m.dot | 2 +- .../shared/memory_leaks_benchmark/RetainReleaseExample.m.dot | 2 +- .../shared/memory_leaks_benchmark/RetainReleaseExample2.m.dot | 2 +- .../objc/shared/memory_leaks_benchmark/TollBridgeExample.m.dot | 2 +- .../objc/shared/memory_leaks_benchmark/arc_methods.m.dot | 2 +- infer/tests/codetoanalyze/objc/shared/npe/Available_expr.m.dot | 2 +- .../objc/shared/npe/Nonnull_attribute_example.m.dot | 2 +- infer/tests/codetoanalyze/objc/shared/npe/npe_malloc.m.dot | 2 +- .../codetoanalyze/objc/shared/property/GetterExample.m.dot | 2 +- .../codetoanalyze/objc/shared/property/PropertyAttributes.m.dot | 2 +- .../codetoanalyze/objc/shared/protocol_procdesc/Bicycle.m.dot | 2 +- .../codetoanalyze/objc/shared/protocol_procdesc/main.c.dot | 2 +- .../objcpp/frontend/funcoverloading/af_test.mm.dot | 2 +- .../objcpp/frontend/global_const/global_const.mm.dot | 2 +- 211 files changed, 211 insertions(+), 211 deletions(-) diff --git a/infer/src/backend/dotty.ml b/infer/src/backend/dotty.ml index b7e6a98f8..504737816 100644 --- a/infer/src/backend/dotty.ml +++ b/infer/src/backend/dotty.ml @@ -1219,7 +1219,7 @@ let write_icfg_dotty_to_file source cfg fname = let chan = Out_channel.create fname in let fmt = Format.formatter_of_out_channel chan in (* avoid phabricator thinking this file was generated by substituting substring with %s *) - F.fprintf fmt "/* %@%s */@\ndigraph iCFG {@\n" "generated" ; + F.fprintf fmt "/* %@%s */@\ndigraph cfg {@\n" "generated" ; print_icfg source fmt cfg ; F.fprintf fmt "}@\n" ; Out_channel.close chan diff --git a/infer/tests/build_systems/codetoanalyze/clang_translation/src/main.cpp.dot b/infer/tests/build_systems/codetoanalyze/clang_translation/src/main.cpp.dot index 028e35031..b6e0da31d 100644 --- a/infer/tests/build_systems/codetoanalyze/clang_translation/src/main.cpp.dot +++ b/infer/tests/build_systems/codetoanalyze/clang_translation/src/main.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: s:std::basic_string,std::allocator> x:int* \n DECLARE_LOCALS(&return,&s,&x); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_default_root.cpp.dot b/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_default_root.cpp.dot index 028e35031..b6e0da31d 100644 --- a/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_default_root.cpp.dot +++ b/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_default_root.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: s:std::basic_string,std::allocator> x:int* \n DECLARE_LOCALS(&return,&s,&x); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_default_symlink.cpp.dot b/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_default_symlink.cpp.dot index 028e35031..b6e0da31d 100644 --- a/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_default_symlink.cpp.dot +++ b/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_default_symlink.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: s:std::basic_string,std::allocator> x:int* \n DECLARE_LOCALS(&return,&s,&x); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_symlink.cpp.dot b/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_symlink.cpp.dot index 028e35031..b6e0da31d 100644 --- a/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_symlink.cpp.dot +++ b/infer/tests/build_systems/codetoanalyze/clang_translation/src/main_symlink.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: s:std::basic_string,std::allocator> x:int* \n DECLARE_LOCALS(&return,&s,&x); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/arithmetic/compound_assignment.c.dot b/infer/tests/codetoanalyze/c/frontend/arithmetic/compound_assignment.c.dot index 3f1f244bc..cfd1f96e1 100644 --- a/infer/tests/codetoanalyze/c/frontend/arithmetic/compound_assignment.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/arithmetic/compound_assignment.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: b:int x:double \n DECLARE_LOCALS(&return,&b,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/arithmetic/int_const.c.dot b/infer/tests/codetoanalyze/c/frontend/arithmetic/int_const.c.dot index 25ccb9612..b2055e5c1 100644 --- a/infer/tests/codetoanalyze/c/frontend/arithmetic/int_const.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/arithmetic/int_const.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: overflow_int:int large_int:int d:long double c:float* const b:int* a:int \n DECLARE_LOCALS(&return,&overflow_int,&large_int,&d,&c,&b,&a); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/arithmetic/negate.c.dot b/infer/tests/codetoanalyze/c/frontend/arithmetic/negate.c.dot index 2887595f6..656d56fd1 100644 --- a/infer/tests/codetoanalyze/c/frontend/arithmetic/negate.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/arithmetic/negate.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "neg_char.53ef6b31d84386046a4728d1c45b5f7a_1" [label="1: Start neg_char\nFormals: a:char\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$0:int \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/arithmetic/plus_expr.c.dot b/infer/tests/codetoanalyze/c/frontend/arithmetic/plus_expr.c.dot index 1f8e6837b..3ec1b9d79 100644 --- a/infer/tests/codetoanalyze/c/frontend/arithmetic/plus_expr.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/arithmetic/plus_expr.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: z:int x:int \n DECLARE_LOCALS(&return,&z,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/arithmetic/unary.c.dot b/infer/tests/codetoanalyze/c/frontend/arithmetic/unary.c.dot index 0de01e3fe..9f38fe255 100644 --- a/infer/tests/codetoanalyze/c/frontend/arithmetic/unary.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/arithmetic/unary.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: b:int* a:int y:int x:int \n DECLARE_LOCALS(&return,&b,&a,&y,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/booleans/bool_example.c.dot b/infer/tests/codetoanalyze/c/frontend/booleans/bool_example.c.dot index 0f9acea61..105c7dfdd 100644 --- a/infer/tests/codetoanalyze/c/frontend/booleans/bool_example.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/booleans/bool_example.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "revert.4bc48a3c9ac7468d2d5d1a6fb5f87654_1" [label="1: Start revert\nFormals: e:_Bool\nLocals: \n DECLARE_LOCALS(&return); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/booleans/condition_as_param.c.dot b/infer/tests/codetoanalyze/c/frontend/booleans/condition_as_param.c.dot index e1361ba9f..bac5da6ab 100644 --- a/infer/tests/codetoanalyze/c/frontend/booleans/condition_as_param.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/booleans/condition_as_param.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$0:int x:int \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0,&x); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/c_prototype/prototype.c.dot b/infer/tests/codetoanalyze/c/frontend/c_prototype/prototype.c.dot index 050cc730c..11e825fd3 100644 --- a/infer/tests/codetoanalyze/c/frontend/c_prototype/prototype.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/c_prototype/prototype.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: total:int \n DECLARE_LOCALS(&return,&total); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/comma/comma.c.dot b/infer/tests/codetoanalyze/c/frontend/comma/comma.c.dot index b37ab4d98..f0a4ead13 100644 --- a/infer/tests/codetoanalyze/c/frontend/comma/comma.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/comma/comma.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "comma_1.bafaed8336991f5a2e612ee2580c1506_1" [label="1: Start comma_1\nFormals: \nLocals: d:int b:int a:int \n DECLARE_LOCALS(&return,&d,&b,&a); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/array_access.c.dot b/infer/tests/codetoanalyze/c/frontend/conditional_operator/array_access.c.dot index 8eb748fff..8e03fb85f 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/array_access.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/array_access.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "dereference_in_array_access.d3133bf0c1bc11000c355c50d0fbb3c0_1" [label="1: Start dereference_in_array_access\nFormals: p:int**\nLocals: \n DECLARE_LOCALS(&return); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/binary_operator.c.dot b/infer/tests/codetoanalyze/c/frontend/conditional_operator/binary_operator.c.dot index a83d13be1..94ccf4839 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/binary_operator.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/binary_operator.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "binop_with_side_effects.9cbc0255c95bd7e0ccf9d7a826fa2a2d_1" [label="1: Start binop_with_side_effects\nFormals: z:int\nLocals: y3:int 0$?%__sil_tmpSIL_temp_conditional___n$0:int 0$?%__sil_tmpSIL_temp_conditional___n$4:int y2:int 0$?%__sil_tmpSIL_temp_conditional___n$8:int y1:int 0$?%__sil_tmpSIL_temp_conditional___n$12:int 0$?%__sil_tmpSIL_temp_conditional___n$16:int 0$?%__sil_tmpSIL_temp_conditional___n$20:int x3:int 0$?%__sil_tmpSIL_temp_conditional___n$24:int x2:int 0$?%__sil_tmpSIL_temp_conditional___n$28:int x1:int \n DECLARE_LOCALS(&return,&y3,&0$?%__sil_tmpSIL_temp_conditional___n$0,&0$?%__sil_tmpSIL_temp_conditional___n$4,&y2,&0$?%__sil_tmpSIL_temp_conditional___n$8,&y1,&0$?%__sil_tmpSIL_temp_conditional___n$12,&0$?%__sil_tmpSIL_temp_conditional___n$16,&0$?%__sil_tmpSIL_temp_conditional___n$20,&x3,&0$?%__sil_tmpSIL_temp_conditional___n$24,&x2,&0$?%__sil_tmpSIL_temp_conditional___n$28,&x1); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/cond2.c.dot b/infer/tests/codetoanalyze/c/frontend/conditional_operator/cond2.c.dot index d2a00cb28..7811e48be 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/cond2.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/cond2.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "foo.acbd18db4cc2f85cedef654fccc4a4d8_1" [label="1: Start foo\nFormals: \nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$0:int 0$?%__sil_tmpSIL_temp_conditional___n$2:int 0$?%__sil_tmpSIL_temp_conditional___n$3:int n:int 0$?%__sil_tmpSIL_temp_conditional___n$6:int y:int x:int \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0,&0$?%__sil_tmpSIL_temp_conditional___n$2,&0$?%__sil_tmpSIL_temp_conditional___n$3,&n,&0$?%__sil_tmpSIL_temp_conditional___n$6,&y,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/conditional_operator.c.dot b/infer/tests/codetoanalyze/c/frontend/conditional_operator/conditional_operator.c.dot index 71f8f9517..a87932439 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/conditional_operator.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/conditional_operator.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test.098f6bcd4621d373cade4e832627b4f6_1" [label="1: Start test\nFormals: b:int\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$0:int \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0); [line 14, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/function_call.c.dot b/infer/tests/codetoanalyze/c/frontend/conditional_operator/function_call.c.dot index d53b6d043..bf437e3de 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/function_call.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/function_call.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "fun_ifthenelse1.6d810dc9f25b2ded52969d35a73b5fb3_1" [label="1: Start fun_ifthenelse1\nFormals: \nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$0:_fn_(*) \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/if_short_circuit.c.dot b/infer/tests/codetoanalyze/c/frontend/conditional_operator/if_short_circuit.c.dot index c1497f2fc..1d3d3f16d 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/if_short_circuit.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/if_short_circuit.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test_loop.254a9d372f8f45542e409771135b9322_1" [label="1: Start test_loop\nFormals: \nLocals: block_size:char* spec:char* \n DECLARE_LOCALS(&return,&block_size,&spec); [line 29, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/int_negation.c.dot b/infer/tests/codetoanalyze/c/frontend/conditional_operator/int_negation.c.dot index 650293675..023f6c9a4 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/int_negation.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/int_negation.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "identity.ff483d1ff591898a9942916050d2ca3f_1" [label="1: Start identity\nFormals: x:int\nLocals: \n DECLARE_LOCALS(&return); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/member_access.c.dot b/infer/tests/codetoanalyze/c/frontend/conditional_operator/member_access.c.dot index 56815c3af..1761b6914 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/member_access.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/member_access.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "call_ife_then_access_field.b6f399d1a50b93c2421854974cd226e3_1" [label="1: Start call_ife_then_access_field\nFormals: \nLocals: z:int 0$?%__sil_tmpSIL_temp_conditional___n$0:int \n DECLARE_LOCALS(&return,&z,&0$?%__sil_tmpSIL_temp_conditional___n$0); [line 20, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/preincrement.c.dot b/infer/tests/codetoanalyze/c/frontend/conditional_operator/preincrement.c.dot index bef88e1e2..9b82b367a 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/preincrement.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/preincrement.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "preincrement.db7c6523f16e1ab3058057cee6614472_1" [label="1: Start preincrement\nFormals: p:s*\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$0:s* 0$?%__sil_tmpSIL_temp_conditional___n$4:int 0$?%__sil_tmpSIL_temp_conditional___n$8:int 0$?%__sil_tmpSIL_temp_conditional___n$11:s* \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0,&0$?%__sil_tmpSIL_temp_conditional___n$4,&0$?%__sil_tmpSIL_temp_conditional___n$8,&0$?%__sil_tmpSIL_temp_conditional___n$11); [line 14, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/unary_operator.c.dot b/infer/tests/codetoanalyze/c/frontend/conditional_operator/unary_operator.c.dot index fa48e3e73..fddf0f665 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/unary_operator.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/unary_operator.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_1" [label="1: Start dereference_ifthenelse\nFormals: p:int*\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$0:int* y:int 0$?%__sil_tmpSIL_temp_conditional___n$5:int* 0$?%__sil_tmpSIL_temp_conditional___n$10:int* x:int \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0,&y,&0$?%__sil_tmpSIL_temp_conditional___n$5,&0$?%__sil_tmpSIL_temp_conditional___n$10,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/enumeration/enum.c.dot b/infer/tests/codetoanalyze/c/frontend/enumeration/enum.c.dot index ad2648159..43630961e 100644 --- a/infer/tests/codetoanalyze/c/frontend/enumeration/enum.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/enumeration/enum.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: i:int today:int \n DECLARE_LOCALS(&return,&i,&today); [line 20, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/enumeration/enum_bitmask.c.dot b/infer/tests/codetoanalyze/c/frontend/enumeration/enum_bitmask.c.dot index a90f6c714..9e7cae30d 100644 --- a/infer/tests/codetoanalyze/c/frontend/enumeration/enum_bitmask.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/enumeration/enum_bitmask.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: option2:int option1:int \n DECLARE_LOCALS(&return,&option2,&option1); [line 15, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/enumeration/other_enum.c.dot b/infer/tests/codetoanalyze/c/frontend/enumeration/other_enum.c.dot index 081aa9c06..3392f134d 100644 --- a/infer/tests/codetoanalyze/c/frontend/enumeration/other_enum.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/enumeration/other_enum.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "other_enum_main.572f04969b0ade4902dd1faf86fac461_1" [label="1: Start other_enum_main\nFormals: \nLocals: foo_g:int foo_f:int foo_e:int foo_d:int foo_c:int foo_b:int foo_a:int \n DECLARE_LOCALS(&return,&foo_g,&foo_f,&foo_e,&foo_d,&foo_c,&foo_b,&foo_a); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/gotostmt/goto_ex.c.dot b/infer/tests/codetoanalyze/c/frontend/gotostmt/goto_ex.c.dot index d2eb84e91..37d775873 100644 --- a/infer/tests/codetoanalyze/c/frontend/gotostmt/goto_ex.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/gotostmt/goto_ex.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "getValue.faa0c7b1433b0c97fcdc15fa47c8180f_1" [label="1: Start getValue\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/initialization/array_initlistexpr.c.dot b/infer/tests/codetoanalyze/c/frontend/initialization/array_initlistexpr.c.dot index 92723f8a2..c46257b80 100644 --- a/infer/tests/codetoanalyze/c/frontend/initialization/array_initlistexpr.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/initialization/array_initlistexpr.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "init_const_array.b1cf412cdbd1beaf15a9f6a3789043b9_1" [label="1: Start init_const_array\nFormals: \nLocals: a:int[3*4][2*12] z:int \n DECLARE_LOCALS(&return,&a,&z); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/initialization/compound_literal.c.dot b/infer/tests/codetoanalyze/c/frontend/initialization/compound_literal.c.dot index 7916c1651..82d1121a0 100644 --- a/infer/tests/codetoanalyze/c/frontend/initialization/compound_literal.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/initialization/compound_literal.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "compound_literal_expr.137fbe19f590ba2423c07134917ec888_1" [label="1: Start compound_literal_expr\nFormals: \nLocals: 0$?%__sil_tmpSIL_compound_literal__n$0:point \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_compound_literal__n$0); [line 15, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/initialization/enum_initlistexpr.c.dot b/infer/tests/codetoanalyze/c/frontend/initialization/enum_initlistexpr.c.dot index fbde475e0..d5ba28841 100644 --- a/infer/tests/codetoanalyze/c/frontend/initialization/enum_initlistexpr.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/initialization/enum_initlistexpr.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "union_initialize_FIXME.324b85335f5d2e418a28cb97eb896f20_1" [label="1: Start union_initialize_FIXME\nFormals: \nLocals: set_f1_implicit:U set_f2:U set_f1:U \n DECLARE_LOCALS(&return,&set_f1_implicit,&set_f2,&set_f1); [line 14, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c.dot b/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c.dot index 320d70e7f..86f6a0e9e 100644 --- a/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "foo.acbd18db4cc2f85cedef654fccc4a4d8_1" [label="1: Start foo\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 15, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/do_while.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/do_while.c.dot index 875270bed..82c91f3ec 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/do_while.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/do_while.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: b:int a:int \n DECLARE_LOCALS(&return,&b,&a); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/do_while_condition_side_effects.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/do_while_condition_side_effects.c.dot index e714966e2..1d4a3ede1 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/do_while_condition_side_effects.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/do_while_condition_side_effects.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: b:int a:int \n DECLARE_LOCALS(&return,&b,&a); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/do_while_nested.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/do_while_nested.c.dot index 44bbc90a4..a305fc389 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/do_while_nested.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/do_while_nested.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: b:int a:int \n DECLARE_LOCALS(&return,&b,&a); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_condition_side_effects.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/for_condition_side_effects.c.dot index 0fbdf026d..b1ba39afc 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_condition_side_effects.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_condition_side_effects.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: b:int i:int j:int \n DECLARE_LOCALS(&return,&b,&i,&j); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_nested.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/for_nested.c.dot index 203271b6a..e458c489a 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_nested.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_nested.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: i:int j:int k:int \n DECLARE_LOCALS(&return,&i,&j,&k); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition.c.dot index 834553bfd..e709c97d3 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: b:int j:int \n DECLARE_LOCALS(&return,&b,&j); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr.c.dot index a4820bcbd..f5482fa76 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: b:int j:int \n DECLARE_LOCALS(&return,&b,&j); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr_body.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr_body.c.dot index a4841fec8..91fb2d2fc 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr_body.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr_body.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: d:int \n DECLARE_LOCALS(&return,&d); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_only_body.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/for_only_body.c.dot index 192939ec9..6d6d50aa1 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_only_body.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_only_body.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: i:int \n DECLARE_LOCALS(&return,&i); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_simple.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/for_simple.c.dot index a04e0ce8e..1a4a24fc4 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_simple.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_simple.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: i:int j:int \n DECLARE_LOCALS(&return,&i,&j); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_while_nested.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/for_while_nested.c.dot index 88e8987cc..c108d13ce 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_while_nested.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_while_nested.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: i:int k:int \n DECLARE_LOCALS(&return,&i,&k); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/while.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/while.c.dot index 23dc53e1d..8afe69719 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/while.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/while.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: i:int \n DECLARE_LOCALS(&return,&i); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/while_condition_side_effects.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/while_condition_side_effects.c.dot index dacc5c0b9..57aa493d3 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/while_condition_side_effects.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/while_condition_side_effects.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: i:int \n DECLARE_LOCALS(&return,&i); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/while_nested.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/while_nested.c.dot index 919a554ac..caac0ed0e 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/while_nested.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/while_nested.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: k:int i:int \n DECLARE_LOCALS(&return,&k,&i); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/while_no_body.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/while_no_body.c.dot index 38e52bcd8..339a35534 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/while_no_body.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/while_no_body.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/loops/while_with_continue_and_break.c.dot b/infer/tests/codetoanalyze/c/frontend/loops/while_with_continue_and_break.c.dot index 5eb682c17..b2baf2ea7 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/while_with_continue_and_break.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/loops/while_with_continue_and_break.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: x:int \n DECLARE_LOCALS(&return,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_in_condition.c.dot b/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_in_condition.c.dot index d66d949c3..409f70f2d 100644 --- a/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_in_condition.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_in_condition.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "foo.acbd18db4cc2f85cedef654fccc4a4d8_1" [label="1: Start foo\nFormals: p:int*\nLocals: \n DECLARE_LOCALS(&return); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_with_increment.c.dot b/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_with_increment.c.dot index f4adfdf0d..c7f8ff9a3 100644 --- a/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_with_increment.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_with_increment.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test.098f6bcd4621d373cade4e832627b4f6_1" [label="1: Start test\nFormals: \nLocals: e:int d:int c:int b:int a:int \n DECLARE_LOCALS(&return,&e,&d,&c,&b,&a); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/nestedoperators/gnuexpr.c.dot b/infer/tests/codetoanalyze/c/frontend/nestedoperators/gnuexpr.c.dot index 387599deb..a2ae93ac1 100644 --- a/infer/tests/codetoanalyze/c/frontend/nestedoperators/gnuexpr.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/nestedoperators/gnuexpr.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: X:int y:int \n DECLARE_LOCALS(&return,&X,&y); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/nestedoperators/nestedassignment.c.dot b/infer/tests/codetoanalyze/c/frontend/nestedoperators/nestedassignment.c.dot index 699584cb5..6df86dc13 100644 --- a/infer/tests/codetoanalyze/c/frontend/nestedoperators/nestedassignment.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/nestedoperators/nestedassignment.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: t:double s:double r:double q:double x:double \n DECLARE_LOCALS(&return,&t,&s,&r,&q,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/nestedoperators/union.c.dot b/infer/tests/codetoanalyze/c/frontend/nestedoperators/union.c.dot index 08fd28b37..030551f00 100644 --- a/infer/tests/codetoanalyze/c/frontend/nestedoperators/union.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/nestedoperators/union.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: l:int \n DECLARE_LOCALS(&return,&l); [line 29, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/offsetof_expr/offsetof_expr.c.dot b/infer/tests/codetoanalyze/c/frontend/offsetof_expr/offsetof_expr.c.dot index d2f54de1e..c565438e7 100644 --- a/infer/tests/codetoanalyze/c/frontend/offsetof_expr/offsetof_expr.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/offsetof_expr/offsetof_expr.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test_offsetof_expr.8f3e634fd0f68dff5e4bfedc8f65a55f_1" [label="1: Start test_offsetof_expr\nFormals: \nLocals: i:int \n DECLARE_LOCALS(&return,&i); [line 18, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/switchstmt/switch.c.dot b/infer/tests/codetoanalyze/c/frontend/switchstmt/switch.c.dot index ad7c40319..9c8768b76 100644 --- a/infer/tests/codetoanalyze/c/frontend/switchstmt/switch.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/switchstmt/switch.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "m1.ae7be26cdaa742ca148068d5ac90eaca_1" [label="1: Start m1\nFormals: \nLocals: x:int value:int \n DECLARE_LOCALS(&return,&x,&value); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/types/struct.c.dot b/infer/tests/codetoanalyze/c/frontend/types/struct.c.dot index a03c35c7b..95e4a03ab 100644 --- a/infer/tests/codetoanalyze/c/frontend/types/struct.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/types/struct.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test.098f6bcd4621d373cade4e832627b4f6_1" [label="1: Start test\nFormals: \nLocals: x:X \n DECLARE_LOCALS(&return,&x); [line 15, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/unusual_exps/generic_exp.c.dot b/infer/tests/codetoanalyze/c/frontend/unusual_exps/generic_exp.c.dot index c1b4ecf60..a0b2fb524 100644 --- a/infer/tests/codetoanalyze/c/frontend/unusual_exps/generic_exp.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/unusual_exps/generic_exp.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test_typename.b2359812ef4a83b4e2638a11e6c522b3_1" [label="1: Start test_typename\nFormals: \nLocals: z:int x:int y:int s:char \n DECLARE_LOCALS(&return,&z,&x,&y,&s); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/unusual_stmts/asm.c.dot b/infer/tests/codetoanalyze/c/frontend/unusual_stmts/asm.c.dot index b0f904017..2686662cd 100644 --- a/infer/tests/codetoanalyze/c/frontend/unusual_stmts/asm.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/unusual_stmts/asm.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test.098f6bcd4621d373cade4e832627b4f6_1" [label="1: Start test\nFormals: \nLocals: h:int z:int y:int x:int \n DECLARE_LOCALS(&return,&h,&z,&y,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/c/frontend/vaarg_expr/vaarg_expr.c.dot b/infer/tests/codetoanalyze/c/frontend/vaarg_expr/vaarg_expr.c.dot index 8c46ca46f..0fb610077 100644 --- a/infer/tests/codetoanalyze/c/frontend/vaarg_expr/vaarg_expr.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/vaarg_expr/vaarg_expr.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "vaarg_foo.73af1e8d32c2d09f7488c5fea173b853_1" [label="1: Start vaarg_foo\nFormals: x:int\nLocals: val:int i:int valist:void[1*24] \n DECLARE_LOCALS(&return,&val,&i,&valist); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/attributes/clang_fallthrough.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/attributes/clang_fallthrough.cpp.dot index fdd78d020..0d0ed5cb8 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/attributes/clang_fallthrough.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/attributes/clang_fallthrough.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "h#4941587955358707969.72d1ffab9146aba0866be6bd3e972603_1" [label="1: Start h\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/builtin/new.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/builtin/new.cpp.dot index 790818f8f..9711ce1cc 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/builtin/new.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/builtin/new.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: i:int* x:int \n DECLARE_LOCALS(&return,&i,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/destructors/break_scope.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/destructors/break_scope.cpp.dot index c5a20b1ba..b055fe70f 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/destructors/break_scope.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/destructors/break_scope.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test_while1#break_scope#17740518799763849642.b3409b963f3ece06bd5b04dd968e5c61_1" [label="1: Start break_scope::test_while1\nFormals: a:_Bool b:_Bool\nLocals: x2:break_scope::X x4:break_scope::X x1:break_scope::X \n DECLARE_LOCALS(&return,&x2,&x4,&x1); [line 68, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/destructors/call_destructor.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/destructors/call_destructor.cpp.dot index 53d66f5cc..06ab35074 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/destructors/call_destructor.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/destructors/call_destructor.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "f#3072121847520995784.879d673a5bab84df6d2f71ce7f834b14_1" [label="1: Start f\nFormals: p:Person*\nLocals: \n DECLARE_LOCALS(&return); [line 15, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/destructors/call_on_delete.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/destructors/call_on_delete.cpp.dot index cb233b436..70d1e284c 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/destructors/call_on_delete.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/destructors/call_on_delete.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "deleteInt#11507157942721721842.63c462d9916f225a70cc32ed39aaaf5f_1" [label="1: Start deleteInt\nFormals: x:int*\nLocals: \n DECLARE_LOCALS(&return); [line 16, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/destructors/continue_scope.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/destructors/continue_scope.cpp.dot index e8474568c..16e50e4cf 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/destructors/continue_scope.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/destructors/continue_scope.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test_while1#continue_scope#7540876780991944911.b81085ce953e1cd4f035dc0322ac5331_1" [label="1: Start continue_scope::test_while1\nFormals: a:_Bool b:_Bool\nLocals: x2:continue_scope::X x4:continue_scope::X x1:continue_scope::X \n DECLARE_LOCALS(&return,&x2,&x4,&x1); [line 68, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/destructors/destructor_bases.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/destructors/destructor_bases.cpp.dot index 00001b4a8..b3ead1589 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/destructors/destructor_bases.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/destructors/destructor_bases.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "A#A#{14779025497907219583}.17208581fb4c6bbf4d62e29851fb70ab_1" [label="1: Start A_A\nFormals: this:A*\nLocals: \n DECLARE_LOCALS(&return); [line 16, column 3]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/destructors/pseudo_destructor_expr.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/destructors/pseudo_destructor_expr.cpp.dot index 04f976b6d..16d420279 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/destructors/pseudo_destructor_expr.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/destructors/pseudo_destructor_expr.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: t:int* \n DECLARE_LOCALS(&return,&t); [line 23, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/destructors/scope.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/destructors/scope.cpp.dot index 2a46a44f9..9f0691e13 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/destructors/scope.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/destructors/scope.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "callgetZ#destructor_scope#16418724657639342926.f4c0cbb2a5d892ea82496dd2540a9ead_1" [label="1: Start destructor_scope::callgetZ\nFormals: \nLocals: 0$?%__sil_tmp__temp_return_n$1:destructor_scope::Z \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_return_n$1); [line 84, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/destructors/simple_decl.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/destructors/simple_decl.cpp.dot index d66c73fdd..5a18b4d30 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/destructors/simple_decl.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/destructors/simple_decl.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "__infer_inner_destructor_~A#A#(5328378654181921475).fc82b49c4db05388a691369e292a802b_1" [label="1: Start A___infer_inner_destructor_~A\nFormals: this:A*\nLocals: \n DECLARE_LOCALS(&return); [line 12, column 3]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/globals/global_const1.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/globals/global_const1.cpp.dot index c850c0928..d348dff25 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/globals/global_const1.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/globals/global_const1.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_1" [label="1: Start __infer_globals_initializer_global\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 13, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/globals/global_const2.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/globals/global_const2.cpp.dot index b049e2088..043deebf4 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/globals/global_const2.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/globals/global_const2.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_1" [label="1: Start __infer_globals_initializer_global\nFormals: \nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$0:int \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/globals/initializer.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/globals/initializer.cpp.dot index ea21eea00..940a230e7 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/globals/initializer.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/globals/initializer.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "__infer_globals_initializer_x#346c89dda90b0be6289346ddbf0528bc.83245b9f254e67fb6f879cc1e35a1bb1_1" [label="1: Start __infer_globals_initializer_x\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 14, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/include_header/include_only.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/include_header/include_only.cpp.dot index fc1bc7194..7555b9ee3 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/include_header/include_only.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/include_header/include_only.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_fun#2527227853465305967.2e5cae3a3cba8aac956bae4ee8f04218_1" [label="1: Start div0_fun\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 19, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/include_header/include_templ.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/include_header/include_templ.cpp.dot index 8e2e20d7c..99fa3bdd0 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/include_header/include_templ.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/include_header/include_templ.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_B_int#1022620961131326491.1d61c8d3035b9223f336f2b0e83b1cd8_1" [label="1: Start div0_B_int\nFormals: \nLocals: b:B \n DECLARE_LOCALS(&return,&b); [line 13, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/initialization/init_list.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/initialization/init_list.cpp.dot index 87931766f..f4d2fc600 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/initialization/init_list.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/initialization/init_list.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "zero_init_primitive#init_list#3465759276925732066.1d03db1e38d38f4b345f33049176e92c_1" [label="1: Start init_list::zero_init_primitive\nFormals: \nLocals: f:float p:int* i:int \n DECLARE_LOCALS(&return,&f,&p,&i); [line 27, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/keywords/self_parameter.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/keywords/self_parameter.cpp.dot index fdc2b8d66..6da445e1f 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/keywords/self_parameter.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/keywords/self_parameter.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#14183353284361723530.9ab958283f2da536d334b673bc9197cb_1" [label="1: Start test\nFormals: a:A*\nLocals: \n DECLARE_LOCALS(&return); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/literals/nullptr.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/literals/nullptr.cpp.dot index 4c1379ebd..ef6c26aa5 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/literals/nullptr.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/literals/nullptr.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "getPtr#4816258365355431750.3065f9a978ec924d84739cae55c710c4_1" [label="1: Start getPtr\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/literals/scalar_value_init.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/literals/scalar_value_init.cpp.dot index cd65c5d7e..a0df42c1d 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/literals/scalar_value_init.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/literals/scalar_value_init.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "get#8194971217283422499.150bc0995c110083a73c0ededcfe6d76_1" [label="1: Start get\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 13, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/literals/user_defined.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/literals/user_defined.cpp.dot index c72a5f65a..11ef83587 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/literals/user_defined.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/literals/user_defined.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "foo#972162870672026475.86d7db357d6a36081d09067fb38ce85e_1" [label="1: Start foo\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/loops/do_while.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/loops/do_while.cpp.dot index b178b861c..ea4c0eb5a 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/loops/do_while.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/loops/do_while.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test1#18336337528475129646.aabe036d545fef7e4b4a130ea21a585c_1" [label="1: Start test1\nFormals: a:_Bool b:_Bool\nLocals: x:int \n DECLARE_LOCALS(&return,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/loops/foreach1.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/loops/foreach1.cpp.dot index 5d8a6304f..9684f854b 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/loops/foreach1.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/loops/foreach1.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: __end:iterator 0$?%__sil_tmpSIL_materialize_temp__n$0:iterator __begin:iterator 0$?%__sil_tmpSIL_materialize_temp__n$4:iterator 0$?%__sil_tmp__temp_return_n$9:iterator 0$?%__sil_tmp__temp_construct_n$10:iterator 0$?%__sil_tmp__temp_construct_n$11:iterator temp:int value:int __range:vec& vector:vec \n DECLARE_LOCALS(&return,&__end,&0$?%__sil_tmpSIL_materialize_temp__n$0,&__begin,&0$?%__sil_tmpSIL_materialize_temp__n$4,&0$?%__sil_tmp__temp_return_n$9,&0$?%__sil_tmp__temp_construct_n$10,&0$?%__sil_tmp__temp_construct_n$11,&temp,&value,&__range,&vector); [line 35, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/assign_in_condition.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/assign_in_condition.cpp.dot index 90609fcb1..e6e061d36 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/assign_in_condition.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/assign_in_condition.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "foo#2836494104225061820.259bb50e98efa97b98306a2c09f474f8_1" [label="1: Start foo\nFormals: p:int*\nLocals: \n DECLARE_LOCALS(&return); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/assign_with_increment.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/assign_with_increment.cpp.dot index b8fe79988..9139de060 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/assign_with_increment.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/assign_with_increment.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: e:int d:int c:int b:int a:int \n DECLARE_LOCALS(&return,&e,&d,&c,&b,&a); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/union.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/union.cpp.dot index 836cbff3d..82ddf4d9a 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/union.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/nestedoperators/union.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "__infer_globals_initializer_y.0ea250be2dd991733c9131c53abc3c54_1" [label="1: Start __infer_globals_initializer_y\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 15, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/frontend/vectors/shuffle_vector.cpp.dot b/infer/tests/codetoanalyze/cpp/frontend/vectors/shuffle_vector.cpp.dot index 266be0cf3..de0e3a6d0 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/vectors/shuffle_vector.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/frontend/vectors/shuffle_vector.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "simple#17639603251097432993.e5c9feb95ecff69f23df6ce422f34819_1" [label="1: Start simple\nFormals: vec:void\nLocals: \n DECLARE_LOCALS(&return); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/attributes/annotate.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/attributes/annotate.cpp.dot index b21160759..5965bbae6 100644 --- a/infer/tests/codetoanalyze/cpp/shared/attributes/annotate.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/attributes/annotate.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "derefFirstArg_null_deref#14830687999166111591.325df3347d8f75d0292cfd33a485d28a_1" [label="1: Start derefFirstArg_null_deref\nFormals: \nLocals: a:int \n DECLARE_LOCALS(&return,&a); [line 37, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/conditional/binary_conditional.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/conditional/binary_conditional.cpp.dot index 5441dd51b..f998d61d9 100644 --- a/infer/tests/codetoanalyze/cpp/shared/conditional/binary_conditional.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/conditional/binary_conditional.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "binaryConditional#binary_conditional#15641211300815748363.a0f7e256e24b7117cb94c66e5aa27a30_1" [label="1: Start binary_conditional::binaryConditional\nFormals: \nLocals: x:binary_conditional::X 0$?%__sil_tmpSIL_temp_conditional___n$2:binary_conditional::X 0$?%__sil_tmpSIL_materialize_temp__n$4:binary_conditional::X 0$?%__sil_tmpSIL_materialize_temp__n$0:binary_conditional::X a:binary_conditional::X \n DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_temp_conditional___n$2,&0$?%__sil_tmpSIL_materialize_temp__n$4,&0$?%__sil_tmpSIL_materialize_temp__n$0,&a); [line 22, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/conditional/lvalue_conditional.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/conditional/lvalue_conditional.cpp.dot index f2baf9af5..a97c23f5d 100644 --- a/infer/tests/codetoanalyze/cpp/shared/conditional/lvalue_conditional.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/conditional/lvalue_conditional.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_choose_lvalue#13889289797749672490.33434dbd9bc43b011249899260680670_1" [label="1: Start div0_choose_lvalue\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 33, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_array.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_array.cpp.dot index 9d4817979..ec12a0291 100644 --- a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_array.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_array.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "array_of_person#7945672701495610995.0fecf6778237d47d15191cac7fab514c_1" [label="1: Start array_of_person\nFormals: \nLocals: arr:Person[10*4] 0$?%__sil_tmpSIL_materialize_temp__n$1:Person 0$?%__sil_tmpSIL_materialize_temp__n$2:Person 0$?%__sil_tmpSIL_materialize_temp__n$3:Person \n DECLARE_LOCALS(&return,&arr,&0$?%__sil_tmpSIL_materialize_temp__n$1,&0$?%__sil_tmpSIL_materialize_temp__n$2,&0$?%__sil_tmpSIL_materialize_temp__n$3); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_default_arg.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_default_arg.cpp.dot index 8a1e3a20f..644968ad8 100644 --- a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_default_arg.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_default_arg.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: x3:X x2:X x1:X \n DECLARE_LOCALS(&return,&x3,&x2,&x1); [line 20, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_init.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_init.cpp.dot index 43f4d2774..978ba4e64 100644 --- a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_init.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_init.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "f2_div0#7534053771484990951.dd0b0233a011b5600e68aef2c840bcef_1" [label="1: Start f2_div0\nFormals: \nLocals: b:B \n DECLARE_LOCALS(&return,&b); [line 27, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_new.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_new.cpp.dot index f4bc34bde..c38b41929 100644 --- a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_new.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_new.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "constructor_1_arg_new_div0#constructor_new#798841234716809588.2c010a7c7293e961b9ed8149c3f3debe_1" [label="1: Start constructor_new::constructor_1_arg_new_div0\nFormals: \nLocals: p:constructor_new::Person* \n DECLARE_LOCALS(&return,&p); [line 29, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_struct_init_list.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_struct_init_list.cpp.dot index 9766586f0..f34ba25f4 100644 --- a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_struct_init_list.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_struct_init_list.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: p:Person 0$?%__sil_tmpSIL_init_list__n$0:Insets \n DECLARE_LOCALS(&return,&p,&0$?%__sil_tmpSIL_init_list__n$0); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_with_body.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_with_body.cpp.dot index 4836c001d..3f6ffadd7 100644 --- a/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_with_body.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/constructors/constructor_with_body.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test_div0#constructor_with_body#14177342253516869661.07f5b28b5e0b5cf0bd1b639da4232d5e_1" [label="1: Start constructor_with_body::test_div0\nFormals: \nLocals: x:constructor_with_body::X \n DECLARE_LOCALS(&return,&x); [line 30, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/constructors/copy_array_field.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/constructors/copy_array_field.cpp.dot index 172edea7b..4adf3b70e 100644 --- a/infer/tests/codetoanalyze/cpp/shared/constructors/copy_array_field.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/constructors/copy_array_field.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "npe#copy_array_field#77301322902488828.946ed5a43ad43585633fa030996f9ad5_1" [label="1: Start copy_array_field::npe\nFormals: \nLocals: x2:copy_array_field::X x1:copy_array_field::X \n DECLARE_LOCALS(&return,&x2,&x1); [line 15, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/constructors/copy_move_constructor.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/constructors/copy_move_constructor.cpp.dot index 5e227c79d..5cbb33286 100644 --- a/infer/tests/codetoanalyze/cpp/shared/constructors/copy_move_constructor.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/constructors/copy_move_constructor.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "copyX_div0#copy_move_constructor#7555826423954612298.1fd45599e2fc3ce471d7d474aa615bcb_1" [label="1: Start copy_move_constructor::copyX_div0\nFormals: \nLocals: x2:copy_move_constructor::X x1:copy_move_constructor::X \n DECLARE_LOCALS(&return,&x2,&x1); [line 41, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/constructors/default_field_init.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/constructors/default_field_init.cpp.dot index 935170026..12201dd04 100644 --- a/infer/tests/codetoanalyze/cpp/shared/constructors/default_field_init.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/constructors/default_field_init.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: y:Y \n DECLARE_LOCALS(&return,&y); [line 25, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/constructors/std_init_list.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/constructors/std_init_list.cpp.dot index 8b9f73fd1..a2b7721e3 100644 --- a/infer/tests/codetoanalyze/cpp/shared/constructors/std_init_list.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/constructors/std_init_list.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: x:X 0$?%__sil_tmpSIL_materialize_temp__n$0:int const [5*4] const \n DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 24, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/constructors/temp_object.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/constructors/temp_object.cpp.dot index ab30de5ca..b05ddc416 100644 --- a/infer/tests/codetoanalyze/cpp/shared/constructors/temp_object.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/constructors/temp_object.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "assign_temp_div0#temp_object#6618523570396537240.fa2055065ca23850cee50c855993cd3a_1" [label="1: Start temp_object::assign_temp_div0\nFormals: \nLocals: x:temp_object::X 0$?%__sil_tmpSIL_materialize_temp__n$2:temp_object::X const \n DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 28, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/exceptions/Exceptions.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/exceptions/Exceptions.cpp.dot index 2a2003696..69c7d9586 100644 --- a/infer/tests/codetoanalyze/cpp/shared/exceptions/Exceptions.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/exceptions/Exceptions.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "call_deref_with_null#4611966425999531792.6346543307e9a799421a89e451b917c2_1" [label="1: Start call_deref_with_null\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 24, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/exceptions/noexception.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/exceptions/noexception.cpp.dot index e9668bf1e..28c603298 100644 --- a/infer/tests/codetoanalyze/cpp/shared/exceptions/noexception.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/exceptions/noexception.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "throw1#4773723525933624289.6b9b3759b03b1236af3e9e5fdf9a4f32_1" [label="1: Start throw1\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/lambda/lambda1.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/lambda/lambda1.cpp.dot index 57fa10489..9e66d156d 100644 --- a/infer/tests/codetoanalyze/cpp/shared/lambda/lambda1.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/lambda/lambda1.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "bar#13629960763458822780.27859d4aca4c920a20241f1b78082005_1" [label="1: Start bar\nFormals: \nLocals: func:bar::lambda_shared_lambda_lambda1.cpp:11:15 0$?%__sil_tmpSIL_materialize_temp__n$1:bar::lambda_shared_lambda_lambda1.cpp:11:15 \n DECLARE_LOCALS(&return,&func,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/methods/byvals.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/methods/byvals.cpp.dot index 033de1bb6..a3744fdb3 100644 --- a/infer/tests/codetoanalyze/cpp/shared/methods/byvals.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/methods/byvals.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "dummy_struct#__infer_globals_initializer_pass_by_val.24fe54080733cebf362d2b34e691bb44_1" [label="1: Start __infer_globals_initializer_pass_by_val::dummy_struct\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/methods/conversion_operator.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/methods/conversion_operator.cpp.dot index 57f6324b9..73e57ef1b 100644 --- a/infer/tests/codetoanalyze/cpp/shared/methods/conversion_operator.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/methods/conversion_operator.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "branch_div0#conversion_operator#6762751670974669482.0ad6ec49c1dc8988836c6e44e9d2b402_1" [label="1: Start conversion_operator::branch_div0\nFormals: \nLocals: v:int x:conversion_operator::X \n DECLARE_LOCALS(&return,&v,&x); [line 34, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/methods/default_parameters.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/methods/default_parameters.cpp.dot index b602fc54c..558a4bf68 100644 --- a/infer/tests/codetoanalyze/cpp/shared/methods/default_parameters.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/methods/default_parameters.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "call_method_with_default_parameters#7436997991634263214.eaaed1a0020d12e677ebd0f9049f2e4a_1" [label="1: Start call_method_with_default_parameters\nFormals: \nLocals: a_ptr:A* \n DECLARE_LOCALS(&return,&a_ptr); [line 16, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/methods/dereference_this.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/methods/dereference_this.cpp.dot index 0bdd715e4..882a7320e 100644 --- a/infer/tests/codetoanalyze/cpp/shared/methods/dereference_this.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/methods/dereference_this.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: a_ptr:A* \n DECLARE_LOCALS(&return,&a_ptr); [line 23, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/methods/inline_method.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/methods/inline_method.cpp.dot index 7aa64e514..570c2f140 100644 --- a/infer/tests/codetoanalyze/cpp/shared/methods/inline_method.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/methods/inline_method.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test_call#15378839304774239070.15b3496769d2a65d506975ce94efc03a_1" [label="1: Start test_call\nFormals: \nLocals: a_ptr:A* \n DECLARE_LOCALS(&return,&a_ptr); [line 23, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/methods/overloading.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/methods/overloading.cpp.dot index bbd3cd79f..39db3ae3f 100644 --- a/infer/tests/codetoanalyze/cpp/shared/methods/overloading.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/methods/overloading.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: a_ptr:A* \n DECLARE_LOCALS(&return,&a_ptr); [line 20, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/methods/return_struct.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/methods/return_struct.cpp.dot index 7a0a1df8a..3f9ceb5e8 100644 --- a/infer/tests/codetoanalyze/cpp/shared/methods/return_struct.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/methods/return_struct.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#14183353284361723530.9ab958283f2da536d334b673bc9197cb_1" [label="1: Start test\nFormals: a:A*\nLocals: x:X 0$?%__sil_tmpSIL_materialize_temp__n$1:X \n DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 21, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/methods/static.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/methods/static.cpp.dot index e79f896a8..1dfdd7ccb 100644 --- a/infer/tests/codetoanalyze/cpp/shared/methods/static.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/methods/static.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_class#4984704850372216251.260ce38d809793fc3e38787f8d1eb4d6_1" [label="1: Start div0_class\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/methods/virtual_methods.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/methods/virtual_methods.cpp.dot index ed76fefb5..259beb94b 100644 --- a/infer/tests/codetoanalyze/cpp/shared/methods/virtual_methods.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/methods/virtual_methods.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "rect_area#9087317270636867019.dedb17c23e2d96ddd6e1087003e78815_1" [label="1: Start rect_area\nFormals: \nLocals: ppoly1:Polygon* rect:Rectangle \n DECLARE_LOCALS(&return,&ppoly1,&rect); [line 38, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/namespace/function.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/namespace/function.cpp.dot index 6ba17a992..8508fcfd6 100644 --- a/infer/tests/codetoanalyze/cpp/shared/namespace/function.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/namespace/function.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "get#f1#11182918362941702717.40a87222281cbcdb639beb16ed92bf79_1" [label="1: Start f1::get\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 11, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/namespace/global_variable.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/namespace/global_variable.cpp.dot index 744235307..d508ec509 100644 --- a/infer/tests/codetoanalyze/cpp/shared/namespace/global_variable.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/namespace/global_variable.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_namepace_res#2404445022135827615.21a14d3c59bb168093c5935b4fa42647_1" [label="1: Start div0_namepace_res\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 28, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/namespace/namespace.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/namespace/namespace.cpp.dot index b130dbb43..ab92b2065 100644 --- a/infer/tests/codetoanalyze/cpp/shared/namespace/namespace.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/namespace/namespace.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "value#foo#118977410660901546.9623db3632a56e3cb17951602d147a29_1" [label="1: Start foo::value\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_for.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_for.cpp.dot index 869a98e0f..4f1737a47 100644 --- a/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_for.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_for.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "simple_init#1527365342003611175.8f75bf8cf2aefccd4d47ab9274e1f9af_1" [label="1: Start simple_init\nFormals: \nLocals: i:int x:int result:int \n DECLARE_LOCALS(&return,&i,&x,&result); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_if.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_if.cpp.dot index a8c0de68b..e627d692f 100644 --- a/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_if.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_if.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "simple_init_div1#11746272153330047279.0563640869475a4683e824c15c85a68a_1" [label="1: Start simple_init_div1\nFormals: \nLocals: a:int \n DECLARE_LOCALS(&return,&a); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_switch.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_switch.cpp.dot index d572fab04..4382e4b02 100644 --- a/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_switch.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_switch.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "get#10177141129833125794.403aae26476e3a02c544075e122228e0_1" [label="1: Start get\nFormals: a:int\nLocals: x:int \n DECLARE_LOCALS(&return,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_while.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_while.cpp.dot index 1ecb4b0de..9b53ea3a5 100644 --- a/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_while.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/nestedoperators/var_decl_inside_while.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "simple_assignment#6454162814810356464.3b57619dd6c2d612798bc9ac9e7cf8ee_1" [label="1: Start simple_assignment\nFormals: \nLocals: a:int result:int x:int \n DECLARE_LOCALS(&return,&a,&result,&x); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/npe/method_call.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/npe/method_call.cpp.dot index a1470d3a1..ff84bc8ac 100644 --- a/infer/tests/codetoanalyze/cpp/shared/npe/method_call.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/npe/method_call.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "npe_call#13153501568930109452.8b51ea84ce0a673218a9c81b7ab70538_1" [label="1: Start npe_call\nFormals: \nLocals: x:X* \n DECLARE_LOCALS(&return,&x); [line 15, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/box.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/box.cpp.dot index db12d909f..cb30a356d 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/box.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/box.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: p:int* r:int& v:int \n DECLARE_LOCALS(&return,&p,&r,&v); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/increment.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/increment.cpp.dot index 784ad10ec..d5a41e8be 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/increment.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/increment.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "using_value#13692921440907975250.fad67099f85ea68eb3281c85bd0ca170_1" [label="1: Start using_value\nFormals: \nLocals: q:int& r:int& v:int \n DECLARE_LOCALS(&return,&q,&r,&v); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/init.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/init.cpp.dot index df0847b27..4231c2017 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/init.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/init.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "init_from_val#14538961741925123970.e5e29991fa3b6aa0a341c0c9f54754a7_1" [label="1: Start init_from_val\nFormals: par:int\nLocals: p:int* d:int& v:int \n DECLARE_LOCALS(&return,&p,&d,&v); [line 16, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/member_access.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/member_access.cpp.dot index 1c0b2761b..ff529affb 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/member_access.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/member_access.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "access_ptr#15321479508398739907.c982e7d4bf02ada6326387e65b321af4_1" [label="1: Start access_ptr\nFormals: x:X*\nLocals: c:int f:int \n DECLARE_LOCALS(&return,&c,&f); [line 20, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/member_access_from_return.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/member_access_from_return.cpp.dot index 9c428383f..2bcf512f9 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/member_access_from_return.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/member_access_from_return.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_1" [label="1: Start __infer_globals_initializer_global\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 15, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/nested_assignment.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/nested_assignment.cpp.dot index 5e4c22cb6..9f8c7cadb 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/nested_assignment.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/nested_assignment.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "normal#16009437256715545217.c7cd9ebbb6d7cc9f4987cf90ce12a044_1" [label="1: Start normal\nFormals: \nLocals: ref_from_ref:int& ref_from_val:int& a:int \n DECLARE_LOCALS(&return,&ref_from_ref,&ref_from_val,&a); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/ptr_mem.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/ptr_mem.cpp.dot index fc79440e2..c57fc25a2 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/ptr_mem.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/ptr_mem.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: i:item l:List \n DECLARE_LOCALS(&return,&i,&l); [line 32, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/reference_field.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/reference_field.cpp.dot index d24a87644..16b3434f8 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/reference_field.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/reference_field.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "ref_F_div0#reference_field#11041134718140208132.6e58f8c7050613499e915a7d12b0f081_1" [label="1: Start reference_field::ref_F_div0\nFormals: \nLocals: r:reference_field::Ref x:reference_field::X \n DECLARE_LOCALS(&return,&r,&x); [line 48, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/reference_struct_e2e.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/reference_struct_e2e.cpp.dot index f7b725a62..e4402550a 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/reference_struct_e2e.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/reference_struct_e2e.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_1" [label="1: Start __infer_globals_initializer_global\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 29, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/reference_type_e2e.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/reference_type_e2e.cpp.dot index 3fde47f3c..1280b0bad 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/reference_type_e2e.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/reference_type_e2e.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "ptr_div0#14193575060740497524.6928690623c7c21a5a52547c8cdd4310_1" [label="1: Start ptr_div0\nFormals: \nLocals: p:int* a:int \n DECLARE_LOCALS(&return,&p,&a); [line 13, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/temporary_lvalue.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/temporary_lvalue.cpp.dot index 1871e15d2..6006c7f3a 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/temporary_lvalue.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/temporary_lvalue.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_init_expr#16429869714979266683.46e79db6a434bbf3e121689869095925_1" [label="1: Start div0_init_expr\nFormals: \nLocals: a:int const & 0$?%__sil_tmpSIL_materialize_temp__n$2:int \n DECLARE_LOCALS(&return,&a,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/reference/unbox.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/reference/unbox.cpp.dot index 5bd7ffe3c..e3a55c92e 100644 --- a/infer/tests/codetoanalyze/cpp/shared/reference/unbox.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/reference/unbox.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "unbox_ref#9977470601320200599.91094dce9e5b43dc4c89abcbc69b2c70_1" [label="1: Start unbox_ref\nFormals: \nLocals: r:int& a:int \n DECLARE_LOCALS(&return,&r,&a); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/templates/class_specialization.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/templates/class_specialization.cpp.dot index cd2fa0b85..d85b06120 100644 --- a/infer/tests/codetoanalyze/cpp/shared/templates/class_specialization.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/templates/class_specialization.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "foo_intptr#class_specialization#3914514069521239538.096096ddd8eb9462872f535952d6e0a5_1" [label="1: Start class_specialization::foo_intptr\nFormals: \nLocals: x:int b:class_specialization::Derived \n DECLARE_LOCALS(&return,&x,&b); [line 26, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/templates/class_template_instantiate.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/templates/class_template_instantiate.cpp.dot index ca7b6ed8b..b1a6bf792 100644 --- a/infer/tests/codetoanalyze/cpp/shared/templates/class_template_instantiate.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/templates/class_template_instantiate.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "choose2_div0_no_report#2695819694034608079.37b94e5ad3118293eeb303180a8ab569_1" [label="1: Start choose2_div0_no_report\nFormals: s:ExecStore&\nLocals: \n DECLARE_LOCALS(&return); [line 34, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/templates/function.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/templates/function.cpp.dot index b70581466..ad7d4bd91 100644 --- a/infer/tests/codetoanalyze/cpp/shared/templates/function.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/templates/function.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "createAndGetVal#function#6914861794749950810.03576380bf9ba7f93eef05bd79193575_1" [label="1: Start function::createAndGetVal\nFormals: \nLocals: x:function::X1 \n DECLARE_LOCALS(&return,&x); [line 36, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/templates/function_pack.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/templates/function_pack.cpp.dot index f74d3a8a8..9c02d7802 100644 --- a/infer/tests/codetoanalyze/cpp/shared/templates/function_pack.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/templates/function_pack.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_1arg#8396809931617150800.6140bce2d0bf65a5e0ac14dc05241b15_1" [label="1: Start div0_1arg\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/templates/method.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/templates/method.cpp.dot index 832d1903b..ca9821010 100644 --- a/infer/tests/codetoanalyze/cpp/shared/templates/method.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/templates/method.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_getter#method#14570248362286164751.5f9f1e67fd1ac95f6c38eb7d407ea9ec_1" [label="1: Start method::div0_getter\nFormals: \nLocals: g:method::Getter x2:method::X2 \n DECLARE_LOCALS(&return,&g,&x2); [line 39, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/templates/simple.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/templates/simple.cpp.dot index 362ef4904..2b2ec956b 100644 --- a/infer/tests/codetoanalyze/cpp/shared/templates/simple.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/templates/simple.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_template_field#16893301392201012428.8e63a0ece60a1b5e4e7b3cfa5d3dddd8_1" [label="1: Start div0_template_field\nFormals: v:Container&\nLocals: \n DECLARE_LOCALS(&return); [line 19, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/templates/sizeof_pack.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/templates/sizeof_pack.cpp.dot index 3de44073d..fa9d8d61e 100644 --- a/infer/tests/codetoanalyze/cpp/shared/templates/sizeof_pack.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/templates/sizeof_pack.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "__infer_globals_initializer_test.19c6153ea70b713d8d2a1a0fd4ae91e3_1" [label="1: Start __infer_globals_initializer_test\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:int 0$?%__sil_tmpSIL_materialize_temp__n$1:int 0$?%__sil_tmpSIL_materialize_temp__n$2:int \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0,&0$?%__sil_tmpSIL_materialize_temp__n$1,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 23, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/casts.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/casts.cpp.dot index d14e00b07..89f44fafc 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/casts.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/casts.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "stat_cast#12446126613472042601.03b0c783caaf8ed84eb6e909b7645c57_1" [label="1: Start stat_cast\nFormals: \nLocals: la:long long a:int \n DECLARE_LOCALS(&return,&la,&a); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/const.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/const.cpp.dot index e57bb0a33..8f3121393 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/const.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/const.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "call_const_params_with_address#9224946220162093338.ede5d9916aae78a9bdce4ac18328cdb4_1" [label="1: Start call_const_params_with_address\nFormals: \nLocals: cx:int const x:int \n DECLARE_LOCALS(&return,&cx,&x); [line 13, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/functions.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/functions.cpp.dot index 2c7959d49..70f2eb27e 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/functions.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/functions.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 18, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/inheritance.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/inheritance.cpp.dot index 5a46faafb..55d0daa3c 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/inheritance.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/inheritance.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "call_static_methods#2229162425019005814.6b8ed680875ca5e183f8fa3b51ea6718_1" [label="1: Start call_static_methods\nFormals: \nLocals: s2:Sub* s1:Base* b:Base* \n DECLARE_LOCALS(&return,&s2,&s1,&b); [line 21, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/inheritance_casts.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/inheritance_casts.cpp.dot index 984c19bb6..8ef2b08e2 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/inheritance_casts.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/inheritance_casts.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_A#inheritance_casts#7658516495554603699.e5c3e3413f6eac12dda7dd76db597c34_1" [label="1: Start inheritance_casts::div0_A\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:inheritance_casts::A \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 28, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/inheritance_field.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/inheritance_field.cpp.dot index e0dee4f9a..d11cbdca8 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/inheritance_field.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/inheritance_field.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_cast#5945090778893539301.687c05d84c9555932644bbb5c32ec8a3_1" [label="1: Start div0_cast\nFormals: s:Sub*\nLocals: b:Base1* \n DECLARE_LOCALS(&return,&b); [line 37, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/operator_overload.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/operator_overload.cpp.dot index 45b1a2906..bc9ead8ec 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/operator_overload.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/operator_overload.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "div0_method_op_ptr#10912550985860444792.096d01aa199facb5a8d76aa262f16057_1" [label="1: Start div0_method_op_ptr\nFormals: x:X*\nLocals: \n DECLARE_LOCALS(&return); [line 26, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/return_struct.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/return_struct.cpp.dot index 46b28ea9c..d2f84c758 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/return_struct.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/return_struct.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "get_div0#return_struct#3543093399648500387.0c3db3a444952aefeee44e54da50327a_1" [label="1: Start return_struct::get_div0\nFormals: \nLocals: x:return_struct::X 0$?%__sil_tmpSIL_materialize_temp__n$1:return_struct::X \n DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 27, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/struct.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/struct.cpp.dot index b639cd38a..7affb25f0 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/struct.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/struct.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: xc:X_class* xs:X_struct* \n DECLARE_LOCALS(&return,&xc,&xs); [line 21, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/struct_forward_declare.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/struct_forward_declare.cpp.dot index afac93406..0bd090a94 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/struct_forward_declare.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/struct_forward_declare.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "X_div0#struct_forward_declare#14943490796844086809.e860fd7462df24ba7720802867a02ac2_1" [label="1: Start struct_forward_declare::X_div0\nFormals: \nLocals: x:struct_forward_declare::X \n DECLARE_LOCALS(&return,&x); [line 36, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp.dot index 7cf41d2f9..9ff0d6460 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "var_div0#struct_pass_by_value#10764880494979445665.44da929aedf0cdc1afaea064cb399051_1" [label="1: Start struct_pass_by_value::var_div0\nFormals: \nLocals: 0$?%__sil_tmp__temp_construct_n$0:struct_pass_by_value::X x:struct_pass_by_value::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_construct_n$0,&x); [line 27, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/type_trait_expr.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/type_trait_expr.cpp.dot index 10175d7d0..0a0dcc420 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/type_trait_expr.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/type_trait_expr.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "is_trivial_example#10742835098923825644.8d15716e7ef1310064fb1fe16e18181f_1" [label="1: Start is_trivial_example\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/cpp/shared/types/typeid_expr.cpp.dot b/infer/tests/codetoanalyze/cpp/shared/types/typeid_expr.cpp.dot index ab5eb6b36..c533e2ac1 100644 --- a/infer/tests/codetoanalyze/cpp/shared/types/typeid_expr.cpp.dot +++ b/infer/tests/codetoanalyze/cpp/shared/types/typeid_expr.cpp.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_1" [label="1: Start person_typeid\nFormals: \nLocals: t:int person:Person \n DECLARE_LOCALS(&return,&t,&person); [line 19]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/block/retain_cycle.m.dot b/infer/tests/codetoanalyze/objc/frontend/block/retain_cycle.m.dot index 045c1a25e..65cf06f5f 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/retain_cycle.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/block/retain_cycle.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "foo.acbd18db4cc2f85cedef654fccc4a4d8_1" [label="1: Start foo\nFormals: a:A*\nLocals: \n DECLARE_LOCALS(&return); [line 54, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/block/static.m.dot b/infer/tests/codetoanalyze/objc/frontend/block/static.m.dot index 6c8ff886f..170990ac5 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/static.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/block/static.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#A#class.c69ae9e6be36a2eeb5dcbaa1187c354d_1" [label="1: Start A_test\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 18, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.m.dot b/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.m.dot index d7586ea69..d18e0d5d8 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "getIntExp#Boxing#instance.1230c4f8d594629f186c72bd450c75b1_1" [label="1: Start Boxing_getIntExp\nFormals: self:Boxing*\nLocals: n:NSNumber* y:int x:int \n DECLARE_LOCALS(&return,&n,&y,&x); [line 14, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/array.m.dot b/infer/tests/codetoanalyze/objc/frontend/boxing/array.m.dot index 6883b6ca1..082bea599 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/array.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/array.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: item:NSString* germanCars:NSArray* s:NSString* \n DECLARE_LOCALS(&return,&item,&germanCars,&s); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/array_literal.c.dot b/infer/tests/codetoanalyze/objc/frontend/boxing/array_literal.c.dot index 4abcc5d9e..44342ee87 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/array_literal.c.dot +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/array_literal.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "get_array.bca6b16c85e5b8ba530f380271b2ec79_1" [label="1: Start get_array\nFormals: \nLocals: animals:NSArray* \n DECLARE_LOCALS(&return,&animals); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c.dot b/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c.dot index 6a0adfb02..35c86adde 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c.dot +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "get_array1.5988b7ad8acf5c81cef9a72d072073c1_1" [label="1: Start get_array1\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/string_literal.c.dot b/infer/tests/codetoanalyze/objc/frontend/boxing/string_literal.c.dot index 74120f8fb..24a2393cd 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/string_literal.c.dot +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/string_literal.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "get_string1.37988b3a9459aa3258beba816a2c79fc_1" [label="1: Start get_string1\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/conditional_operation/ConditionalOperation.m.dot b/infer/tests/codetoanalyze/objc/frontend/conditional_operation/ConditionalOperation.m.dot index cd38ad1dd..e1cc93999 100644 --- a/infer/tests/codetoanalyze/objc/frontend/conditional_operation/ConditionalOperation.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/conditional_operation/ConditionalOperation.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test5:#A#instance.4d6ac42705853160b533ab46b444624a_1" [label="1: Start A_test5:\nFormals: self:A* b:_Bool\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$2:int \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$2); [line 23, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/exceptions/ExceptionExample.m.dot b/infer/tests/codetoanalyze/objc/frontend/exceptions/ExceptionExample.m.dot index 7b60e7d50..5efb4ef5e 100644 --- a/infer/tests/codetoanalyze/objc/frontend/exceptions/ExceptionExample.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/exceptions/ExceptionExample.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#ExceptionExample#instance.513cde8d794322493646dbd1821516dd_1" [label="1: Start ExceptionExample_test\nFormals: self:ExceptionExample*\nLocals: s:NSString* \n DECLARE_LOCALS(&return,&s); [line 18, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/fast_enumeration/Fast_enumeration.m.dot b/infer/tests/codetoanalyze/objc/frontend/fast_enumeration/Fast_enumeration.m.dot index ef2b8d811..1c3f92db8 100644 --- a/infer/tests/codetoanalyze/objc/frontend/fast_enumeration/Fast_enumeration.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/fast_enumeration/Fast_enumeration.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "fast_loop:#A#instance.9cd800cb29c7a698fe4cc371a7448f6e_1" [label="1: Start A_fast_loop:\nFormals: self:A* items:NSArray*\nLocals: item:NSArray* size:int \n DECLARE_LOCALS(&return,&item,&size); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/predefined_expr/PredefinedExprExample.m.dot b/infer/tests/codetoanalyze/objc/frontend/predefined_expr/PredefinedExprExample.m.dot index 5f95758f5..d5918ebfb 100644 --- a/infer/tests/codetoanalyze/objc/frontend/predefined_expr/PredefinedExprExample.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/predefined_expr/PredefinedExprExample.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "testPrettyFunction#A#instance.bc1e07c1ab96ad96f484a179734bc12e_1" [label="1: Start A_testPrettyFunction\nFormals: self:A*\nLocals: \n DECLARE_LOCALS(&return); [line 18, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.m.dot b/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.m.dot index 20ceb5a14..c6ff7c0a6 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "setMaximumFileSize:#PropertyImplSetter#instance.1d600fefeeb62155817021d20e02a478_1" [label="1: Start PropertyImplSetter_setMaximumFileSize:\nFormals: self:PropertyImplSetter* newMaximumFileSize:int\nLocals: \n DECLARE_LOCALS(&return); [line 14, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/property/Property_getter.m.dot b/infer/tests/codetoanalyze/objc/frontend/property/Property_getter.m.dot index 55e519ca3..1549eb4a3 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/Property_getter.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/property/Property_getter.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "addTarget:#A#instance.c7aa036c11ea8510fec5cb7bd35bee01_1" [label="1: Start A_addTarget:\nFormals: self:A* target:A*\nLocals: \n DECLARE_LOCALS(&return); [line 18, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/property/main_car.m.dot b/infer/tests/codetoanalyze/objc/frontend/property/main_car.m.dot index f576a7df8..4af6db927 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/main_car.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/property/main_car.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: honda:Car* \n DECLARE_LOCALS(&return,&honda); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/protocol/protocol.m.dot b/infer/tests/codetoanalyze/objc/frontend/protocol/protocol.m.dot index 12d5e85ac..eaf8ae500 100644 --- a/infer/tests/codetoanalyze/objc/frontend/protocol/protocol.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/protocol/protocol.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "fooMethod#Bla#instance.d982e99c073f2d30dc24c41bb29add6a_1" [label="1: Start Bla_fooMethod\nFormals: self:Bla*\nLocals: \n DECLARE_LOCALS(&return); [line 24, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/returnstmt/void_return.m.dot b/infer/tests/codetoanalyze/objc/frontend/returnstmt/void_return.m.dot index e808a4983..2ce54c18f 100644 --- a/infer/tests/codetoanalyze/objc/frontend/returnstmt/void_return.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/returnstmt/void_return.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "aMethod#MyClass#instance.af06019e61fb7341a36c141ed90caaaf_1" [label="1: Start MyClass_aMethod\nFormals: self:MyClass*\nLocals: j:int i:int \n DECLARE_LOCALS(&return,&j,&i); [line 18, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/self_static/Self.m.dot b/infer/tests/codetoanalyze/objc/frontend/self_static/Self.m.dot index 62b3bff52..47a2f2cca 100644 --- a/infer/tests/codetoanalyze/objc/frontend/self_static/Self.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/self_static/Self.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "b_m#B#class.82af96ad418803b2f96fc1bfa1572c10_1" [label="1: Start B_b_m\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 20, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/self_static/static.m.dot b/infer/tests/codetoanalyze/objc/frontend/self_static/static.m.dot index d0856b14c..49faafe06 100644 --- a/infer/tests/codetoanalyze/objc/frontend/self_static/static.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/self_static/static.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "aClassMethod#MyClass#class.889732ffd1b4632cdd7c3f47090e69c0_1" [label="1: Start MyClass_aClassMethod\nFormals: \nLocals: myClass:MyClass* \n DECLARE_LOCALS(&return,&myClass); [line 20, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/strings/global_string_literal.m.dot b/infer/tests/codetoanalyze/objc/frontend/strings/global_string_literal.m.dot index 23d43c0bc..2b65dc827 100644 --- a/infer/tests/codetoanalyze/objc/frontend/strings/global_string_literal.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/strings/global_string_literal.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_1" [label="1: Start __infer_globals_initializer_lastName\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/strings/string_literal.m.dot b/infer/tests/codetoanalyze/objc/frontend/strings/string_literal.m.dot index b973372b0..6502b6211 100644 --- a/infer/tests/codetoanalyze/objc/frontend/strings/string_literal.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/strings/string_literal.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: lastName:NSString* \n DECLARE_LOCALS(&return,&lastName); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.m.dot b/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.m.dot index 96bf5991e..422f4c91a 100644 --- a/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "myNumber#MyClass#instance.b5167e9607437362e48461937478a06c_1" [label="1: Start MyClass_myNumber\nFormals: self:MyClass*\nLocals: \n DECLARE_LOCALS(&return); [line 14, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.m.dot b/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.m.dot index 2f117ddd3..d86f444f0 100644 --- a/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "myNumber#MySubclass#instance.8e9ae0ac35cf895ff25e7570cdce81aa_1" [label="1: Start MySubclass_myNumber\nFormals: self:MySubclass*\nLocals: subclassNumber:int \n DECLARE_LOCALS(&return,&subclassNumber); [line 15, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/subclass/main.c.dot b/infer/tests/codetoanalyze/objc/frontend/subclass/main.c.dot index 697e0c470..4a393207b 100644 --- a/infer/tests/codetoanalyze/objc/frontend/subclass/main.c.dot +++ b/infer/tests/codetoanalyze/objc/frontend/subclass/main.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: a:A* \n DECLARE_LOCALS(&return,&a); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/types/attributes.m.dot b/infer/tests/codetoanalyze/objc/frontend/types/attributes.m.dot index 696debc40..d14e06118 100644 --- a/infer/tests/codetoanalyze/objc/frontend/types/attributes.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/types/attributes.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: aStdRef:A* anAutoRelRef:A__autoreleasing * anUnsafeUnretRef:A__unsafe_unretained * aStrongRef:A* aWeakRef:A__weak * \n DECLARE_LOCALS(&return,&aStdRef,&anAutoRelRef,&anUnsafeUnretRef,&aStrongRef,&aWeakRef); [line 20, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/types/testloop.m.dot b/infer/tests/codetoanalyze/objc/frontend/types/testloop.m.dot index f69f71365..b004d148d 100644 --- a/infer/tests/codetoanalyze/objc/frontend/types/testloop.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/types/testloop.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "__infer_globals_initializer___iPadVideoAdLayout#774934d200ab6ea201ea7444923ebf03.91a439a98050a5c80fe23fc56f573207_1" [label="1: Start __infer_globals_initializer___iPadVideoAdLayout\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 26, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/types/void_call.m.dot b/infer/tests/codetoanalyze/objc/frontend/types/void_call.m.dot index 745534fc3..52526abc8 100644 --- a/infer/tests/codetoanalyze/objc/frontend/types/void_call.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/types/void_call.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: o:AClass* x:int \n DECLARE_LOCALS(&return,&o,&x); [line 33, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass.m.dot b/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass.m.dot index be8c5daf1..b43d2d33b 100644 --- a/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "sharedInstance#AClass#instance.07ceaad875949bf6aaa9dc5e3605f563_1" [label="1: Start AClass_sharedInstance\nFormals: self:AClass*\nLocals: \n DECLARE_LOCALS(&return); [line 20, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass_2.m.dot b/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass_2.m.dot index 98f18648a..527594564 100644 --- a/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass_2.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass_2.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "sharedInstance#AClass#instance.07ceaad875949bf6aaa9dc5e3605f563_1" [label="1: Start AClass_sharedInstance\nFormals: self:AClass*\nLocals: \n DECLARE_LOCALS(&return); [line 20, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/vardecl/initlist.m.dot b/infer/tests/codetoanalyze/objc/frontend/vardecl/initlist.m.dot index 5c2bf0eff..277ae3c4c 100644 --- a/infer/tests/codetoanalyze/objc/frontend/vardecl/initlist.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/vardecl/initlist.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: a:int[3*4][2*12] z:int \n DECLARE_LOCALS(&return,&a,&z); [line 13, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/frontend/vardecl/last_af.m.dot b/infer/tests/codetoanalyze/objc/frontend/vardecl/last_af.m.dot index e963225cd..f9fe3fff2 100644 --- a/infer/tests/codetoanalyze/objc/frontend/vardecl/last_af.m.dot +++ b/infer/tests/codetoanalyze/objc/frontend/vardecl/last_af.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: b:int a:int \n DECLARE_LOCALS(&return,&b,&a); [line 10, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/annotations/nonnull_annotations.m.dot b/infer/tests/codetoanalyze/objc/shared/annotations/nonnull_annotations.m.dot index 3f224a644..d268be256 100644 --- a/infer/tests/codetoanalyze/objc/shared/annotations/nonnull_annotations.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/annotations/nonnull_annotations.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "init#A#instance.eee79aaaddd644404e17691a7e7d809a_1" [label="1: Start A_init\nFormals: self:A*\nLocals: \n DECLARE_LOCALS(&return); [line 21, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/annotations/nullable_annotations.m.dot b/infer/tests/codetoanalyze/objc/shared/annotations/nullable_annotations.m.dot index 8a39b6d35..6fad41bbf 100644 --- a/infer/tests/codetoanalyze/objc/shared/annotations/nullable_annotations.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/annotations/nullable_annotations.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "npe_property_nullable.ba4461b16b55481ab8de5124734d2bf3_1" [label="1: Start npe_property_nullable\nFormals: \nLocals: child:Person* person:Person* \n DECLARE_LOCALS(&return,&child,&person); [line 55, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/block/BlockVar.m.dot b/infer/tests/codetoanalyze/objc/shared/block/BlockVar.m.dot index 09320887d..74d817648 100644 --- a/infer/tests/codetoanalyze/objc/shared/block/BlockVar.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/block/BlockVar.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#BlockVar#class.79d88363beeb921609a605886abe817f_1" [label="1: Start BlockVar_test\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 14, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/block/Blocks_as_parameters.m.dot b/infer/tests/codetoanalyze/objc/shared/block/Blocks_as_parameters.m.dot index 568f27a86..37898ce8d 100644 --- a/infer/tests/codetoanalyze/objc/shared/block/Blocks_as_parameters.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/block/Blocks_as_parameters.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "f#B#instance.f1371ff5e7f410d3df6a2e71ff0a814e_1" [label="1: Start B_f\nFormals: self:B*\nLocals: \n DECLARE_LOCALS(&return); [line 24, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/block/block-it.m.dot b/infer/tests/codetoanalyze/objc/shared/block/block-it.m.dot index a3bf9edf6..1eba13143 100644 --- a/infer/tests/codetoanalyze/objc/shared/block/block-it.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/block/block-it.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "objc_blockMyBlock_array_1.876ea7470c254ef92f8b4921d5f810e1_1" [label="1: Start objc_blockMyBlock_array_1\nFormals: object:objc_object* idx:unsigned long stop:_Bool*\nLocals: ShouldStop:int \n DECLARE_LOCALS(&return,&ShouldStop); [line 21, column 33]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/block/block.m.dot b/infer/tests/codetoanalyze/objc/shared/block/block.m.dot index 7c2abee3d..036b7f553 100644 --- a/infer/tests/codetoanalyze/objc/shared/block/block.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/block/block.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "BlockMain.116013dceff9629776ec833c9d43561d_1" [label="1: Start BlockMain\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 46, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/block/block_no_args.m.dot b/infer/tests/codetoanalyze/objc/shared/block/block_no_args.m.dot index 0a9404384..e67f08dee 100644 --- a/infer/tests/codetoanalyze/objc/shared/block/block_no_args.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/block/block_no_args.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "m#My_manager#instance.e773f849d062cb9801497b62f5c98f5e_1" [label="1: Start My_manager_m\nFormals: self:My_manager*\nLocals: p:int* z:int b:_fn_(*) \n DECLARE_LOCALS(&return,&p,&z,&b); [line 21, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/block/block_release.m.dot b/infer/tests/codetoanalyze/objc/shared/block/block_release.m.dot index 3644f360b..4b55a8855 100644 --- a/infer/tests/codetoanalyze/objc/shared/block/block_release.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/block/block_release.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "blockReleaseTODO#My_manager#instance.8c1d633cf596e86a307167d9425628a8_1" [label="1: Start My_manager_blockReleaseTODO\nFormals: self:My_manager*\nLocals: newImage:CGImage* context:CGContext* z:int b:_fn_(*) \n DECLARE_LOCALS(&return,&newImage,&context,&z,&b); [line 20, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/block/dispatch.m.dot b/infer/tests/codetoanalyze/objc/shared/block/dispatch.m.dot index f288dc164..8d02d7d06 100644 --- a/infer/tests/codetoanalyze/objc/shared/block/dispatch.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/block/dispatch.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "sharedInstance#DispatchA#class.8992c6086d1ce5c225093940f62386ac_1" [label="1: Start DispatchA_sharedInstance\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 27, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/block/dispatch_examples.m.dot b/infer/tests/codetoanalyze/objc/shared/block/dispatch_examples.m.dot index 6559722fd..e2528add8 100644 --- a/infer/tests/codetoanalyze/objc/shared/block/dispatch_examples.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/block/dispatch_examples.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "dispatch_once_example#DispatchEx#class.d3456446b1a2d5355c1767887cc8b62c_1" [label="1: Start DispatchEx_dispatch_once_example\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 24, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/block/dispatch_in_macro.m.dot b/infer/tests/codetoanalyze/objc/shared/block/dispatch_in_macro.m.dot index 48abe3cce..de6ebd8fd 100644 --- a/infer/tests/codetoanalyze/objc/shared/block/dispatch_in_macro.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/block/dispatch_in_macro.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "DispatchInMacroTest.f5d56763274a479d06265a2f9562bef1_1" [label="1: Start DispatchInMacroTest\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 22, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/category_procdesc/EOCPerson.m.dot b/infer/tests/codetoanalyze/objc/shared/category_procdesc/EOCPerson.m.dot index b06fb5282..c8ed0734e 100644 --- a/infer/tests/codetoanalyze/objc/shared/category_procdesc/EOCPerson.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/category_procdesc/EOCPerson.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "performDaysWork#EOCPerson#instance.68f45cebac26de5310062b9c47f6dc36_1" [label="1: Start EOCPerson_performDaysWork\nFormals: self:EOCPerson*\nLocals: \n DECLARE_LOCALS(&return); [line 14, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/category_procdesc/main.c.dot b/infer/tests/codetoanalyze/objc/shared/category_procdesc/main.c.dot index 128485ff0..cf774c1b9 100644 --- a/infer/tests/codetoanalyze/objc/shared/category_procdesc/main.c.dot +++ b/infer/tests/codetoanalyze/objc/shared/category_procdesc/main.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "CategoryProcdescMain.ae2ee334c26ccbf8ee413efe5d896611_1" [label="1: Start CategoryProcdescMain\nFormals: \nLocals: x:int* person:EOCPerson* \n DECLARE_LOCALS(&return,&x,&person); [line 13, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/field_superclass/SuperExample.m.dot b/infer/tests/codetoanalyze/objc/shared/field_superclass/SuperExample.m.dot index 792f9f038..5367bfb5c 100644 --- a/infer/tests/codetoanalyze/objc/shared/field_superclass/SuperExample.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/field_superclass/SuperExample.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "super_example_main.e3ebe95e6c5ae811733f235c29fbbf6d_1" [label="1: Start super_example_main\nFormals: argc:int argv:char**\nLocals: a:objc_object* \n DECLARE_LOCALS(&return,&a); [line 40, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/ArcExample.m.dot b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/ArcExample.m.dot index e144f7094..e96dbb347 100644 --- a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/ArcExample.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/ArcExample.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "getS#ArcA#instance.a6d142da8215d5903690f8a054289ac7_1" [label="1: Start ArcA_getS\nFormals: self:ArcA*\nLocals: s:NSString* \n DECLARE_LOCALS(&return,&s); [line 22, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/AutoreleaseExample.m.dot b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/AutoreleaseExample.m.dot index 668dfdd8c..c3dde8801 100644 --- a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/AutoreleaseExample.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/AutoreleaseExample.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "createA.48a5d7f480131d59bba69d521715b836_1" [label="1: Start createA\nFormals: \nLocals: s1:Auto* \n DECLARE_LOCALS(&return,&s1); [line 29, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/MemoryLeakExample.m.dot b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/MemoryLeakExample.m.dot index 6822e5acf..fd6e33390 100644 --- a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/MemoryLeakExample.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/MemoryLeakExample.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "measureFrameSizeForText#MemoryLeakExample#class.f59bd9e59cef3fd16475487a380b3804_1" [label="1: Start MemoryLeakExample_measureFrameSizeForText\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 34, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/RetainReleaseExample.m.dot b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/RetainReleaseExample.m.dot index 79ad168c8..9d2971ece 100644 --- a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/RetainReleaseExample.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/RetainReleaseExample.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "retain_release_test.65a9467f2c991ef519f3b0d97687f937_1" [label="1: Start retain_release_test\nFormals: \nLocals: a:RRA* \n DECLARE_LOCALS(&return,&a); [line 24, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/RetainReleaseExample2.m.dot b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/RetainReleaseExample2.m.dot index e859fa90a..2dbf0e6d0 100644 --- a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/RetainReleaseExample2.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/RetainReleaseExample2.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_1" [label="1: Start retain_release2_test\nFormals: \nLocals: a:RR2* \n DECLARE_LOCALS(&return,&a); [line 28, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/TollBridgeExample.m.dot b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/TollBridgeExample.m.dot index b5c935a8a..cafd93fe3 100644 --- a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/TollBridgeExample.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/TollBridgeExample.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "cfautorelease_test.2ccea2233b65cd3828a2d5e2571ad69b_1" [label="1: Start cfautorelease_test\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 40, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/arc_methods.m.dot b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/arc_methods.m.dot index df1424f53..0ad312816 100644 --- a/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/arc_methods.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/arc_methods.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "newA#ArcMethodsA#class.8f73d571693162b8fe59ae9b171012f1_1" [label="1: Start ArcMethodsA_newA\nFormals: \nLocals: a:ArcMethodsA* \n DECLARE_LOCALS(&return,&a); [line 22, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/npe/Available_expr.m.dot b/infer/tests/codetoanalyze/objc/shared/npe/Available_expr.m.dot index bc996fb23..0d8442c66 100644 --- a/infer/tests/codetoanalyze/objc/shared/npe/Available_expr.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/npe/Available_expr.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test_no_bug#Available_expr#instance.a4aa786abeb2b17541abfe8ecf02c88f_1" [label="1: Start Available_expr_test_no_bug\nFormals: self:Available_expr*\nLocals: p:int* \n DECLARE_LOCALS(&return,&p); [line 17, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/npe/Nonnull_attribute_example.m.dot b/infer/tests/codetoanalyze/objc/shared/npe/Nonnull_attribute_example.m.dot index 8cf002310..2c83ae697 100644 --- a/infer/tests/codetoanalyze/objc/shared/npe/Nonnull_attribute_example.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/npe/Nonnull_attribute_example.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_1" [label="1: Start NonnullAtrributeTest\nFormals: callback:_fn_(*)\nLocals: \nAnnotation: <> NonnullAtrributeTest(<_Nonnull>) \n DECLARE_LOCALS(&return); [line 46, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/npe/npe_malloc.m.dot b/infer/tests/codetoanalyze/objc/shared/npe/npe_malloc.m.dot index 184848c1f..0d28ade03 100644 --- a/infer/tests/codetoanalyze/objc/shared/npe/npe_malloc.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/npe/npe_malloc.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test#NpeMallocC#instance.736ba93f935cc64d6e9c549cc16c07a7_1" [label="1: Start NpeMallocC_test\nFormals: self:NpeMallocC*\nLocals: person:Person* \n DECLARE_LOCALS(&return,&person); [line 24, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/property/GetterExample.m.dot b/infer/tests/codetoanalyze/objc/shared/property/GetterExample.m.dot index 9cde23722..5e3337544 100644 --- a/infer/tests/codetoanalyze/objc/shared/property/GetterExample.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/property/GetterExample.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "should_have_div0.f0a0c4e0ab301ca0aa2f50aa87721dc4_1" [label="1: Start should_have_div0\nFormals: \nLocals: a:GetterExample* \n DECLARE_LOCALS(&return,&a); [line 14, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/property/PropertyAttributes.m.dot b/infer/tests/codetoanalyze/objc/shared/property/PropertyAttributes.m.dot index 267aa7748..86d236e28 100644 --- a/infer/tests/codetoanalyze/objc/shared/property/PropertyAttributes.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/property/PropertyAttributes.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "test.098f6bcd4621d373cade4e832627b4f6_1" [label="1: Start test\nFormals: a2:PropertyA*\nLocals: a:PropertyA* \n DECLARE_LOCALS(&return,&a); [line 42, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/protocol_procdesc/Bicycle.m.dot b/infer/tests/codetoanalyze/objc/shared/protocol_procdesc/Bicycle.m.dot index 692df6b92..5a78a278f 100644 --- a/infer/tests/codetoanalyze/objc/shared/protocol_procdesc/Bicycle.m.dot +++ b/infer/tests/codetoanalyze/objc/shared/protocol_procdesc/Bicycle.m.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "signalStop#Bicycle#instance.e21e040e406b062ae47420adbbba076a_1" [label="1: Start Bicycle_signalStop\nFormals: self:Bicycle*\nLocals: \n DECLARE_LOCALS(&return); [line 15, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objc/shared/protocol_procdesc/main.c.dot b/infer/tests/codetoanalyze/objc/shared/protocol_procdesc/main.c.dot index 229760422..6ea6f29c1 100644 --- a/infer/tests/codetoanalyze/objc/shared/protocol_procdesc/main.c.dot +++ b/infer/tests/codetoanalyze/objc/shared/protocol_procdesc/main.c.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "ProtocolProcdescMain.84e7d2448aa904c965bf225f17cfb503_1" [label="1: Start ProtocolProcdescMain\nFormals: \nLocals: bike:Bicycle* \n DECLARE_LOCALS(&return,&bike); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objcpp/frontend/funcoverloading/af_test.mm.dot b/infer/tests/codetoanalyze/objcpp/frontend/funcoverloading/af_test.mm.dot index 648e94297..dc5726e2d 100644 --- a/infer/tests/codetoanalyze/objcpp/frontend/funcoverloading/af_test.mm.dot +++ b/infer/tests/codetoanalyze/objcpp/frontend/funcoverloading/af_test.mm.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "POPSelectValueType#4590621362721862851.100c5a1fcd7deab0dea5c6fefbfaf7e9_1" [label="1: Start POPSelectValueType\nFormals: obj:objc_object*\nLocals: \n DECLARE_LOCALS(&return); [line 12, column 1]\n " color=yellow style=filled] diff --git a/infer/tests/codetoanalyze/objcpp/frontend/global_const/global_const.mm.dot b/infer/tests/codetoanalyze/objcpp/frontend/global_const/global_const.mm.dot index 025de9c93..6dd85362d 100644 --- a/infer/tests/codetoanalyze/objcpp/frontend/global_const/global_const.mm.dot +++ b/infer/tests/codetoanalyze/objcpp/frontend/global_const/global_const.mm.dot @@ -1,5 +1,5 @@ /* @generated */ -digraph iCFG { +digraph cfg { "__infer_globals_initializer___someFields#305cac08d8197bd145f7f55cc8a06d16.794b83eea8b5794c71808060b1f3b5c7_1" [label="1: Start __infer_globals_initializer___someFields\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 16, column 1]\n " color=yellow style=filled]