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

Upgrading Infer to Clang 5.0

Browse Source 
Summary:
update-submodule: facebook-clang-plugins
Moving to a newer version of clang, see ffb5dd0114

Reviewed By: jvillard

Differential Revision: D5452529

fbshipit-source-id: 28bc215
master
Martino Luca 7 years ago committed by Facebook Github Bot
parent fb2fa5c5ce
commit a15d868fb0
19 changed files with 84 additions and 582 deletions
Show Stats Download Patch File Download Diff File

2
facebook-clang-plugins

@ -1 +1 @@
Subproject commit af2a5874b4dbf4c7643b27cfe58e67fdc804f168 Subproject commit ffb5dd0114316a9580d8e3840557fca15261d92f

7
infer/models/cpp/include/infer_model/vector.h
Unescape View File

@ -61,7 +61,14 @@ void __infer_deref_first_arg(T* ptr) INFER_MODEL_AS_DEREF_FIRST_ARG;
// WARNING: do not add any new fields to std::vector model. sizeof(std::vector) // WARNING: do not add any new fields to std::vector model. sizeof(std::vector)
// = 24 !! // = 24 !!
#ifdef INFER_USE_LIBCPP
// if using libcpp, then this template will have already a default _Allocator
// set (see include/c++/v1/iosfwd, where vector's declaration has a template
// with a default allocator<_Tp>, like the commented section below)
template <class _Tp, class _Allocator /* = allocator<_Tp> */>
#else
template <class _Tp, class _Allocator = allocator<_Tp>> template <class _Tp, class _Allocator = allocator<_Tp>>
#endif
class vector { class vector {
public: public:

7
infer/models/cpp/include/infer_model/vector_bufferoverrun.h
Unescape View File

@ -59,7 +59,14 @@ void __infer_deref_first_arg(T* ptr) INFER_MODEL_AS_DEREF_FIRST_ARG;
// WARNING: do not add any new fields to std::vector model. sizeof(std::vector) // WARNING: do not add any new fields to std::vector model. sizeof(std::vector)
// = 24 !! // = 24 !!
#ifdef INFER_USE_LIBCPP
// if using libcpp, then this template will have already a default _Allocator
// set (see include/c++/v1/iosfwd, where vector's declaration has a template
// with a default allocator<_Tp>, like the commented section below)
template <class _Tp, class _Allocator /* = allocator<_Tp> */>
#else
template <class _Tp, class _Allocator = allocator<_Tp>> template <class _Tp, class _Allocator = allocator<_Tp>>
#endif
class vector { class vector {
public: public:

2
infer/src/clang/ClangCommand.ml
Unescape View File

@ -85,7 +85,7 @@ let clang_cc1_cmd_sanitizer cmd =
else if String.equal option "-isystem" then else if String.equal option "-isystem" then
match include_override_regex with match include_override_regex with
| Some regexp when Str.string_match regexp arg 0 | Some regexp when Str.string_match regexp arg 0
-> fcp_dir ^/ "clang" ^/ "install" ^/ "lib" ^/ "clang" ^/ "4.0.0" ^/ "include" -> fcp_dir ^/ "clang" ^/ "install" ^/ "lib" ^/ "clang" ^/ "5.0.0" ^/ "include"
| _ | _
-> arg -> arg
else arg else arg

2
infer/src/clang/cFrontend_config.ml
Unescape View File

@ -138,6 +138,8 @@ let self = "self"
let static = "static" let static = "static"
let std_addressof = QualifiedCppName.Match.of_fuzzy_qual_names ["std::addressof"]
let string_with_utf8_m = "stringWithUTF8String:" let string_with_utf8_m = "stringWithUTF8String:"
let this = "this" let this = "this"

2
infer/src/clang/cFrontend_config.mli
Unescape View File

@ -136,6 +136,8 @@ val self : string
val static : string val static : string
val std_addressof : QualifiedCppName.Match.quals_matcher
val string_with_utf8_m : string val string_with_utf8_m : string
val this : string val this : string

8
infer/src/clang/cTrans.ml
Unescape View File

@ -444,7 +444,7 @@ module CTrans_funct (F : CModule_type.CFrontend) : CModule_type.CTranslation = s
let exps = var_or_zero_in_init_list tenv var_exp typ ~return_zero:true in let exps = var_or_zero_in_init_list tenv var_exp typ ~return_zero:true in
{empty_res_trans with exps} {empty_res_trans with exps}
let nullStmt_trans succ_nodes = {empty_res_trans with root_nodes= succ_nodes} let no_op_trans succ_nodes = {empty_res_trans with root_nodes= succ_nodes}
(* The stmt seems to be always empty *) (* The stmt seems to be always empty *)
let unaryExprOrTypeTraitExpr_trans trans_state expr_info unary_expr_or_type_trait_expr_info = let unaryExprOrTypeTraitExpr_trans trans_state expr_info unary_expr_or_type_trait_expr_info =
@ -2709,7 +2709,7 @@ module CTrans_funct (F : CModule_type.CFrontend) : CModule_type.CTranslation = s
| [stmt], [attr] -> ( | [stmt], [attr] -> (
match (stmt, attr) with match (stmt, attr) with
| NullStmt _, FallThroughAttr _ | NullStmt _, FallThroughAttr _
-> nullStmt_trans trans_state.succ_nodes -> no_op_trans trans_state.succ_nodes
| _ | _
-> assert false (* More cases to come. With the assert false we can find them *) ) -> assert false (* More cases to come. With the assert false we can find them *) )
| _ | _
@ -2784,7 +2784,7 @@ module CTrans_funct (F : CModule_type.CFrontend) : CModule_type.CTranslation = s
| ObjCForCollectionStmt (stmt_info, [item; items; body]) | ObjCForCollectionStmt (stmt_info, [item; items; body])
-> objCForCollectionStmt_trans trans_state item items body stmt_info -> objCForCollectionStmt_trans trans_state item items body stmt_info
| NullStmt _ | NullStmt _
-> nullStmt_trans trans_state.succ_nodes -> no_op_trans trans_state.succ_nodes
| CompoundAssignOperator (stmt_info, stmt_list, expr_info, binary_operator_info, _) | CompoundAssignOperator (stmt_info, stmt_list, expr_info, binary_operator_info, _)
-> binaryOperator_trans trans_state binary_operator_info stmt_info expr_info stmt_list -> binaryOperator_trans trans_state binary_operator_info stmt_info expr_info stmt_list
| DeclStmt (stmt_info, _, decl_list) | DeclStmt (stmt_info, _, decl_list)
@ -2937,6 +2937,8 @@ module CTrans_funct (F : CModule_type.CFrontend) : CModule_type.CTranslation = s
-> booleanValue_trans trans_state expr_info cxx_noexcept_expr_info.Clang_ast_t.xnee_value -> booleanValue_trans trans_state expr_info cxx_noexcept_expr_info.Clang_ast_t.xnee_value
| OffsetOfExpr (_, _, expr_info) | VAArgExpr (_, _, expr_info) | OffsetOfExpr (_, _, expr_info) | VAArgExpr (_, _, expr_info)
-> trans_into_undefined_expr trans_state expr_info -> trans_into_undefined_expr trans_state expr_info
| ArrayInitIndexExpr _ | ArrayInitLoopExpr _
-> no_op_trans trans_state.succ_nodes
(* Infer somehow ended up in templated non instantiated code - right now (* Infer somehow ended up in templated non instantiated code - right now
it's not supported and failure in those cases is expected. *) it's not supported and failure in those cases is expected. *)
| SubstNonTypeTemplateParmExpr _ | SubstNonTypeTemplateParmExpr _

5
infer/src/clang/cTrans_models.ml
Unescape View File

@ -32,6 +32,11 @@ let is_builtin_expect pname =
let is_builtin_object_size pname = let is_builtin_object_size pname =
String.equal (Typ.Procname.to_string pname) CFrontend_config.builtin_object_size String.equal (Typ.Procname.to_string pname) CFrontend_config.builtin_object_size
let is_std_addressof pname =
(* since std_addressof is a template function, matching it requires QualifiedCppName *)
QualifiedCppName.Match.match_qualifiers CFrontend_config.std_addressof
(Typ.Procname.get_qualifiers pname)
let is_replace_with_deref_first_arg pname = let is_replace_with_deref_first_arg pname =
String.equal (Typ.Procname.to_string pname) CFrontend_config.replace_with_deref_first_arg_attr String.equal (Typ.Procname.to_string pname) CFrontend_config.replace_with_deref_first_arg_attr

2
infer/src/clang/cTrans_models.mli
Unescape View File

@ -19,6 +19,8 @@ val is_builtin_expect : Typ.Procname.t -> bool
val is_builtin_object_size : Typ.Procname.t -> bool val is_builtin_object_size : Typ.Procname.t -> bool
val is_std_addressof : Typ.Procname.t -> bool
val is_replace_with_deref_first_arg : Typ.Procname.t -> bool val is_replace_with_deref_first_arg : Typ.Procname.t -> bool
val is_objc_memory_model_controlled : string -> bool val is_objc_memory_model_controlled : string -> bool

6
infer/src/clang/cTrans_utils.ml
Unescape View File

@ -486,6 +486,11 @@ let trans_builtin_expect params_trans_res =
(* for simpler symbolic execution *) (* for simpler symbolic execution *)
match params_trans_res with [_; fst_arg_res; _] -> Some fst_arg_res | _ -> None match params_trans_res with [_; fst_arg_res; _] -> Some fst_arg_res | _ -> None
let trans_std_addressof params_trans_res =
(* Translate call to std::addressof as the first argument *)
(* for simpler symbolic execution. *)
match params_trans_res with [_; fst_arg_res] -> Some fst_arg_res | _ -> assert false
let trans_replace_with_deref_first_arg sil_loc params_trans_res ~cxx_method_call = let trans_replace_with_deref_first_arg sil_loc params_trans_res ~cxx_method_call =
let first_arg_res_trans = let first_arg_res_trans =
match params_trans_res with match params_trans_res with
@ -510,6 +515,7 @@ let builtin_trans trans_state loc stmt_info function_type params_trans_res pname
else if CTrans_models.is_builtin_expect pname then trans_builtin_expect params_trans_res else if CTrans_models.is_builtin_expect pname then trans_builtin_expect params_trans_res
else if CTrans_models.is_replace_with_deref_first_arg pname then else if CTrans_models.is_replace_with_deref_first_arg pname then
Some (trans_replace_with_deref_first_arg loc params_trans_res ~cxx_method_call:false) Some (trans_replace_with_deref_first_arg loc params_trans_res ~cxx_method_call:false)
else if CTrans_models.is_std_addressof pname then trans_std_addressof params_trans_res
else None else None
let cxx_method_builtin_trans trans_state loc params_trans_res pname = let cxx_method_builtin_trans trans_state loc params_trans_res pname =

2
infer/tests/codetoanalyze/cpp/bufferoverrun/issues.exp
Unescape View File

@ -8,8 +8,6 @@ codetoanalyze/cpp/bufferoverrun/external.cpp, extern_bad, 10, BUFFER_OVERRUN, [A
codetoanalyze/cpp/bufferoverrun/function_call.cpp, call_by_ref_bad, 4, BUFFER_OVERRUN, [ArrayDeclaration,Call,Assignment,ArrayAccess: Offset: [-1, -1] Size: [10, 10]] codetoanalyze/cpp/bufferoverrun/function_call.cpp, call_by_ref_bad, 4, BUFFER_OVERRUN, [ArrayDeclaration,Call,Assignment,ArrayAccess: Offset: [-1, -1] Size: [10, 10]]
codetoanalyze/cpp/bufferoverrun/repro1.cpp, LM<TFM>_lI, 2, BUFFER_OVERRUN, [Call,Assignment,Return,Assignment,Call,Call,ArrayDeclaration,Assignment,ArrayAccess: Offset: [0, +oo] Size: [0, +oo]] codetoanalyze/cpp/bufferoverrun/repro1.cpp, LM<TFM>_lI, 2, BUFFER_OVERRUN, [Call,Assignment,Return,Assignment,Call,Call,ArrayDeclaration,Assignment,ArrayAccess: Offset: [0, +oo] Size: [0, +oo]]
codetoanalyze/cpp/bufferoverrun/repro1.cpp, am_Good_FP, 5, BUFFER_OVERRUN, [Call,Call,Call,Assignment,Call,Call,Call,Call,Call,ArrayDeclaration,Assignment,ArrayAccess: Offset: [-oo, +oo] Size: [0, +oo]] codetoanalyze/cpp/bufferoverrun/repro1.cpp, am_Good_FP, 5, BUFFER_OVERRUN, [Call,Call,Call,Assignment,Call,Call,Call,Call,Call,ArrayDeclaration,Assignment,ArrayAccess: Offset: [-oo, +oo] Size: [0, +oo]]
codetoanalyze/cpp/bufferoverrun/repro1.cpp, it_it, 0, BUFFER_OVERRUN, [ArrayAccess: Offset: [-oo, +oo] Size: [16, 16]]
codetoanalyze/cpp/bufferoverrun/repro1.cpp, it_it, 0, BUFFER_OVERRUN, [ArrayAccess: Offset: [-oo, +oo] Size: [16, 16]]
codetoanalyze/cpp/bufferoverrun/simple_vector.cpp, instantiate_my_vector_oob_Ok, 3, BUFFER_OVERRUN, [Call,Assignment,Call,Call,Call,ArrayDeclaration,Assignment,ArrayAccess: Offset: [42, 42] Size: [42, 42] @ codetoanalyze/cpp/bufferoverrun/simple_vector.cpp:21:23 by call `my_vector_oob_Bad()` ] codetoanalyze/cpp/bufferoverrun/simple_vector.cpp, instantiate_my_vector_oob_Ok, 3, BUFFER_OVERRUN, [Call,Assignment,Call,Call,Call,ArrayDeclaration,Assignment,ArrayAccess: Offset: [42, 42] Size: [42, 42] @ codetoanalyze/cpp/bufferoverrun/simple_vector.cpp:21:23 by call `my_vector_oob_Bad()` ]
codetoanalyze/cpp/bufferoverrun/simple_vector.cpp, my_vector_oob_Bad, 2, BUFFER_OVERRUN, [Call,Call,ArrayDeclaration,Assignment,ArrayAccess: Offset: [max(0, s$4), s$5] Size: [max(0, s$4), s$5] @ codetoanalyze/cpp/bufferoverrun/simple_vector.cpp:21:23 by call `int_vector_access_at()` ] codetoanalyze/cpp/bufferoverrun/simple_vector.cpp, my_vector_oob_Bad, 2, BUFFER_OVERRUN, [Call,Call,ArrayDeclaration,Assignment,ArrayAccess: Offset: [max(0, s$4), s$5] Size: [max(0, s$4), s$5] @ codetoanalyze/cpp/bufferoverrun/simple_vector.cpp:21:23 by call `int_vector_access_at()` ]
codetoanalyze/cpp/bufferoverrun/trivial.cpp, trivial, 2, BUFFER_OVERRUN, [ArrayDeclaration,ArrayAccess: Offset: [10, 10] Size: [10, 10]] codetoanalyze/cpp/bufferoverrun/trivial.cpp, trivial, 2, BUFFER_OVERRUN, [ArrayDeclaration,ArrayAccess: Offset: [10, 10] Size: [10, 10]]

2
infer/tests/codetoanalyze/cpp/errors/Makefile
Unescape View File

@ -59,11 +59,11 @@ SOURCES = \
shared/types/return_struct.cpp \ shared/types/return_struct.cpp \
shared/types/struct_forward_declare.cpp \ shared/types/struct_forward_declare.cpp \
shared/types/struct_pass_by_value.cpp \ shared/types/struct_pass_by_value.cpp \
shared/types/typeid_expr.cpp \
$(wildcard smart_ptr/*.cpp) \ $(wildcard smart_ptr/*.cpp) \
$(wildcard stack_escape/*.cpp) \ $(wildcard stack_escape/*.cpp) \
$(wildcard static_local/*.cpp) \ $(wildcard static_local/*.cpp) \
$(wildcard subtyping/*.cpp) \ $(wildcard subtyping/*.cpp) \
$(wildcard types/*.cpp) \
$(wildcard vector/*.cpp) \ $(wildcard vector/*.cpp) \
include $(TESTS_DIR)/clang.make include $(TESTS_DIR)/clang.make

25
infer/tests/codetoanalyze/cpp/errors/issues.exp
Unescape View File

@ -178,6 +178,18 @@ codetoanalyze/cpp/errors/subtyping/dynamic_cast.cpp, dynamic__cast::wrongReferen
codetoanalyze/cpp/errors/subtyping/implicit_cast_with_const.cpp, implicit_cast_with_const::BaseDerefNPE, 2, NULL_DEREFERENCE, [start of procedure implicit_cast_with_const::BaseDerefNPE(),start of procedure Base,return from a call to implicit_cast_with_const::Base_Base,start of procedure implicit_cast_with_const::deref()] codetoanalyze/cpp/errors/subtyping/implicit_cast_with_const.cpp, implicit_cast_with_const::BaseDerefNPE, 2, NULL_DEREFERENCE, [start of procedure implicit_cast_with_const::BaseDerefNPE(),start of procedure Base,return from a call to implicit_cast_with_const::Base_Base,start of procedure implicit_cast_with_const::deref()]
codetoanalyze/cpp/errors/subtyping/implicit_cast_with_const.cpp, implicit_cast_with_const::DerivedDerefNPE, 2, NULL_DEREFERENCE, [start of procedure implicit_cast_with_const::DerivedDerefNPE(),start of procedure Derived,start of procedure Base,return from a call to implicit_cast_with_const::Base_Base,return from a call to implicit_cast_with_const::Derived_Derived,start of procedure implicit_cast_with_const::deref()] codetoanalyze/cpp/errors/subtyping/implicit_cast_with_const.cpp, implicit_cast_with_const::DerivedDerefNPE, 2, NULL_DEREFERENCE, [start of procedure implicit_cast_with_const::DerivedDerefNPE(),start of procedure Derived,start of procedure Base,return from a call to implicit_cast_with_const::Base_Base,return from a call to implicit_cast_with_const::Derived_Derived,start of procedure implicit_cast_with_const::deref()]
codetoanalyze/cpp/errors/subtyping/subtyping_check.cpp, B_setFG, 4, DIVIDE_BY_ZERO, [start of procedure setFG,start of procedure setF,return from a call to A_setF,Condition is true] codetoanalyze/cpp/errors/subtyping/subtyping_check.cpp, B_setFG, 4, DIVIDE_BY_ZERO, [start of procedure setFG,start of procedure setF,return from a call to A_setF,Condition is true]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, employee_typeid, 3, MEMORY_LEAK, [start of procedure employee_typeid(),start of procedure Employee,start of procedure Person,return from a call to Person_Person,return from a call to Employee_Employee]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, employee_typeid, 4, DIVIDE_BY_ZERO, [start of procedure employee_typeid(),start of procedure Employee,start of procedure Person,return from a call to Person_Person,return from a call to Employee_Employee,Condition is true]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, person_ptr_typeid, 2, MEMORY_LEAK, [start of procedure person_ptr_typeid(),start of procedure Person,return from a call to Person_Person]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, person_ptr_typeid, 3, DIVIDE_BY_ZERO, [start of procedure person_ptr_typeid(),start of procedure Person,return from a call to Person_Person,Condition is true]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, person_typeid, 3, MEMORY_LEAK, [start of procedure person_typeid(),start of procedure Person,return from a call to Person_Person]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, person_typeid, 6, DIVIDE_BY_ZERO, [start of procedure person_typeid(),start of procedure Person,return from a call to Person_Person,Condition is false]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, person_typeid_name, 3, MEMORY_LEAK, [start of procedure person_typeid_name(),start of procedure Person,return from a call to Person_Person]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, person_typeid_name, 4, MEMORY_LEAK, [start of procedure person_typeid_name(),start of procedure Person,return from a call to Person_Person]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, person_typeid_name, 8, DIVIDE_BY_ZERO, [start of procedure person_typeid_name(),start of procedure Person,return from a call to Person_Person,Condition is false]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, template_type_id_person, 2, MEMORY_LEAK, [start of procedure template_type_id_person(),start of procedure Person,return from a call to Person_Person,Skipped call: function or method not found]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, template_type_id_person, 5, DIVIDE_BY_ZERO, [start of procedure template_type_id_person(),start of procedure Person,return from a call to Person_Person,Condition is false]
codetoanalyze/cpp/errors/types/typeid_expr.cpp, template_typeid<Person>, 2, MEMORY_LEAK, [start of procedure template_typeid<Person>(),start of procedure Person,return from a call to Person_Person,start of procedure Person,return from a call to Person_Person]
codetoanalyze/cpp/errors/vector/access_field_later.cpp, getIntPtr, 1, RETURN_VALUE_IGNORED, [start of procedure getIntPtr()] codetoanalyze/cpp/errors/vector/access_field_later.cpp, getIntPtr, 1, RETURN_VALUE_IGNORED, [start of procedure getIntPtr()]
codetoanalyze/cpp/errors/vector/access_field_later.cpp, getIntPtr, 2, EMPTY_VECTOR_ACCESS, [start of procedure getIntPtr()] codetoanalyze/cpp/errors/vector/access_field_later.cpp, getIntPtr, 2, EMPTY_VECTOR_ACCESS, [start of procedure getIntPtr()]
codetoanalyze/cpp/errors/vector/access_field_later.cpp, getWithCopy, 1, RETURN_VALUE_IGNORED, [start of procedure getWithCopy()] codetoanalyze/cpp/errors/vector/access_field_later.cpp, getWithCopy, 1, RETURN_VALUE_IGNORED, [start of procedure getWithCopy()]
@ -247,7 +259,6 @@ codetoanalyze/cpp/shared/constructors/constructor_new.cpp, constructor_new::int_
codetoanalyze/cpp/shared/constructors/constructor_new.cpp, constructor_new::matrix_of_person, 2, MEMORY_LEAK, [start of procedure constructor_new::matrix_of_person(),start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person] codetoanalyze/cpp/shared/constructors/constructor_new.cpp, constructor_new::matrix_of_person, 2, MEMORY_LEAK, [start of procedure constructor_new::matrix_of_person(),start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person,start of procedure Person,return from a call to constructor_new::Person_Person]
codetoanalyze/cpp/shared/constructors/constructor_with_body.cpp, constructor_with_body::test_div0, 2, DIVIDE_BY_ZERO, [start of procedure constructor_with_body::test_div0(),start of procedure X,start of procedure init,return from a call to constructor_with_body::X_init,return from a call to constructor_with_body::X_X,start of procedure div] codetoanalyze/cpp/shared/constructors/constructor_with_body.cpp, constructor_with_body::test_div0, 2, DIVIDE_BY_ZERO, [start of procedure constructor_with_body::test_div0(),start of procedure X,start of procedure init,return from a call to constructor_with_body::X_init,return from a call to constructor_with_body::X_X,start of procedure div]
codetoanalyze/cpp/shared/constructors/constructor_with_body.cpp, constructor_with_body::test_div0_default_constructor, 2, DIVIDE_BY_ZERO, [start of procedure constructor_with_body::test_div0_default_constructor(),start of procedure X,start of procedure init,return from a call to constructor_with_body::X_init,return from a call to constructor_with_body::X_X,start of procedure div] codetoanalyze/cpp/shared/constructors/constructor_with_body.cpp, constructor_with_body::test_div0_default_constructor, 2, DIVIDE_BY_ZERO, [start of procedure constructor_with_body::test_div0_default_constructor(),start of procedure X,start of procedure init,return from a call to constructor_with_body::X_init,return from a call to constructor_with_body::X_X,start of procedure div]
codetoanalyze/cpp/shared/constructors/copy_array_field.cpp, copy_array_field::X_X, 0, ARRAY_OUT_OF_BOUNDS_L3, [start of procedure X]
codetoanalyze/cpp/shared/constructors/copy_array_field.cpp, copy_array_field::npe, 4, NULL_DEREFERENCE, [start of procedure copy_array_field::npe(),start of procedure X,return from a call to copy_array_field::X_X,start of procedure X,return from a call to copy_array_field::X_X] codetoanalyze/cpp/shared/constructors/copy_array_field.cpp, copy_array_field::npe, 4, NULL_DEREFERENCE, [start of procedure copy_array_field::npe(),start of procedure X,return from a call to copy_array_field::X_X,start of procedure X,return from a call to copy_array_field::X_X]
codetoanalyze/cpp/shared/constructors/copy_move_constructor.cpp, copy_move_constructor::copyX_div0, 4, DIVIDE_BY_ZERO, [start of procedure copy_move_constructor::copyX_div0(),start of procedure X,return from a call to copy_move_constructor::X_X,start of procedure X,return from a call to copy_move_constructor::X_X] codetoanalyze/cpp/shared/constructors/copy_move_constructor.cpp, copy_move_constructor::copyX_div0, 4, DIVIDE_BY_ZERO, [start of procedure copy_move_constructor::copyX_div0(),start of procedure X,return from a call to copy_move_constructor::X_X,start of procedure X,return from a call to copy_move_constructor::X_X]
codetoanalyze/cpp/shared/constructors/copy_move_constructor.cpp, copy_move_constructor::copyY_div0, 4, DIVIDE_BY_ZERO, [start of procedure copy_move_constructor::copyY_div0(),start of procedure Y,return from a call to copy_move_constructor::Y_Y,start of procedure Y,return from a call to copy_move_constructor::Y_Y] codetoanalyze/cpp/shared/constructors/copy_move_constructor.cpp, copy_move_constructor::copyY_div0, 4, DIVIDE_BY_ZERO, [start of procedure copy_move_constructor::copyY_div0(),start of procedure Y,return from a call to copy_move_constructor::Y_Y,start of procedure Y,return from a call to copy_move_constructor::Y_Y]
@ -360,15 +371,3 @@ codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp, struct_pass_by_value::f
codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp, struct_pass_by_value::param_get_copied_div0, 3, DIVIDE_BY_ZERO, [start of procedure struct_pass_by_value::param_get_copied_div0(),start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure struct_pass_by_value::set_f(),return from a call to struct_pass_by_value::set_f] codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp, struct_pass_by_value::param_get_copied_div0, 3, DIVIDE_BY_ZERO, [start of procedure struct_pass_by_value::param_get_copied_div0(),start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure struct_pass_by_value::set_f(),return from a call to struct_pass_by_value::set_f]
codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp, struct_pass_by_value::temp_div0, 0, DIVIDE_BY_ZERO, [start of procedure struct_pass_by_value::temp_div0(),start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure struct_pass_by_value::get_f(),return from a call to struct_pass_by_value::get_f] codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp, struct_pass_by_value::temp_div0, 0, DIVIDE_BY_ZERO, [start of procedure struct_pass_by_value::temp_div0(),start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure struct_pass_by_value::get_f(),return from a call to struct_pass_by_value::get_f]
codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp, struct_pass_by_value::var_div0, 2, DIVIDE_BY_ZERO, [start of procedure struct_pass_by_value::var_div0(),start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure struct_pass_by_value::get_f(),return from a call to struct_pass_by_value::get_f] codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp, struct_pass_by_value::var_div0, 2, DIVIDE_BY_ZERO, [start of procedure struct_pass_by_value::var_div0(),start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure X,return from a call to struct_pass_by_value::X_X,start of procedure struct_pass_by_value::get_f(),return from a call to struct_pass_by_value::get_f]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, employee_typeid, 3, MEMORY_LEAK, [start of procedure employee_typeid(),start of procedure Employee,start of procedure Person,return from a call to Person_Person,return from a call to Employee_Employee]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, employee_typeid, 4, DIVIDE_BY_ZERO, [start of procedure employee_typeid(),start of procedure Employee,start of procedure Person,return from a call to Person_Person,return from a call to Employee_Employee,Condition is true]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, person_ptr_typeid, 2, MEMORY_LEAK, [start of procedure person_ptr_typeid(),start of procedure Person,return from a call to Person_Person]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, person_ptr_typeid, 3, DIVIDE_BY_ZERO, [start of procedure person_ptr_typeid(),start of procedure Person,return from a call to Person_Person,Condition is true]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, person_typeid, 3, MEMORY_LEAK, [start of procedure person_typeid(),start of procedure Person,return from a call to Person_Person]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, person_typeid, 6, DIVIDE_BY_ZERO, [start of procedure person_typeid(),start of procedure Person,return from a call to Person_Person,Condition is false]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, person_typeid_name, 3, MEMORY_LEAK, [start of procedure person_typeid_name(),start of procedure Person,return from a call to Person_Person]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, person_typeid_name, 4, MEMORY_LEAK, [start of procedure person_typeid_name(),start of procedure Person,return from a call to Person_Person]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, person_typeid_name, 8, DIVIDE_BY_ZERO, [start of procedure person_typeid_name(),start of procedure Person,return from a call to Person_Person,Condition is false]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, template_type_id_person, 2, MEMORY_LEAK, [start of procedure template_type_id_person(),start of procedure Person,return from a call to Person_Person,Skipped call: function or method not found]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, template_type_id_person, 5, DIVIDE_BY_ZERO, [start of procedure template_type_id_person(),start of procedure Person,return from a call to Person_Person,Condition is false]
codetoanalyze/cpp/shared/types/typeid_expr.cpp, template_typeid<Person>, 2, MEMORY_LEAK, [start of procedure template_typeid<Person>(),start of procedure Person,return from a call to Person_Person,start of procedure Person,return from a call to Person_Person]

0
infer/tests/codetoanalyze/cpp/shared/types/typeid_expr.cpp → infer/tests/codetoanalyze/cpp/errors/types/typeid_expr.cpp
Unescape View File

4
infer/tests/codetoanalyze/cpp/shared/constructors/copy_array_field.cpp.dot
Unescape View File

@ -64,11 +64,11 @@ digraph iCFG {
"X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_2" [label="2: Exit copy_array_field::X_X \n " color=yellow style=filled] "X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_2" [label="2: Exit copy_array_field::X_X \n " color=yellow style=filled]
"X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_3" [label="3: Constructor Init \n n$0=*&this:copy_array_field::X* [line 10]\n n$1=*&__param_0:copy_array_field::X const & [line 10]\n n$2=*&__i0:unsigned long [line 10]\n n$3=*n$1.x[n$2]:int [line 10]\n *n$0.x:int=n$3 [line 10]\n " shape="box"] "X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_3" [label="3: Constructor Init \n n$0=*&this:copy_array_field::X* [line 10]\n *n$0.x:int=-1 [line 10]\n " shape="box"]
"X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_3" -> "X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_2" ; "X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_3" -> "X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_2" ;
"X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_4" [label="4: Constructor Init \n n$4=*&this:copy_array_field::X* [line 10]\n n$5=*&__param_0:copy_array_field::X const & [line 10]\n n$6=*n$5.p:int* [line 10]\n *n$4.p:int*=n$6 [line 10]\n " shape="box"] "X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_4" [label="4: Constructor Init \n n$1=*&this:copy_array_field::X* [line 10]\n n$2=*&__param_0:copy_array_field::X const & [line 10]\n n$3=*n$2.p:int* [line 10]\n *n$1.p:int*=n$3 [line 10]\n " shape="box"]
"X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_4" -> "X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_3" ; "X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_4" -> "X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_3" ;

16
infer/tests/codetoanalyze/cpp/shared/constructors/copy_move_constructor.cpp.dot
Unescape View File

@ -23,14 +23,14 @@ digraph iCFG {
"copyX_div0#copy_move_constructor#_ZN21copy_move_constructor10copyX_div0Ev.66e5a2528937350f7480bc20fa59dd62_6" -> "copyX_div0#copy_move_constructor#_ZN21copy_move_constructor10copyX_div0Ev.66e5a2528937350f7480bc20fa59dd62_5" ; "copyX_div0#copy_move_constructor#_ZN21copy_move_constructor10copyX_div0Ev.66e5a2528937350f7480bc20fa59dd62_6" -> "copyX_div0#copy_move_constructor#_ZN21copy_move_constructor10copyX_div0Ev.66e5a2528937350f7480bc20fa59dd62_5" ;
"moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_1" [label="1: Start copy_move_constructor::moveX_div0\nFormals: \nLocals: 0$?%__sil_tmp__temp_return_n$1:copy_move_constructor::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_return_n$1); [line 48]\n " color=yellow style=filled] "moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_1" [label="1: Start copy_move_constructor::moveX_div0\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:copy_move_constructor::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 48]\n " color=yellow style=filled]
"moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_1" -> "moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_3" ; "moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_1" -> "moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_3" ;
"moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_2" [label="2: Exit copy_move_constructor::moveX_div0 \n " color=yellow style=filled] "moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_2" [label="2: Exit copy_move_constructor::moveX_div0 \n " color=yellow style=filled]
"moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_3" [label="3: Return Stmt \n _fun_copy_move_constructor::getX(0:int,&0$?%__sil_tmp__temp_return_n$1:copy_move_constructor::X*) [line 48]\n n$2=*&0$?%__sil_tmp__temp_return_n$1.f:int [line 48]\n *&return:int=(1 / n$2) [line 48]\n " shape="box"] "moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_3" [label="3: Return Stmt \n _fun_copy_move_constructor::getX(0:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:copy_move_constructor::X*) [line 48]\n n$2=*&0$?%__sil_tmpSIL_materialize_temp__n$0.f:int [line 48]\n *&return:int=(1 / n$2) [line 48]\n " shape="box"]
"moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_3" -> "moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_2" ; "moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_3" -> "moveX_div0#copy_move_constructor#_ZN21copy_move_constructor10moveX_div0Ev.35eabf2ee87da79aa01757b906866644_2" ;
@ -57,14 +57,14 @@ digraph iCFG {
"copyY_div0#copy_move_constructor#_ZN21copy_move_constructor10copyY_div0Ev.9492a4dc5090e1850d698dcbc8f814ee_6" -> "copyY_div0#copy_move_constructor#_ZN21copy_move_constructor10copyY_div0Ev.9492a4dc5090e1850d698dcbc8f814ee_5" ; "copyY_div0#copy_move_constructor#_ZN21copy_move_constructor10copyY_div0Ev.9492a4dc5090e1850d698dcbc8f814ee_6" -> "copyY_div0#copy_move_constructor#_ZN21copy_move_constructor10copyY_div0Ev.9492a4dc5090e1850d698dcbc8f814ee_5" ;
"moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_1" [label="1: Start copy_move_constructor::moveY_div0\nFormals: \nLocals: 0$?%__sil_tmp__temp_return_n$1:copy_move_constructor::Y \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_return_n$1); [line 57]\n " color=yellow style=filled] "moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_1" [label="1: Start copy_move_constructor::moveY_div0\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:copy_move_constructor::Y \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 57]\n " color=yellow style=filled]
"moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_1" -> "moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_3" ; "moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_1" -> "moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_3" ;
"moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_2" [label="2: Exit copy_move_constructor::moveY_div0 \n " color=yellow style=filled] "moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_2" [label="2: Exit copy_move_constructor::moveY_div0 \n " color=yellow style=filled]
"moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_3" [label="3: Return Stmt \n _fun_copy_move_constructor::getY(1:int,&0$?%__sil_tmp__temp_return_n$1:copy_move_constructor::Y*) [line 57]\n n$2=*&0$?%__sil_tmp__temp_return_n$1.f:int [line 57]\n *&return:int=(1 / n$2) [line 57]\n " shape="box"] "moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_3" [label="3: Return Stmt \n _fun_copy_move_constructor::getY(1:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:copy_move_constructor::Y*) [line 57]\n n$2=*&0$?%__sil_tmpSIL_materialize_temp__n$0.f:int [line 57]\n *&return:int=(1 / n$2) [line 57]\n " shape="box"]
"moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_3" -> "moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_2" ; "moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_3" -> "moveY_div0#copy_move_constructor#_ZN21copy_move_constructor10moveY_div0Ev.6c53d6ffb7e72af0cd12dc82ff7d13e9_2" ;
@ -87,7 +87,7 @@ digraph iCFG {
"moveY_moveY_copyY_div0#copy_move_constructor#_ZN21copy_move_constructor22moveY_moveY_copyY_div0Ev.a96d810fc24ae2aebb06463ffbd4eb99_5" -> "moveY_moveY_copyY_div0#copy_move_constructor#_ZN21copy_move_constructor22moveY_moveY_copyY_div0Ev.a96d810fc24ae2aebb06463ffbd4eb99_4" ; "moveY_moveY_copyY_div0#copy_move_constructor#_ZN21copy_move_constructor22moveY_moveY_copyY_div0Ev.a96d810fc24ae2aebb06463ffbd4eb99_5" -> "moveY_moveY_copyY_div0#copy_move_constructor#_ZN21copy_move_constructor22moveY_moveY_copyY_div0Ev.a96d810fc24ae2aebb06463ffbd4eb99_4" ;
"copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_1" [label="1: Start copy_move_constructor::copyX_moveX_div1\nFormals: \nLocals: d2:int 0$?%__sil_tmp__temp_return_n$3:copy_move_constructor::X d1:int x2:copy_move_constructor::X x1:copy_move_constructor::X \n DECLARE_LOCALS(&return,&d2,&0$?%__sil_tmp__temp_return_n$3,&d1,&x2,&x1); [line 65]\n " color=yellow style=filled] "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_1" [label="1: Start copy_move_constructor::copyX_moveX_div1\nFormals: \nLocals: d2:int 0$?%__sil_tmpSIL_materialize_temp__n$2:copy_move_constructor::X d1:int x2:copy_move_constructor::X x1:copy_move_constructor::X \n DECLARE_LOCALS(&return,&d2,&0$?%__sil_tmpSIL_materialize_temp__n$2,&d1,&x2,&x1); [line 65]\n " color=yellow style=filled]
"copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_1" -> "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_8" ; "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_1" -> "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_8" ;
@ -98,7 +98,7 @@ digraph iCFG {
"copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_3" -> "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_2" ; "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_3" -> "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_2" ;
"copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_4" [label="4: DeclStmt \n _fun_copy_move_constructor::getX(1:int,&0$?%__sil_tmp__temp_return_n$3:copy_move_constructor::X*) [line 70]\n n$4=*&0$?%__sil_tmp__temp_return_n$3.f:int [line 70]\n *&d2:int=(1 / n$4) [line 70]\n " shape="box"] "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_4" [label="4: DeclStmt \n _fun_copy_move_constructor::getX(1:int,&0$?%__sil_tmpSIL_materialize_temp__n$2:copy_move_constructor::X*) [line 70]\n n$4=*&0$?%__sil_tmpSIL_materialize_temp__n$2.f:int [line 70]\n *&d2:int=(1 / n$4) [line 70]\n " shape="box"]
"copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_4" -> "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_3" ; "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_4" -> "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_3" ;
@ -118,7 +118,7 @@ digraph iCFG {
"copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_8" -> "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_7" ; "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_8" -> "copyX_moveX_div1#copy_move_constructor#_ZN21copy_move_constructor16copyX_moveX_div1Ev.4b7492871ab6f6bdc993277d6cb5c1de_7" ;
"copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_1" [label="1: Start copy_move_constructor::copyY_moveY_div1\nFormals: \nLocals: d2:int 0$?%__sil_tmp__temp_return_n$3:copy_move_constructor::Y d1:int y2:copy_move_constructor::Y y1:copy_move_constructor::Y \n DECLARE_LOCALS(&return,&d2,&0$?%__sil_tmp__temp_return_n$3,&d1,&y2,&y1); [line 74]\n " color=yellow style=filled] "copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_1" [label="1: Start copy_move_constructor::copyY_moveY_div1\nFormals: \nLocals: d2:int 0$?%__sil_tmpSIL_materialize_temp__n$2:copy_move_constructor::Y d1:int y2:copy_move_constructor::Y y1:copy_move_constructor::Y \n DECLARE_LOCALS(&return,&d2,&0$?%__sil_tmpSIL_materialize_temp__n$2,&d1,&y2,&y1); [line 74]\n " color=yellow style=filled]
"copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_1" -> "copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_8" ; "copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_1" -> "copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_8" ;
@ -129,7 +129,7 @@ digraph iCFG {
"copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_3" -> "copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_2" ; "copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_3" -> "copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_2" ;
"copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_4" [label="4: DeclStmt \n _fun_copy_move_constructor::getY(2:int,&0$?%__sil_tmp__temp_return_n$3:copy_move_constructor::Y*) [line 79]\n n$4=*&0$?%__sil_tmp__temp_return_n$3.f:int [line 79]\n *&d2:int=(1 / n$4) [line 79]\n " shape="box"] "copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_4" [label="4: DeclStmt \n _fun_copy_move_constructor::getY(2:int,&0$?%__sil_tmpSIL_materialize_temp__n$2:copy_move_constructor::Y*) [line 79]\n n$4=*&0$?%__sil_tmpSIL_materialize_temp__n$2.f:int [line 79]\n *&d2:int=(1 / n$4) [line 79]\n " shape="box"]
"copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_4" -> "copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_3" ; "copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_4" -> "copyY_moveY_div1#copy_move_constructor#_ZN21copy_move_constructor16copyY_moveY_div1Ev.163f21f58cb8a7255e896d279447d08d_3" ;

28
infer/tests/codetoanalyze/cpp/shared/constructors/temp_object.cpp.dot
Unescape View File

@ -15,80 +15,80 @@ digraph iCFG {
"assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_4" -> "assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_3" ; "assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_4" -> "assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_3" ;
"temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_1" [label="1: Start temp_object::temp_field_div0\nFormals: \nLocals: 0$?%__sil_tmp__temp_construct_n$0:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_construct_n$0); [line 33]\n " color=yellow style=filled] "temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_1" [label="1: Start temp_object::temp_field_div0\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 33]\n " color=yellow style=filled]
"temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_1" -> "temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_3" ; "temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_1" -> "temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_3" ;
"temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_2" [label="2: Exit temp_object::temp_field_div0 \n " color=yellow style=filled] "temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_2" [label="2: Exit temp_object::temp_field_div0 \n " color=yellow style=filled]
"temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_3" [label="3: Return Stmt \n _fun_temp_object::X_X(&0$?%__sil_tmp__temp_construct_n$0:temp_object::X*,0:int,1:int) [line 33]\n n$1=*&0$?%__sil_tmp__temp_construct_n$0.f:int [line 33]\n n$2=_fun_temp_object::div(n$1:int) [line 33]\n *&return:int=n$2 [line 33]\n " shape="box"] "temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_3" [label="3: Return Stmt \n _fun_temp_object::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X*,0:int,1:int) [line 33]\n n$1=*&0$?%__sil_tmpSIL_materialize_temp__n$0.f:int [line 33]\n n$2=_fun_temp_object::div(n$1:int) [line 33]\n *&return:int=n$2 [line 33]\n " shape="box"]
"temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_3" -> "temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_2" ; "temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_3" -> "temp_field_div0#temp_object#_ZN11temp_object15temp_field_div0Ev.c5850f6003fb6b786a3d1c78e3ae2bba_2" ;
"temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_1" [label="1: Start temp_object::temp_field2_div0\nFormals: \nLocals: 0$?%__sil_tmp__temp_construct_n$0:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_construct_n$0); [line 35]\n " color=yellow style=filled] "temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_1" [label="1: Start temp_object::temp_field2_div0\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 35]\n " color=yellow style=filled]
"temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_1" -> "temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_3" ; "temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_1" -> "temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_3" ;
"temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_2" [label="2: Exit temp_object::temp_field2_div0 \n " color=yellow style=filled] "temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_2" [label="2: Exit temp_object::temp_field2_div0 \n " color=yellow style=filled]
"temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_3" [label="3: Return Stmt \n _fun_temp_object::X_X(&0$?%__sil_tmp__temp_construct_n$0:temp_object::X*,0:int) [line 35]\n n$1=*&0$?%__sil_tmp__temp_construct_n$0.f:int [line 35]\n n$2=_fun_temp_object::div(n$1:int) [line 35]\n *&return:int=n$2 [line 35]\n " shape="box"] "temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_3" [label="3: Return Stmt \n _fun_temp_object::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X*,0:int) [line 35]\n n$1=*&0$?%__sil_tmpSIL_materialize_temp__n$0.f:int [line 35]\n n$2=_fun_temp_object::div(n$1:int) [line 35]\n *&return:int=n$2 [line 35]\n " shape="box"]
"temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_3" -> "temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_2" ; "temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_3" -> "temp_field2_div0#temp_object#_ZN11temp_object16temp_field2_div0Ev.1e39503c66c0f1fd3a1cc7563bef4cfc_2" ;
"temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_1" [label="1: Start temp_object::temp_method_div0\nFormals: \nLocals: 0$?%__sil_tmp__temp_construct_n$0:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_construct_n$0); [line 37]\n " color=yellow style=filled] "temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_1" [label="1: Start temp_object::temp_method_div0\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 37]\n " color=yellow style=filled]
"temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_1" -> "temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_3" ; "temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_1" -> "temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_3" ;
"temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_2" [label="2: Exit temp_object::temp_method_div0 \n " color=yellow style=filled] "temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_2" [label="2: Exit temp_object::temp_method_div0 \n " color=yellow style=filled]
"temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_3" [label="3: Return Stmt \n _fun_temp_object::X_X(&0$?%__sil_tmp__temp_construct_n$0:temp_object::X*,0:int,1:int) [line 37]\n n$1=_fun_temp_object::X_div(&0$?%__sil_tmp__temp_construct_n$0:temp_object::X&) [line 37]\n *&return:int=n$1 [line 37]\n " shape="box"] "temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_3" [label="3: Return Stmt \n _fun_temp_object::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X*,0:int,1:int) [line 37]\n _=*&0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X [line 37]\n n$2=_fun_temp_object::X_div(&0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X&) [line 37]\n *&return:int=n$2 [line 37]\n " shape="box"]
"temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_3" -> "temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_2" ; "temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_3" -> "temp_method_div0#temp_object#_ZN11temp_object16temp_method_div0Ev.fd6ae881136ea5e8268af1e92eb001b5_2" ;
"getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_1" [label="1: Start temp_object::getX_field_div0\nFormals: \nLocals: 0$?%__sil_tmp__temp_return_n$1:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_return_n$1); [line 39]\n " color=yellow style=filled] "getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_1" [label="1: Start temp_object::getX_field_div0\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 39]\n " color=yellow style=filled]
"getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_1" -> "getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_3" ; "getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_1" -> "getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_3" ;
"getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_2" [label="2: Exit temp_object::getX_field_div0 \n " color=yellow style=filled] "getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_2" [label="2: Exit temp_object::getX_field_div0 \n " color=yellow style=filled]
"getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_3" [label="3: Return Stmt \n _fun_temp_object::getX(0:int,1:int,&0$?%__sil_tmp__temp_return_n$1:temp_object::X*) [line 39]\n n$2=*&0$?%__sil_tmp__temp_return_n$1.f:int [line 39]\n n$3=_fun_temp_object::div(n$2:int) [line 39]\n *&return:int=n$3 [line 39]\n " shape="box"] "getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_3" [label="3: Return Stmt \n _fun_temp_object::getX(0:int,1:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X*) [line 39]\n n$2=*&0$?%__sil_tmpSIL_materialize_temp__n$0.f:int [line 39]\n n$3=_fun_temp_object::div(n$2:int) [line 39]\n *&return:int=n$3 [line 39]\n " shape="box"]
"getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_3" -> "getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_2" ; "getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_3" -> "getX_field_div0#temp_object#_ZN11temp_object15getX_field_div0Ev.5b29985c341a939f5d493914a467583d_2" ;
"getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_1" [label="1: Start temp_object::getX_method_div0\nFormals: \nLocals: 0$?%__sil_tmp__temp_return_n$1:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_return_n$1); [line 41]\n " color=yellow style=filled] "getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_1" [label="1: Start temp_object::getX_method_div0\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 41]\n " color=yellow style=filled]
"getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_1" -> "getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_3" ; "getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_1" -> "getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_3" ;
"getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_2" [label="2: Exit temp_object::getX_method_div0 \n " color=yellow style=filled] "getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_2" [label="2: Exit temp_object::getX_method_div0 \n " color=yellow style=filled]
"getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_3" [label="3: Return Stmt \n _fun_temp_object::getX(0:int,1:int,&0$?%__sil_tmp__temp_return_n$1:temp_object::X*) [line 41]\n n$2=_fun_temp_object::X_div(&0$?%__sil_tmp__temp_return_n$1:temp_object::X&) [line 41]\n *&return:int=n$2 [line 41]\n " shape="box"] "getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_3" [label="3: Return Stmt \n _fun_temp_object::getX(0:int,1:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X*) [line 41]\n _=*&0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X [line 41]\n n$3=_fun_temp_object::X_div(&0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X&) [line 41]\n *&return:int=n$3 [line 41]\n " shape="box"]
"getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_3" -> "getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_2" ; "getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_3" -> "getX_method_div0#temp_object#_ZN11temp_object16getX_method_div0Ev.4d32a7940fd90799bf1e7bbe4871b89d_2" ;
"temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_1" [label="1: Start temp_object::temp_field_div1\nFormals: \nLocals: 0$?%__sil_tmp__temp_construct_n$0:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_construct_n$0); [line 43]\n " color=yellow style=filled] "temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_1" [label="1: Start temp_object::temp_field_div1\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 43]\n " color=yellow style=filled]
"temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_1" -> "temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_3" ; "temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_1" -> "temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_3" ;
"temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_2" [label="2: Exit temp_object::temp_field_div1 \n " color=yellow style=filled] "temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_2" [label="2: Exit temp_object::temp_field_div1 \n " color=yellow style=filled]
"temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_3" [label="3: Return Stmt \n _fun_temp_object::X_X(&0$?%__sil_tmp__temp_construct_n$0:temp_object::X*,1:int,0:int) [line 43]\n n$1=*&0$?%__sil_tmp__temp_construct_n$0.f:int [line 43]\n n$2=_fun_temp_object::div(n$1:int) [line 43]\n *&return:int=n$2 [line 43]\n " shape="box"] "temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_3" [label="3: Return Stmt \n _fun_temp_object::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X*,1:int,0:int) [line 43]\n n$1=*&0$?%__sil_tmpSIL_materialize_temp__n$0.f:int [line 43]\n n$2=_fun_temp_object::div(n$1:int) [line 43]\n *&return:int=n$2 [line 43]\n " shape="box"]
"temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_3" -> "temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_2" ; "temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_3" -> "temp_field_div1#temp_object#_ZN11temp_object15temp_field_div1Ev.6b83b7fff4c72405c2bf16f97790d6b5_2" ;
"getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_1" [label="1: Start temp_object::getX_field_div1\nFormals: \nLocals: 0$?%__sil_tmp__temp_return_n$1:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_return_n$1); [line 45]\n " color=yellow style=filled] "getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_1" [label="1: Start temp_object::getX_field_div1\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 45]\n " color=yellow style=filled]
"getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_1" -> "getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_3" ; "getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_1" -> "getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_3" ;
"getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_2" [label="2: Exit temp_object::getX_field_div1 \n " color=yellow style=filled] "getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_2" [label="2: Exit temp_object::getX_field_div1 \n " color=yellow style=filled]
"getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_3" [label="3: Return Stmt \n _fun_temp_object::getX(1:int,0:int,&0$?%__sil_tmp__temp_return_n$1:temp_object::X*) [line 45]\n n$2=*&0$?%__sil_tmp__temp_return_n$1.f:int [line 45]\n n$3=_fun_temp_object::div(n$2:int) [line 45]\n *&return:int=n$3 [line 45]\n " shape="box"] "getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_3" [label="3: Return Stmt \n _fun_temp_object::getX(1:int,0:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:temp_object::X*) [line 45]\n n$2=*&0$?%__sil_tmpSIL_materialize_temp__n$0.f:int [line 45]\n n$3=_fun_temp_object::div(n$2:int) [line 45]\n *&return:int=n$3 [line 45]\n " shape="box"]
"getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_3" -> "getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_2" ; "getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_3" -> "getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_2" ;

18
infer/tests/codetoanalyze/cpp/shared/types/return_struct.cpp.dot
Unescape View File

@ -15,29 +15,29 @@ digraph iCFG {
"get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_4" -> "get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_3" ; "get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_4" -> "get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_3" ;
"get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_1" [label="1: Start return_struct::get_field_div0\nFormals: \nLocals: 0$?%__sil_tmp__temp_return_n$1:return_struct::X 0$?%__sil_tmp__temp_return_n$4:return_struct::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_return_n$1,&0$?%__sil_tmp__temp_return_n$4); [line 32]\n " color=yellow style=filled] "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_1" [label="1: Start return_struct::get_field_div0\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X 0$?%__sil_tmpSIL_materialize_temp__n$3:return_struct::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0,&0$?%__sil_tmpSIL_materialize_temp__n$3); [line 32]\n " color=yellow style=filled]
"get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_1" -> "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_4" ; "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_1" -> "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_4" ;
"get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_2" [label="2: Exit return_struct::get_field_div0 \n " color=yellow style=filled] "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_2" [label="2: Exit return_struct::get_field_div0 \n " color=yellow style=filled]
"get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_3" [label="3: Return Stmt \n _fun_return_struct::get(0:int,&0$?%__sil_tmp__temp_return_n$1:return_struct::X*) [line 34]\n n$2=*&0$?%__sil_tmp__temp_return_n$1.f:int [line 34]\n *&return:int=(1 / n$2) [line 34]\n " shape="box"] "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_3" [label="3: Return Stmt \n _fun_return_struct::get(0:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X*) [line 34]\n n$2=*&0$?%__sil_tmpSIL_materialize_temp__n$0.f:int [line 34]\n *&return:int=(1 / n$2) [line 34]\n " shape="box"]
"get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_3" -> "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_2" ; "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_3" -> "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_2" ;
"get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_4" [label="4: Call _fun_return_struct::X_skip \n _fun_return_struct::get(0:int,&0$?%__sil_tmp__temp_return_n$4:return_struct::X*) [line 33]\n n$5=_fun_return_struct::X_skip(&0$?%__sil_tmp__temp_return_n$4:return_struct::X&) [line 33]\n " shape="box"] "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_4" [label="4: Call _fun_return_struct::X_skip \n _fun_return_struct::get(0:int,&0$?%__sil_tmpSIL_materialize_temp__n$3:return_struct::X*) [line 33]\n _=*&0$?%__sil_tmpSIL_materialize_temp__n$3:return_struct::X [line 33]\n n$6=_fun_return_struct::X_skip(&0$?%__sil_tmpSIL_materialize_temp__n$3:return_struct::X&) [line 33]\n " shape="box"]
"get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_4" -> "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_3" ; "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_4" -> "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_3" ;
"get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_1" [label="1: Start return_struct::get_method_div0\nFormals: \nLocals: 0$?%__sil_tmp__temp_return_n$1:return_struct::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_return_n$1); [line 37]\n " color=yellow style=filled] "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_1" [label="1: Start return_struct::get_method_div0\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 37]\n " color=yellow style=filled]
"get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_1" -> "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_3" ; "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_1" -> "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_3" ;
"get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_2" [label="2: Exit return_struct::get_method_div0 \n " color=yellow style=filled] "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_2" [label="2: Exit return_struct::get_method_div0 \n " color=yellow style=filled]
"get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_3" [label="3: Return Stmt \n _fun_return_struct::get(0:int,&0$?%__sil_tmp__temp_return_n$1:return_struct::X*) [line 37]\n n$2=_fun_return_struct::X_div(&0$?%__sil_tmp__temp_return_n$1:return_struct::X&) [line 37]\n *&return:int=n$2 [line 37]\n " shape="box"] "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_3" [label="3: Return Stmt \n _fun_return_struct::get(0:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X*) [line 37]\n _=*&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X [line 37]\n n$3=_fun_return_struct::X_div(&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X&) [line 37]\n *&return:int=n$3 [line 37]\n " shape="box"]
"get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_3" -> "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_2" ; "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_3" -> "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_2" ;
@ -56,25 +56,25 @@ digraph iCFG {
"get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_4" -> "get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_3" ; "get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_4" -> "get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_3" ;
"get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_1" [label="1: Start return_struct::get_field_div1\nFormals: \nLocals: 0$?%__sil_tmp__temp_return_n$1:return_struct::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_return_n$1); [line 44]\n " color=yellow style=filled] "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_1" [label="1: Start return_struct::get_field_div1\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 44]\n " color=yellow style=filled]
"get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_1" -> "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_3" ; "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_1" -> "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_3" ;
"get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_2" [label="2: Exit return_struct::get_field_div1 \n " color=yellow style=filled] "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_2" [label="2: Exit return_struct::get_field_div1 \n " color=yellow style=filled]
"get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_3" [label="3: Return Stmt \n _fun_return_struct::get(1:int,&0$?%__sil_tmp__temp_return_n$1:return_struct::X*) [line 44]\n n$2=*&0$?%__sil_tmp__temp_return_n$1.f:int [line 44]\n *&return:int=(1 / n$2) [line 44]\n " shape="box"] "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_3" [label="3: Return Stmt \n _fun_return_struct::get(1:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X*) [line 44]\n n$2=*&0$?%__sil_tmpSIL_materialize_temp__n$0.f:int [line 44]\n *&return:int=(1 / n$2) [line 44]\n " shape="box"]
"get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_3" -> "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_2" ; "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_3" -> "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_2" ;
"get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_1" [label="1: Start return_struct::get_method_div1\nFormals: \nLocals: 0$?%__sil_tmp__temp_return_n$1:return_struct::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmp__temp_return_n$1); [line 46]\n " color=yellow style=filled] "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_1" [label="1: Start return_struct::get_method_div1\nFormals: \nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 46]\n " color=yellow style=filled]
"get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_1" -> "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_3" ; "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_1" -> "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_3" ;
"get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_2" [label="2: Exit return_struct::get_method_div1 \n " color=yellow style=filled] "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_2" [label="2: Exit return_struct::get_method_div1 \n " color=yellow style=filled]
"get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_3" [label="3: Return Stmt \n _fun_return_struct::get(1:int,&0$?%__sil_tmp__temp_return_n$1:return_struct::X*) [line 46]\n n$2=_fun_return_struct::X_div(&0$?%__sil_tmp__temp_return_n$1:return_struct::X&) [line 46]\n *&return:int=n$2 [line 46]\n " shape="box"] "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_3" [label="3: Return Stmt \n _fun_return_struct::get(1:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X*) [line 46]\n _=*&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X [line 46]\n n$3=_fun_return_struct::X_div(&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X&) [line 46]\n *&return:int=n$3 [line 46]\n " shape="box"]
"get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_3" -> "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_2" ; "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_3" -> "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_2" ;

528
infer/tests/codetoanalyze/cpp/shared/types/typeid_expr.cpp.dot
Unescape View File

@ -1,528 +0,0 @@
/* @generated */
digraph iCFG {
"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]
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_1" -> "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_11" ;
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_2" [label="2: Exit person_typeid \n " color=yellow style=filled]
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_3" [label="3: + \n " ]
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_3" -> "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_4" ;
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_4" [label="4: between_join_and_exit \n " shape="box"]
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_4" -> "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_2" ;
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_5" [label="5: Call _fun_std::type_info_operator== \n n$0=_fun___cxx_typeid(sizeof(std::type_info const ):void,n$0.__type_name:void,&t:int) [line 22]\n n$1=_fun___cxx_typeid(sizeof(std::type_info const ):void,n$1.__type_name:void,&person:Person) [line 22]\n n$2=_fun_std::type_info_operator==(n$0:std::type_info const &,n$1:std::type_info const &) [line 22]\n " shape="box"]
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_5" -> "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_6" ;
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_5" -> "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_7" ;
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_6" [label="6: Prune (true branch) \n PRUNE((n$2 != 0), true); [line 22]\n " shape="invhouse"]
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_6" -> "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_8" ;
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_7" [label="7: Prune (false branch) \n PRUNE((n$2 == 0), false); [line 22]\n " shape="invhouse"]
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_7" -> "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_9" ;
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_8" [label="8: Return Stmt \n *&return:int=1 [line 23]\n " shape="box"]
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_8" -> "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_2" ;
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_9" [label="9: Return Stmt \n *&return:int=(1 / 0) [line 25]\n " shape="box"]
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_9" -> "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_2" ;
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_10" [label="10: DeclStmt \n *&t:int=3 [line 21]\n " shape="box"]
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_10" -> "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_5" ;
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_11" [label="11: DeclStmt \n _fun_Person_Person(&person:Person*) [line 20]\n " shape="box"]
"person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_11" -> "person_typeid#_Z13person_typeidv.259e8739c3aa7b455d1b67a326ce9b09_10" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_1" [label="1: Start person_typeid_name\nFormals: \nLocals: person_type_info:char const * t_type_info:char const * t:int person:Person \n DECLARE_LOCALS(&return,&person_type_info,&t_type_info,&t,&person); [line 28]\n " color=yellow style=filled]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_1" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_13" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_2" [label="2: Exit person_typeid_name \n " color=yellow style=filled]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_3" [label="3: + \n " ]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_3" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_4" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_4" [label="4: between_join_and_exit \n " shape="box"]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_4" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_2" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_5" [label="5: BinaryOperatorStmt: EQ \n n$0=*&t_type_info:char const * [line 33]\n n$1=*&person_type_info:char const * [line 33]\n " shape="box"]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_5" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_6" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_5" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_7" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_6" [label="6: Prune (true branch) \n PRUNE(((n$0 == n$1) != 0), true); [line 33]\n " shape="invhouse"]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_6" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_8" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_7" [label="7: Prune (false branch) \n PRUNE(((n$0 == n$1) == 0), false); [line 33]\n " shape="invhouse"]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_7" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_9" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_8" [label="8: Return Stmt \n *&return:int=0 [line 34]\n " shape="box"]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_8" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_2" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_9" [label="9: Return Stmt \n *&return:int=(1 / 0) [line 36]\n " shape="box"]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_9" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_2" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_10" [label="10: DeclStmt \n n$2=_fun___cxx_typeid(sizeof(std::type_info const ):void,n$2.__type_name:void,&person:Person) [line 32]\n _=*n$2:std::type_info const [line 32]\n n$4=_fun_std::type_info_name(n$2:std::type_info const &) [line 32]\n *&person_type_info:char const *=n$4 [line 32]\n " shape="box"]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_10" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_5" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_11" [label="11: DeclStmt \n n$5=_fun___cxx_typeid(sizeof(std::type_info const ):void,n$5.__type_name:void,&t:int) [line 31]\n _=*n$5:std::type_info const [line 31]\n n$7=_fun_std::type_info_name(n$5:std::type_info const &) [line 31]\n *&t_type_info:char const *=n$7 [line 31]\n " shape="box"]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_11" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_10" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_12" [label="12: DeclStmt \n *&t:int=3 [line 30]\n " shape="box"]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_12" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_11" ;
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_13" [label="13: DeclStmt \n _fun_Person_Person(&person:Person*) [line 29]\n " shape="box"]
"person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_13" -> "person_typeid_name#_Z18person_typeid_namev.61ab0ec473f2261bf55eb69fa502c9ca_12" ;
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_1" [label="1: Start employee_typeid\nFormals: \nLocals: ptr:Person* employee:Employee \n DECLARE_LOCALS(&return,&ptr,&employee); [line 39]\n " color=yellow style=filled]
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_1" -> "employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_11" ;
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_2" [label="2: Exit employee_typeid \n " color=yellow style=filled]
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_3" [label="3: + \n " ]
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_3" -> "employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_4" ;
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_4" [label="4: between_join_and_exit \n " shape="box"]
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_4" -> "employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_2" ;
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_5" [label="5: Call _fun_std::type_info_operator== \n n$0=_fun___cxx_typeid(sizeof(std::type_info const ):void,n$0.__type_name:void,&employee:Employee) [line 42]\n n$1=*&ptr:Person* [line 42]\n n$2=_fun___cxx_typeid(sizeof(std::type_info const ):void,n$2.__type_name:void,n$1:Person) [line 42]\n n$3=_fun_std::type_info_operator==(n$0:std::type_info const &,n$2:std::type_info const &) [line 42]\n " shape="box"]
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_5" -> "employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_6" ;
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_5" -> "employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_7" ;
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_6" [label="6: Prune (true branch) \n PRUNE((n$3 != 0), true); [line 42]\n " shape="invhouse"]
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_6" -> "employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_8" ;
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_7" [label="7: Prune (false branch) \n PRUNE((n$3 == 0), false); [line 42]\n " shape="invhouse"]
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_7" -> "employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_9" ;
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_8" [label="8: Return Stmt \n *&return:int=(1 / 0) [line 43]\n " shape="box"]
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_8" -> "employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_2" ;
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_9" [label="9: Return Stmt \n *&return:int=0 [line 45]\n " shape="box"]
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_9" -> "employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_2" ;
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_10" [label="10: DeclStmt \n *&ptr:Employee*=&employee [line 41]\n " shape="box"]
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_10" -> "employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_5" ;
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_11" [label="11: DeclStmt \n _fun_Employee_Employee(&employee:Employee*) [line 40]\n " shape="box"]
"employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_11" -> "employee_typeid#_Z15employee_typeidv.d5a1249d00c1531124f473b9003de8b4_10" ;
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_1" [label="1: Start template_type_id_person\nFormals: \nLocals: person:Person \n DECLARE_LOCALS(&return,&person); [line 62]\n " color=yellow style=filled]
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_1" -> "template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_10" ;
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_2" [label="2: Exit template_type_id_person \n " color=yellow style=filled]
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_3" [label="3: + \n " ]
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_3" -> "template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_4" ;
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_4" [label="4: between_join_and_exit \n " shape="box"]
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_4" -> "template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_2" ;
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_5" [label="5: BinaryOperatorStmt: EQ \n n$0=_fun_template_typeid<Person>(&person:Person&) [line 64]\n n$1=_fun___cxx_typeid(sizeof(std::type_info const ):void,n$1.__type_name:void,&person:Person) [line 64]\n _=*n$1:std::type_info const [line 64]\n n$3=_fun_std::type_info_name(n$1:std::type_info const &) [line 64]\n " shape="box"]
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_5" -> "template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_6" ;
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_5" -> "template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_7" ;
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_6" [label="6: Prune (true branch) \n PRUNE(((n$0 == n$3) != 0), true); [line 64]\n " shape="invhouse"]
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_6" -> "template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_8" ;
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_7" [label="7: Prune (false branch) \n PRUNE(((n$0 == n$3) == 0), false); [line 64]\n " shape="invhouse"]
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_7" -> "template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_9" ;
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_8" [label="8: Return Stmt \n *&return:int=1 [line 65]\n " shape="box"]
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_8" -> "template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_2" ;
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_9" [label="9: Return Stmt \n *&return:int=(1 / 0) [line 67]\n " shape="box"]
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_9" -> "template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_2" ;
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_10" [label="10: DeclStmt \n _fun_Person_Person(&person:Person*) [line 63]\n " shape="box"]
"template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_10" -> "template_type_id_person#_Z23template_type_id_personv.5fe9ce5a34a9724ffe6120b87e057895_5" ;
"value#__numeric_type<void>#__infer_globals_initializer_std.47862f77402cf0b9a8f85342f9963960_1" [label="1: Start __infer_globals_initializer_std::__numeric_type<void>::value\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 1697]\n " color=yellow style=filled]
"value#__numeric_type<void>#__infer_globals_initializer_std.47862f77402cf0b9a8f85342f9963960_1" -> "value#__numeric_type<void>#__infer_globals_initializer_std.47862f77402cf0b9a8f85342f9963960_3" ;
"value#__numeric_type<void>#__infer_globals_initializer_std.47862f77402cf0b9a8f85342f9963960_2" [label="2: Exit __infer_globals_initializer_std::__numeric_type<void>::value \n " color=yellow style=filled]
"value#__numeric_type<void>#__infer_globals_initializer_std.47862f77402cf0b9a8f85342f9963960_3" [label="3: DeclStmt \n *&#GB<codetoanalyze/cpp/shared/types/typeid_expr.cpp>$std::__numeric_type<void>::value:_Bool=1 [line 1697]\n " shape="box"]
"value#__numeric_type<void>#__infer_globals_initializer_std.47862f77402cf0b9a8f85342f9963960_3" -> "value#__numeric_type<void>#__infer_globals_initializer_std.47862f77402cf0b9a8f85342f9963960_2" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEi.43b0259cdf1b6086b5b232de7e5ddc3b_1" [label="1: Start std::__convert_to_integral\nFormals: __val:int\nLocals: \n DECLARE_LOCALS(&return); [line 4309]\n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEi.43b0259cdf1b6086b5b232de7e5ddc3b_1" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEi.43b0259cdf1b6086b5b232de7e5ddc3b_3" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEi.43b0259cdf1b6086b5b232de7e5ddc3b_2" [label="2: Exit std::__convert_to_integral \n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEi.43b0259cdf1b6086b5b232de7e5ddc3b_3" [label="3: Return Stmt \n n$0=*&__val:int [line 4310]\n *&return:int=n$0 [line 4310]\n " shape="box"]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEi.43b0259cdf1b6086b5b232de7e5ddc3b_3" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEi.43b0259cdf1b6086b5b232de7e5ddc3b_2" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEn.f0a547f6acd880fbe54bf8cd9fcfe151_1" [label="1: Start std::__convert_to_integral\nFormals: __val:int\nLocals: \n DECLARE_LOCALS(&return); [line 4328]\n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEn.f0a547f6acd880fbe54bf8cd9fcfe151_1" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEn.f0a547f6acd880fbe54bf8cd9fcfe151_3" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEn.f0a547f6acd880fbe54bf8cd9fcfe151_2" [label="2: Exit std::__convert_to_integral \n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEn.f0a547f6acd880fbe54bf8cd9fcfe151_3" [label="3: Return Stmt \n n$0=*&__val:int [line 4329]\n *&return:int=n$0 [line 4329]\n " shape="box"]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEn.f0a547f6acd880fbe54bf8cd9fcfe151_3" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEn.f0a547f6acd880fbe54bf8cd9fcfe151_2" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEj.fd205920d652f02f0b9a9b89e450a068_1" [label="1: Start std::__convert_to_integral\nFormals: __val:unsigned int\nLocals: \n DECLARE_LOCALS(&return); [line 4312]\n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEj.fd205920d652f02f0b9a9b89e450a068_1" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEj.fd205920d652f02f0b9a9b89e450a068_3" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEj.fd205920d652f02f0b9a9b89e450a068_2" [label="2: Exit std::__convert_to_integral \n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEj.fd205920d652f02f0b9a9b89e450a068_3" [label="3: Return Stmt \n n$0=*&__val:unsigned int [line 4313]\n *&return:unsigned int=n$0 [line 4313]\n " shape="box"]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEj.fd205920d652f02f0b9a9b89e450a068_3" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEj.fd205920d652f02f0b9a9b89e450a068_2" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEo.15fc37df335893286e47ebfc292083c1_1" [label="1: Start std::__convert_to_integral\nFormals: __val:unsigned int\nLocals: \n DECLARE_LOCALS(&return); [line 4331]\n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEo.15fc37df335893286e47ebfc292083c1_1" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEo.15fc37df335893286e47ebfc292083c1_3" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEo.15fc37df335893286e47ebfc292083c1_2" [label="2: Exit std::__convert_to_integral \n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEo.15fc37df335893286e47ebfc292083c1_3" [label="3: Return Stmt \n n$0=*&__val:unsigned int [line 4332]\n *&return:unsigned int=n$0 [line 4332]\n " shape="box"]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEo.15fc37df335893286e47ebfc292083c1_3" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEo.15fc37df335893286e47ebfc292083c1_2" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEl.19b65e5b35784a4d6b1ba397569565af_1" [label="1: Start std::__convert_to_integral\nFormals: __val:long\nLocals: \n DECLARE_LOCALS(&return); [line 4315]\n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEl.19b65e5b35784a4d6b1ba397569565af_1" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEl.19b65e5b35784a4d6b1ba397569565af_3" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEl.19b65e5b35784a4d6b1ba397569565af_2" [label="2: Exit std::__convert_to_integral \n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEl.19b65e5b35784a4d6b1ba397569565af_3" [label="3: Return Stmt \n n$0=*&__val:long [line 4316]\n *&return:long=n$0 [line 4316]\n " shape="box"]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEl.19b65e5b35784a4d6b1ba397569565af_3" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEl.19b65e5b35784a4d6b1ba397569565af_2" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEm.111d95b3f3b4d5dd40ab1add8f243f84_1" [label="1: Start std::__convert_to_integral\nFormals: __val:unsigned long\nLocals: \n DECLARE_LOCALS(&return); [line 4318]\n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEm.111d95b3f3b4d5dd40ab1add8f243f84_1" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEm.111d95b3f3b4d5dd40ab1add8f243f84_3" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEm.111d95b3f3b4d5dd40ab1add8f243f84_2" [label="2: Exit std::__convert_to_integral \n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEm.111d95b3f3b4d5dd40ab1add8f243f84_3" [label="3: Return Stmt \n n$0=*&__val:unsigned long [line 4319]\n *&return:unsigned long=n$0 [line 4319]\n " shape="box"]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEm.111d95b3f3b4d5dd40ab1add8f243f84_3" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEm.111d95b3f3b4d5dd40ab1add8f243f84_2" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEx.c1183c63775e8691319a0bd03664ac0c_1" [label="1: Start std::__convert_to_integral\nFormals: __val:long long\nLocals: \n DECLARE_LOCALS(&return); [line 4321]\n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEx.c1183c63775e8691319a0bd03664ac0c_1" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEx.c1183c63775e8691319a0bd03664ac0c_3" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEx.c1183c63775e8691319a0bd03664ac0c_2" [label="2: Exit std::__convert_to_integral \n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEx.c1183c63775e8691319a0bd03664ac0c_3" [label="3: Return Stmt \n n$0=*&__val:long long [line 4322]\n *&return:long long=n$0 [line 4322]\n " shape="box"]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEx.c1183c63775e8691319a0bd03664ac0c_3" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEx.c1183c63775e8691319a0bd03664ac0c_2" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEy.4261f4b82618cc6ea34bb4631aefbdda_1" [label="1: Start std::__convert_to_integral\nFormals: __val:unsigned long long\nLocals: \n DECLARE_LOCALS(&return); [line 4324]\n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEy.4261f4b82618cc6ea34bb4631aefbdda_1" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEy.4261f4b82618cc6ea34bb4631aefbdda_3" ;
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEy.4261f4b82618cc6ea34bb4631aefbdda_2" [label="2: Exit std::__convert_to_integral \n " color=yellow style=filled]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEy.4261f4b82618cc6ea34bb4631aefbdda_3" [label="3: Return Stmt \n n$0=*&__val:unsigned long long [line 4325]\n *&return:unsigned long long=n$0 [line 4325]\n " shape="box"]
"__convert_to_integral#std#_ZNSt3__121__convert_to_integralEy.4261f4b82618cc6ea34bb4631aefbdda_3" -> "__convert_to_integral#std#_ZNSt3__121__convert_to_integralEy.4261f4b82618cc6ea34bb4631aefbdda_2" ;
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_1" [label="1: Start person_ptr_typeid\nFormals: ptr:Person*\nLocals: person:Person \n DECLARE_LOCALS(&return,&person); [line 48]\n " color=yellow style=filled]
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_1" -> "person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_10" ;
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_2" [label="2: Exit person_ptr_typeid \n " color=yellow style=filled]
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_3" [label="3: + \n " ]
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_3" -> "person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_4" ;
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_4" [label="4: between_join_and_exit \n " shape="box"]
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_4" -> "person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_2" ;
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_5" [label="5: BinaryOperatorStmt: EQ \n n$0=*&ptr:Person* [line 50]\n n$1=_fun___cxx_typeid(sizeof(std::type_info const ):void,n$1.__type_name:void,n$0:Person) [line 50]\n _=*n$1:std::type_info const [line 50]\n n$3=_fun_std::type_info_name(n$1:std::type_info const &) [line 50]\n n$4=_fun___cxx_typeid(sizeof(std::type_info const ):void,n$4.__type_name:void,&person:Person) [line 50]\n _=*n$4:std::type_info const [line 50]\n n$6=_fun_std::type_info_name(n$4:std::type_info const &) [line 50]\n " shape="box"]
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_5" -> "person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_6" ;
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_5" -> "person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_7" ;
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_6" [label="6: Prune (true branch) \n PRUNE(((n$3 == n$6) != 0), true); [line 50]\n " shape="invhouse"]
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_6" -> "person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_8" ;
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_7" [label="7: Prune (false branch) \n PRUNE(((n$3 == n$6) == 0), false); [line 50]\n " shape="invhouse"]
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_7" -> "person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_9" ;
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_8" [label="8: Return Stmt \n *&return:int=(1 / 0) [line 51]\n " shape="box"]
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_8" -> "person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_2" ;
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_9" [label="9: Return Stmt \n *&return:int=0 [line 53]\n " shape="box"]
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_9" -> "person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_2" ;
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_10" [label="10: DeclStmt \n _fun_Person_Person(&person:Person*) [line 49]\n " shape="box"]
"person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_10" -> "person_ptr_typeid#_Z17person_ptr_typeidP6Person.d9adfc6b86c71441019a0fdc03c35fa6_5" ;
"template_typeid<Person>#_Z15template_typeidI6PersonEPKcRKT_.a1cb4d870e3df2f09bf7a22e0fc6e5c6_1" [label="1: Start template_typeid<Person>\nFormals: value:Person const &\nLocals: result:Person 0$?%__sil_tmpSIL_materialize_temp__n$3:Person \n DECLARE_LOCALS(&return,&result,&0$?%__sil_tmpSIL_materialize_temp__n$3); [line 57]\n " color=yellow style=filled]
"template_typeid<Person>#_Z15template_typeidI6PersonEPKcRKT_.a1cb4d870e3df2f09bf7a22e0fc6e5c6_1" -> "template_typeid<Person>#_Z15template_typeidI6PersonEPKcRKT_.a1cb4d870e3df2f09bf7a22e0fc6e5c6_4" ;
"template_typeid<Person>#_Z15template_typeidI6PersonEPKcRKT_.a1cb4d870e3df2f09bf7a22e0fc6e5c6_2" [label="2: Exit template_typeid<Person> \n " color=yellow style=filled]
"template_typeid<Person>#_Z15template_typeidI6PersonEPKcRKT_.a1cb4d870e3df2f09bf7a22e0fc6e5c6_3" [label="3: Return Stmt \n n$0=_fun___cxx_typeid(sizeof(std::type_info const ):void,n$0.__type_name:void) [line 59]\n _=*n$0:std::type_info const [line 59]\n n$2=_fun_std::type_info_name(n$0:std::type_info const &) [line 59]\n *&return:char const *=n$2 [line 59]\n " shape="box"]
"template_typeid<Person>#_Z15template_typeidI6PersonEPKcRKT_.a1cb4d870e3df2f09bf7a22e0fc6e5c6_3" -> "template_typeid<Person>#_Z15template_typeidI6PersonEPKcRKT_.a1cb4d870e3df2f09bf7a22e0fc6e5c6_2" ;
"template_typeid<Person>#_Z15template_typeidI6PersonEPKcRKT_.a1cb4d870e3df2f09bf7a22e0fc6e5c6_4" [label="4: DeclStmt \n n$4=*&value:Person const & [line 58]\n _fun_Person_Person(&0$?%__sil_tmpSIL_materialize_temp__n$3:Person const *,n$4:Person const &) [line 58]\n _fun_Person_Person(&result:Person*,&0$?%__sil_tmpSIL_materialize_temp__n$3:Person&) [line 58]\n " shape="box"]
"template_typeid<Person>#_Z15template_typeidI6PersonEPKcRKT_.a1cb4d870e3df2f09bf7a22e0fc6e5c6_4" -> "template_typeid<Person>#_Z15template_typeidI6PersonEPKcRKT_.a1cb4d870e3df2f09bf7a22e0fc6e5c6_3" ;
"Employee#Employee#{_ZN8EmployeeC1Ev|constexpr}.16759caee496fa04cbb5c95e71252949_1" [label="1: Start Employee_Employee\nFormals: this:Employee*\nLocals: \n DECLARE_LOCALS(&return); [line 17]\n " color=yellow style=filled]
"Employee#Employee#{_ZN8EmployeeC1Ev|constexpr}.16759caee496fa04cbb5c95e71252949_1" -> "Employee#Employee#{_ZN8EmployeeC1Ev|constexpr}.16759caee496fa04cbb5c95e71252949_3" ;
"Employee#Employee#{_ZN8EmployeeC1Ev|constexpr}.16759caee496fa04cbb5c95e71252949_2" [label="2: Exit Employee_Employee \n " color=yellow style=filled]
"Employee#Employee#{_ZN8EmployeeC1Ev|constexpr}.16759caee496fa04cbb5c95e71252949_3" [label="3: Constructor Init \n n$0=*&this:Employee* [line 17]\n _fun_Person_Person(n$0:Employee*) [line 17]\n " shape="box"]
"Employee#Employee#{_ZN8EmployeeC1Ev|constexpr}.16759caee496fa04cbb5c95e71252949_3" -> "Employee#Employee#{_ZN8EmployeeC1Ev|constexpr}.16759caee496fa04cbb5c95e71252949_2" ;
"~Employee#Employee#(_ZN6PersonD0Ev).b246750215fd295f2276d9dd33772816_1" [label="1: Start Employee_~Employee\nFormals: this:Employee*\nLocals: \n DECLARE_LOCALS(&return); [line 17]\n " color=yellow style=filled]
"~Employee#Employee#(_ZN6PersonD0Ev).b246750215fd295f2276d9dd33772816_1" -> "~Employee#Employee#(_ZN6PersonD0Ev).b246750215fd295f2276d9dd33772816_2" ;
"~Employee#Employee#(_ZN6PersonD0Ev).b246750215fd295f2276d9dd33772816_2" [label="2: Exit Employee_~Employee \n " color=yellow style=filled]
"Person#Person#{_ZN6PersonC1Ev|constexpr}.d3aa73a16cf65083c030acbc97a9ff15_1" [label="1: Start Person_Person\nFormals: this:Person*\nLocals: \n DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled]
"Person#Person#{_ZN6PersonC1Ev|constexpr}.d3aa73a16cf65083c030acbc97a9ff15_1" -> "Person#Person#{_ZN6PersonC1Ev|constexpr}.d3aa73a16cf65083c030acbc97a9ff15_2" ;
"Person#Person#{_ZN6PersonC1Ev|constexpr}.d3aa73a16cf65083c030acbc97a9ff15_2" [label="2: Exit Person_Person \n " color=yellow style=filled]
"~Person#Person#(_ZN6PersonD0Ev).6c309af5fed23bf91f2ee6ecd26bcc41_1" [label="1: Start Person_~Person\nFormals: this:Person*\nLocals: \n DECLARE_LOCALS(&return); [line 14]\n " color=yellow style=filled]
"~Person#Person#(_ZN6PersonD0Ev).6c309af5fed23bf91f2ee6ecd26bcc41_1" -> "~Person#Person#(_ZN6PersonD0Ev).6c309af5fed23bf91f2ee6ecd26bcc41_2" ;
"~Person#Person#(_ZN6PersonD0Ev).6c309af5fed23bf91f2ee6ecd26bcc41_2" [label="2: Exit Person_~Person \n " color=yellow style=filled]
"Person#Person#{_ZN6PersonC1ERKS_|constexpr}.723fccb56b807554fd33d1118dcb83e1_1" [label="1: Start Person_Person\nFormals: this:Person* __param_0:Person const &\nLocals: \n DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled]
"Person#Person#{_ZN6PersonC1ERKS_|constexpr}.723fccb56b807554fd33d1118dcb83e1_1" -> "Person#Person#{_ZN6PersonC1ERKS_|constexpr}.723fccb56b807554fd33d1118dcb83e1_2" ;
"Person#Person#{_ZN6PersonC1ERKS_|constexpr}.723fccb56b807554fd33d1118dcb83e1_2" [label="2: Exit Person_Person \n " color=yellow style=filled]
"bad_exception#bad_exception#std#{_ZNSt13bad_exceptionC1Ev}.9b3ad9f8b08e34cb77dd347cfc0925a2_1" [label="1: Start std::bad_exception_bad_exception\nFormals: this:std::bad_exception*\nLocals: \n " color=yellow style=filled]
"bad_exception#bad_exception#std#{_ZNSt13bad_exceptionC1Ev}.9b3ad9f8b08e34cb77dd347cfc0925a2_2" [label="2: Exit std::bad_exception_bad_exception \n " color=yellow style=filled]
"exception#exception#std#{_ZNSt9exceptionC1Ev}.5226a0e6cc026fc29eb750a66d588910_1" [label="1: Start std::exception_exception\nFormals: this:std::exception*\nLocals: \n " color=yellow style=filled]
"exception#exception#std#{_ZNSt9exceptionC1Ev}.5226a0e6cc026fc29eb750a66d588910_2" [label="2: Exit std::exception_exception \n " color=yellow style=filled]
"exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1Ev}.0c4f2ef0c0bd9280100ecba5b0fba8bd_1" [label="1: Start std::exception_ptr_exception_ptr\nFormals: this:std::exception_ptr*\nLocals: \n DECLARE_LOCALS(&return); [line 130]\n " color=yellow style=filled]
"exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1Ev}.0c4f2ef0c0bd9280100ecba5b0fba8bd_1" -> "exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1Ev}.0c4f2ef0c0bd9280100ecba5b0fba8bd_3" ;
"exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1Ev}.0c4f2ef0c0bd9280100ecba5b0fba8bd_2" [label="2: Exit std::exception_ptr_exception_ptr \n " color=yellow style=filled]
"exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1Ev}.0c4f2ef0c0bd9280100ecba5b0fba8bd_3" [label="3: Constructor Init \n n$0=*&this:std::exception_ptr* [line 130]\n *n$0.__ptr_:void*=null [line 130]\n " shape="box"]
"exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1Ev}.0c4f2ef0c0bd9280100ecba5b0fba8bd_3" -> "exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1Ev}.0c4f2ef0c0bd9280100ecba5b0fba8bd_2" ;
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_1" [label="1: Start std::exception_ptr_operator_bool\nFormals: this:std::exception_ptr*\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$0:_Bool \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0); [line 136]\n " color=yellow style=filled]
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_1" -> "operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_4" ;
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_2" [label="2: Exit std::exception_ptr_operator_bool \n " color=yellow style=filled]
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_3" [label="3: + \n " ]
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_3" -> "operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_9" ;
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_4" [label="4: BinaryOperatorStmt: NE \n n$1=*&this:std::exception_ptr const * [line 138]\n n$2=*n$1.__ptr_:void* [line 138]\n " shape="box"]
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_4" -> "operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_5" ;
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_4" -> "operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_6" ;
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_5" [label="5: Prune (true branch) \n PRUNE(((n$2 != null) != 0), true); [line 138]\n " shape="invhouse"]
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_5" -> "operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_7" ;
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_6" [label="6: Prune (false branch) \n PRUNE(((n$2 != null) == 0), false); [line 138]\n " shape="invhouse"]
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_6" -> "operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_8" ;
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_7" [label="7: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$0:_Bool=1 [line 138]\n " shape="box"]
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_7" -> "operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_3" ;
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_8" [label="8: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$0:_Bool=0 [line 138]\n " shape="box"]
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_8" -> "operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_3" ;
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_9" [label="9: Return Stmt \n n$3=*&0$?%__sil_tmpSIL_temp_conditional___n$0:_Bool [line 138]\n *&return:_Bool=n$3 [line 138]\n " shape="box"]
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_9" -> "operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_2" ;
"exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1EDn}.b23bb2147c8a8ba771e2f40d3542abc9_1" [label="1: Start std::exception_ptr_exception_ptr\nFormals: this:std::exception_ptr* __param_0:int\nLocals: \n DECLARE_LOCALS(&return); [line 131]\n " color=yellow style=filled]
"exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1EDn}.b23bb2147c8a8ba771e2f40d3542abc9_1" -> "exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1EDn}.b23bb2147c8a8ba771e2f40d3542abc9_3" ;
"exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1EDn}.b23bb2147c8a8ba771e2f40d3542abc9_2" [label="2: Exit std::exception_ptr_exception_ptr \n " color=yellow style=filled]
"exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1EDn}.b23bb2147c8a8ba771e2f40d3542abc9_3" [label="3: Constructor Init \n n$0=*&this:std::exception_ptr* [line 131]\n *n$0.__ptr_:void*=null [line 131]\n " shape="box"]
"exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1EDn}.b23bb2147c8a8ba771e2f40d3542abc9_3" -> "exception_ptr#exception_ptr#std#{_ZNSt13exception_ptrC1EDn}.b23bb2147c8a8ba771e2f40d3542abc9_2" ;
"nested_ptr#nested_exception#std#(_ZNKSt16nested_exception10nested_ptrEv).753e0357077fd8ac8ab8130b900014ef_1" [label="1: Start std::nested_exception_nested_ptr\nFormals: this:std::nested_exception* __return_param:std::exception_ptr*\nLocals: \n DECLARE_LOCALS(&return); [line 180]\n " color=yellow style=filled]
"nested_ptr#nested_exception#std#(_ZNKSt16nested_exception10nested_ptrEv).753e0357077fd8ac8ab8130b900014ef_1" -> "nested_ptr#nested_exception#std#(_ZNKSt16nested_exception10nested_ptrEv).753e0357077fd8ac8ab8130b900014ef_3" ;
"nested_ptr#nested_exception#std#(_ZNKSt16nested_exception10nested_ptrEv).753e0357077fd8ac8ab8130b900014ef_2" [label="2: Exit std::nested_exception_nested_ptr \n " color=yellow style=filled]
"nested_ptr#nested_exception#std#(_ZNKSt16nested_exception10nested_ptrEv).753e0357077fd8ac8ab8130b900014ef_3" [label="3: Return Stmt \n n$0=*&__return_param:std::exception_ptr* [line 180]\n n$1=*&this:std::nested_exception const * [line 180]\n _fun_std::exception_ptr_exception_ptr(n$0:std::exception_ptr*,n$1.__ptr_:std::exception_ptr&) [line 180]\n " shape="box"]
"nested_ptr#nested_exception#std#(_ZNKSt16nested_exception10nested_ptrEv).753e0357077fd8ac8ab8130b900014ef_3" -> "nested_ptr#nested_exception#std#(_ZNKSt16nested_exception10nested_ptrEv).753e0357077fd8ac8ab8130b900014ef_2" ;
"name#type_info#std#(_ZNKSt9type_info4nameEv).8c41a474dda80a419c854969d1ab23e8_1" [label="1: Start std::type_info_name\nFormals: this:std::type_info*\nLocals: \n " color=yellow style=filled]
"name#type_info#std#(_ZNKSt9type_info4nameEv).8c41a474dda80a419c854969d1ab23e8_2" [label="2: Exit std::type_info_name \n " color=yellow style=filled]
"hash_code#type_info#std#(_ZNKSt9type_info9hash_codeEv).01675cb218ac7b3cd979914210b13e49_1" [label="1: Start std::type_info_hash_code\nFormals: this:std::type_info*\nLocals: \n DECLARE_LOCALS(&return); [line 113]\n " color=yellow style=filled]
"hash_code#type_info#std#(_ZNKSt9type_info9hash_codeEv).01675cb218ac7b3cd979914210b13e49_1" -> "hash_code#type_info#std#(_ZNKSt9type_info9hash_codeEv).01675cb218ac7b3cd979914210b13e49_3" ;
"hash_code#type_info#std#(_ZNKSt9type_info9hash_codeEv).01675cb218ac7b3cd979914210b13e49_2" [label="2: Exit std::type_info_hash_code \n " color=yellow style=filled]
"hash_code#type_info#std#(_ZNKSt9type_info9hash_codeEv).01675cb218ac7b3cd979914210b13e49_3" [label="3: Return Stmt \n n$0=*&this:std::type_info const * [line 116]\n n$1=*n$0.__type_name:unsigned long [line 116]\n *&return:unsigned long=n$1 [line 116]\n " shape="box"]
"hash_code#type_info#std#(_ZNKSt9type_info9hash_codeEv).01675cb218ac7b3cd979914210b13e49_3" -> "hash_code#type_info#std#(_ZNKSt9type_info9hash_codeEv).01675cb218ac7b3cd979914210b13e49_2" ;
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_1" [label="1: Start std::type_info_before\nFormals: this:std::type_info* __arg:std::type_info const &\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$0:_Bool \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0); [line 103]\n " color=yellow style=filled]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_1" -> "before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_4" ;
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_2" [label="2: Exit std::type_info_before \n " color=yellow style=filled]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_3" [label="3: + \n " ]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_3" -> "before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_9" ;
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_4" [label="4: BinaryOperatorStmt: LT \n n$1=*&this:std::type_info const * [line 106]\n n$2=*n$1.__type_name:char const * [line 106]\n n$3=*&__arg:std::type_info const & [line 106]\n n$4=*n$3.__type_name:char const * [line 106]\n " shape="box"]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_4" -> "before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_5" ;
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_4" -> "before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_6" ;
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_5" [label="5: Prune (true branch) \n PRUNE(((n$2 < n$4) != 0), true); [line 106]\n " shape="invhouse"]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_5" -> "before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_7" ;
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_6" [label="6: Prune (false branch) \n PRUNE(((n$2 < n$4) == 0), false); [line 106]\n " shape="invhouse"]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_6" -> "before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_8" ;
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_7" [label="7: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$0:_Bool=1 [line 106]\n " shape="box"]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_7" -> "before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_3" ;
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_8" [label="8: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$0:_Bool=0 [line 106]\n " shape="box"]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_8" -> "before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_3" ;
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_9" [label="9: Return Stmt \n n$5=*&0$?%__sil_tmpSIL_temp_conditional___n$0:_Bool [line 106]\n *&return:_Bool=n$5 [line 106]\n " shape="box"]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_9" -> "before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_2" ;
"operator==#type_info#std#(_ZNKSt9type_infoeqERKS_).bba3803f824984bb290007319588edac_1" [label="1: Start std::type_info_operator==\nFormals: this:std::type_info* __arg:std::type_info const &\nLocals: \n " color=yellow style=filled]
"operator==#type_info#std#(_ZNKSt9type_infoeqERKS_).bba3803f824984bb290007319588edac_2" [label="2: Exit std::type_info_operator== \n " color=yellow style=filled]
"operator!=#type_info#std#(_ZNKSt9type_infoneERKS_).b69fd72b9eb174c6136ece21a7473e28_1" [label="1: Start std::type_info_operator!=\nFormals: this:std::type_info* __arg:std::type_info const &\nLocals: \n " color=yellow style=filled]
"operator!=#type_info#std#(_ZNKSt9type_infoneERKS_).b69fd72b9eb174c6136ece21a7473e28_2" [label="2: Exit std::type_info_operator!= \n " color=yellow style=filled]
"type_info#type_info#std#{_ZNSt9type_infoC1EPKc}.95293c2b692be68318d378f77a5be8af_1" [label="1: Start std::type_info_type_info\nFormals: this:std::type_info* __n:char const *\nLocals: \n " color=yellow style=filled]
"type_info#type_info#std#{_ZNSt9type_infoC1EPKc}.95293c2b692be68318d378f77a5be8af_2" [label="2: Exit std::type_info_type_info \n " color=yellow style=filled]
}
Write Preview
Loading…
Cancel
Save