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

[typ] Print type qualifiers in Typ.pp_full

Browse Source 
Summary:
Title.
The way types are printed is completely valid, but little weird for some C++ programmers:
`int const` - same as `const int`
`int * const` - pointer is `const`, value under it is not
`int const *` - pointer is not `const`, but the value is
`int const * const` - both pointer and value are const

Reviewed By: jberdine

Differential Revision: D4962180

fbshipit-source-id: dcb02e3
master
Andrzej Kotulski 8 years ago committed by Facebook Github Bot
parent aefbbe8680
commit 462220ce3e
50 changed files with 273 additions and 262 deletions
Show Stats Download Patch File Download Diff File

55
infer/src/IR/Typ.re
Unescape View File

@ -276,30 +276,41 @@ module Tbl = Hashtbl.Make T;
/** Pretty print a type with all the details, using the C syntax. */
let rec pp_full pe f {desc} =>
switch desc {
| Tstruct tname =>
if (Pp.equal_print_kind pe.Pp.kind Pp.HTML) {
F.fprintf f "%s" (Name.name tname |> Escape.escape_xml)
} else {
F.fprintf f "%s" (Name.name tname)
let rec pp_full pe f typ => {
let pp_quals f {quals} => {
if (is_const quals) {
F.fprintf f " const "
};
if (is_volatile quals) {
F.fprintf f " volatile "
}
| Tint ik => F.fprintf f "%s" (ikind_to_string ik)
| Tfloat fk => F.fprintf f "%s" (fkind_to_string fk)
| Tvoid => F.fprintf f "void"
| Tfun false => F.fprintf f "_fn_"
| Tfun true => F.fprintf f "_fn_noreturn_"
| Tptr ({desc: Tarray _ | Tfun _} as typ) pk =>
F.fprintf f "%a(%s)" (pp_full pe) typ (ptr_kind_string pk)
| Tptr typ pk => F.fprintf f "%a%s" (pp_full pe) typ (ptr_kind_string pk)
| Tarray typ static_len =>
let pp_array_static_len fmt => (
fun
| Some static_len => IntLit.pp fmt static_len
| None => F.fprintf fmt "_"
);
F.fprintf f "%a[%a]" (pp_full pe) typ pp_array_static_len static_len
};
let pp_desc f {desc} =>
switch desc {
| Tstruct tname =>
if (Pp.equal_print_kind pe.Pp.kind Pp.HTML) {
F.fprintf f "%s" (Name.name tname |> Escape.escape_xml)
} else {
F.fprintf f "%s" (Name.name tname)
}
| Tint ik => F.fprintf f "%s" (ikind_to_string ik)
| Tfloat fk => F.fprintf f "%s" (fkind_to_string fk)
| Tvoid => F.fprintf f "void"
| Tfun false => F.fprintf f "_fn_"
| Tfun true => F.fprintf f "_fn_noreturn_"
| Tptr ({desc: Tarray _ | Tfun _} as typ) pk =>
F.fprintf f "%a(%s)" (pp_full pe) typ (ptr_kind_string pk)
| Tptr typ pk => F.fprintf f "%a%s" (pp_full pe) typ (ptr_kind_string pk)
| Tarray typ static_len =>
let pp_array_static_len fmt => (
fun
| Some static_len => IntLit.pp fmt static_len
| None => F.fprintf fmt "_"
);
F.fprintf f "%a[%a]" (pp_full pe) typ pp_array_static_len static_len
};
F.fprintf f "%a%a" pp_desc typ pp_quals typ
};
/** Pretty print a type. Do nothing by default. */

14
infer/tests/build_systems/codetoanalyze/clang_translation/src/main.cpp.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_2" [label="2: Exit main \n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_3" [label="3: DeclStmt \n _fun_std::basic_string<b7ca98c5140c72c>_basic_string(&s:std::basic_string<b7ca98c5140c72c>*,\"1234\":char*) [line 22]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_3" [label="3: DeclStmt \n _fun_std::basic_string<b7ca98c5140c72c>_basic_string(&s:std::basic_string<b7ca98c5140c72c>*,\"1234\":char const *) [line 22]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
@ -64,25 +64,25 @@ digraph iCFG {
"unused_deref_in_header#_Z22unused_deref_in_headerPi.4ca6dae5ef0c61fe5177a61b80c5eccb_4" -> "unused_deref_in_header#_Z22unused_deref_in_headerPi.4ca6dae5ef0c61fe5177a61b80c5eccb_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void** value:int\nLocals: \n DECLARE_LOCALS(&return); [line 53]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void const ** value:int\nLocals: \n DECLARE_LOCALS(&return); [line 53]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_2" [label="2: Exit std::shared_ptr<int>_model_set \n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void** [line 54]\n n$1=*&value:int [line 54]\n *n$0:void*=n$1 [line 54]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void const ** [line 54]\n n$1=*&value:int [line 54]\n *n$0:void const *=n$1 [line 54]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_2" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void** value:void*\nLocals: \n DECLARE_LOCALS(&return); [line 65]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void const ** value:void*\nLocals: \n DECLARE_LOCALS(&return); [line 65]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_2" [label="2: Exit std::shared_ptr<int>_model_set \n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void** [line 66]\n n$1=*&value:void* [line 66]\n *n$0:void*=n$1 [line 66]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void const ** [line 66]\n n$1=*&value:void* [line 66]\n *n$0:void const *=n$1 [line 66]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_2" ;
@ -93,7 +93,7 @@ digraph iCFG {
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_2" [label="2: Exit std::shared_ptr<int>_shared_ptr \n " color=yellow style=filled]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 100]\n _fun_std::shared_ptr<int>_model_set(n$0:void**,null:int) [line 100]\n " shape="box"]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 100]\n _fun_std::shared_ptr<int>_model_set(n$0:void const **,null:int) [line 100]\n " shape="box"]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" -> "shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_2" ;
@ -119,7 +119,7 @@ digraph iCFG {
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_2" [label="2: Exit std::shared_ptr<int>_reset<int,_void> \n " color=yellow style=filled]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 238]\n n$1=*&p:int* [line 238]\n _fun_std::shared_ptr<int>_model_set(n$0:void**,n$1:void*) [line 238]\n " shape="box"]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 238]\n n$1=*&p:int* [line 238]\n _fun_std::shared_ptr<int>_model_set(n$0:void const **,n$1:void*) [line 238]\n " shape="box"]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" -> "reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_2" ;

14
infer/tests/build_systems/codetoanalyze/clang_translation/src/main_default_root.cpp.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_2" [label="2: Exit main \n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_3" [label="3: DeclStmt \n _fun_std::basic_string<b7ca98c5140c72c>_basic_string(&s:std::basic_string<b7ca98c5140c72c>*,\"1234\":char*) [line 22]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_3" [label="3: DeclStmt \n _fun_std::basic_string<b7ca98c5140c72c>_basic_string(&s:std::basic_string<b7ca98c5140c72c>*,\"1234\":char const *) [line 22]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
@ -64,25 +64,25 @@ digraph iCFG {
"unused_deref_in_header#_Z22unused_deref_in_headerPi.4ca6dae5ef0c61fe5177a61b80c5eccb_4" -> "unused_deref_in_header#_Z22unused_deref_in_headerPi.4ca6dae5ef0c61fe5177a61b80c5eccb_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void** value:int\nLocals: \n DECLARE_LOCALS(&return); [line 53]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void const ** value:int\nLocals: \n DECLARE_LOCALS(&return); [line 53]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_2" [label="2: Exit std::shared_ptr<int>_model_set \n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void** [line 54]\n n$1=*&value:int [line 54]\n *n$0:void*=n$1 [line 54]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void const ** [line 54]\n n$1=*&value:int [line 54]\n *n$0:void const *=n$1 [line 54]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_2" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void** value:void*\nLocals: \n DECLARE_LOCALS(&return); [line 65]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void const ** value:void*\nLocals: \n DECLARE_LOCALS(&return); [line 65]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_2" [label="2: Exit std::shared_ptr<int>_model_set \n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void** [line 66]\n n$1=*&value:void* [line 66]\n *n$0:void*=n$1 [line 66]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void const ** [line 66]\n n$1=*&value:void* [line 66]\n *n$0:void const *=n$1 [line 66]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_2" ;
@ -93,7 +93,7 @@ digraph iCFG {
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_2" [label="2: Exit std::shared_ptr<int>_shared_ptr \n " color=yellow style=filled]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 100]\n _fun_std::shared_ptr<int>_model_set(n$0:void**,null:int) [line 100]\n " shape="box"]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 100]\n _fun_std::shared_ptr<int>_model_set(n$0:void const **,null:int) [line 100]\n " shape="box"]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" -> "shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_2" ;
@ -119,7 +119,7 @@ digraph iCFG {
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_2" [label="2: Exit std::shared_ptr<int>_reset<int,_void> \n " color=yellow style=filled]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 238]\n n$1=*&p:int* [line 238]\n _fun_std::shared_ptr<int>_model_set(n$0:void**,n$1:void*) [line 238]\n " shape="box"]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 238]\n n$1=*&p:int* [line 238]\n _fun_std::shared_ptr<int>_model_set(n$0:void const **,n$1:void*) [line 238]\n " shape="box"]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" -> "reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_2" ;

14
infer/tests/build_systems/codetoanalyze/clang_translation/src/main_default_symlink.cpp.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_2" [label="2: Exit main \n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_3" [label="3: DeclStmt \n _fun_std::basic_string<b7ca98c5140c72c>_basic_string(&s:std::basic_string<b7ca98c5140c72c>*,\"1234\":char*) [line 22]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_3" [label="3: DeclStmt \n _fun_std::basic_string<b7ca98c5140c72c>_basic_string(&s:std::basic_string<b7ca98c5140c72c>*,\"1234\":char const *) [line 22]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
@ -64,25 +64,25 @@ digraph iCFG {
"unused_deref_in_header#_Z22unused_deref_in_headerPi.4ca6dae5ef0c61fe5177a61b80c5eccb_4" -> "unused_deref_in_header#_Z22unused_deref_in_headerPi.4ca6dae5ef0c61fe5177a61b80c5eccb_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void** value:int\nLocals: \n DECLARE_LOCALS(&return); [line 53]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void const ** value:int\nLocals: \n DECLARE_LOCALS(&return); [line 53]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_2" [label="2: Exit std::shared_ptr<int>_model_set \n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void** [line 54]\n n$1=*&value:int [line 54]\n *n$0:void*=n$1 [line 54]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void const ** [line 54]\n n$1=*&value:int [line 54]\n *n$0:void const *=n$1 [line 54]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_2" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void** value:void*\nLocals: \n DECLARE_LOCALS(&return); [line 65]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void const ** value:void*\nLocals: \n DECLARE_LOCALS(&return); [line 65]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_2" [label="2: Exit std::shared_ptr<int>_model_set \n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void** [line 66]\n n$1=*&value:void* [line 66]\n *n$0:void*=n$1 [line 66]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void const ** [line 66]\n n$1=*&value:void* [line 66]\n *n$0:void const *=n$1 [line 66]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_2" ;
@ -93,7 +93,7 @@ digraph iCFG {
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_2" [label="2: Exit std::shared_ptr<int>_shared_ptr \n " color=yellow style=filled]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 100]\n _fun_std::shared_ptr<int>_model_set(n$0:void**,null:int) [line 100]\n " shape="box"]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 100]\n _fun_std::shared_ptr<int>_model_set(n$0:void const **,null:int) [line 100]\n " shape="box"]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" -> "shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_2" ;
@ -119,7 +119,7 @@ digraph iCFG {
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_2" [label="2: Exit std::shared_ptr<int>_reset<int,_void> \n " color=yellow style=filled]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 238]\n n$1=*&p:int* [line 238]\n _fun_std::shared_ptr<int>_model_set(n$0:void**,n$1:void*) [line 238]\n " shape="box"]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 238]\n n$1=*&p:int* [line 238]\n _fun_std::shared_ptr<int>_model_set(n$0:void const **,n$1:void*) [line 238]\n " shape="box"]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" -> "reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_2" ;

14
infer/tests/build_systems/codetoanalyze/clang_translation/src/main_symlink.cpp.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_2" [label="2: Exit main \n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_3" [label="3: DeclStmt \n _fun_std::basic_string<b7ca98c5140c72c>_basic_string(&s:std::basic_string<b7ca98c5140c72c>*,\"1234\":char*) [line 22]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_3" [label="3: DeclStmt \n _fun_std::basic_string<b7ca98c5140c72c>_basic_string(&s:std::basic_string<b7ca98c5140c72c>*,\"1234\":char const *) [line 22]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
@ -64,25 +64,25 @@ digraph iCFG {
"unused_deref_in_header#_Z22unused_deref_in_headerPi.4ca6dae5ef0c61fe5177a61b80c5eccb_4" -> "unused_deref_in_header#_Z22unused_deref_in_headerPi.4ca6dae5ef0c61fe5177a61b80c5eccb_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void** value:int\nLocals: \n DECLARE_LOCALS(&return); [line 53]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void const ** value:int\nLocals: \n DECLARE_LOCALS(&return); [line 53]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_1" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_2" [label="2: Exit std::shared_ptr<int>_model_set \n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void** [line 54]\n n$1=*&value:int [line 54]\n *n$0:void*=n$1 [line 54]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void const ** [line 54]\n n$1=*&value:int [line 54]\n *n$0:void const *=n$1 [line 54]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_3" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvDn).24f333ae8929817fff3c263651c77d16_2" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void** value:void*\nLocals: \n DECLARE_LOCALS(&return); [line 65]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" [label="1: Start std::shared_ptr<int>_model_set\nFormals: self:void const ** value:void*\nLocals: \n DECLARE_LOCALS(&return); [line 65]\n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_1" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" ;
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_2" [label="2: Exit std::shared_ptr<int>_model_set \n " color=yellow style=filled]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void** [line 66]\n n$1=*&value:void* [line 66]\n *n$0:void*=n$1 [line 66]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&self:void const ** [line 66]\n n$1=*&value:void* [line 66]\n *n$0:void const *=n$1 [line 66]\n " shape="box"]
"model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_3" -> "model_set#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE9model_setEPPKvPv).0cb322c919ae980fbaa034b2b8b82974_2" ;
@ -93,7 +93,7 @@ digraph iCFG {
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_2" [label="2: Exit std::shared_ptr<int>_shared_ptr \n " color=yellow style=filled]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 100]\n _fun_std::shared_ptr<int>_model_set(n$0:void**,null:int) [line 100]\n " shape="box"]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 100]\n _fun_std::shared_ptr<int>_model_set(n$0:void const **,null:int) [line 100]\n " shape="box"]
"shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_3" -> "shared_ptr#shared_ptr<int>#std#{_ZNSt3__110shared_ptrIiEC1Ev|constexpr}.a83df2e127dfd835cd19672b6db04408_2" ;
@ -119,7 +119,7 @@ digraph iCFG {
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_2" [label="2: Exit std::shared_ptr<int>_reset<int,_void> \n " color=yellow style=filled]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 238]\n n$1=*&p:int* [line 238]\n _fun_std::shared_ptr<int>_model_set(n$0:void**,n$1:void*) [line 238]\n " shape="box"]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" [label="3: Call _fun_std::shared_ptr<int>_model_set \n n$0=*&this:int** [line 238]\n n$1=*&p:int* [line 238]\n _fun_std::shared_ptr<int>_model_set(n$0:void const **,n$1:void*) [line 238]\n " shape="box"]
"reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_3" -> "reset<int,_void>#shared_ptr<int>#std#(_ZNSt3__110shared_ptrIiE5resetIivEEvPT_).a1205b56a9f5cca1b1c1504f3db46c6e_2" ;

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

@ -1,6 +1,6 @@
/* @generated */
digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: overflow_int:int large_int:int d:long double c:float* b:int* a:int \n DECLARE_LOCALS(&return,&overflow_int,&large_int,&d,&c,&b,&a); [line 10]\n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: overflow_int:int large_int:int d:long double c:float* const b:int* a:int \n DECLARE_LOCALS(&return,&overflow_int,&large_int,&d,&c,&b,&a); [line 10]\n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_1" -> "main.fad58de7366495db4650cfefac2fcd61_6" ;

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

@ -46,7 +46,7 @@ digraph iCFG {
"test_loop.254a9d372f8f45542e409771135b9322_11" -> "test_loop.254a9d372f8f45542e409771135b9322_17" ;
"test_loop.254a9d372f8f45542e409771135b9322_11" -> "test_loop.254a9d372f8f45542e409771135b9322_18" ;
"test_loop.254a9d372f8f45542e409771135b9322_12" [label="12: BinaryOperatorStmt: Assign \n n$4=_fun_getenv(\"BLOCK_SIZE\":char*) [line 36]\n *&spec:char*=n$4 [line 36]\n n$5=*&spec:char* [line 36]\n " shape="box"]
"test_loop.254a9d372f8f45542e409771135b9322_12" [label="12: BinaryOperatorStmt: Assign \n n$4=_fun_getenv(\"BLOCK_SIZE\":char const *) [line 36]\n *&spec:char*=n$4 [line 36]\n n$5=*&spec:char* [line 36]\n " shape="box"]
"test_loop.254a9d372f8f45542e409771135b9322_12" -> "test_loop.254a9d372f8f45542e409771135b9322_13" ;
@ -80,7 +80,7 @@ digraph iCFG {
"test_loop.254a9d372f8f45542e409771135b9322_19" -> "test_loop.254a9d372f8f45542e409771135b9322_25" ;
"test_loop.254a9d372f8f45542e409771135b9322_19" -> "test_loop.254a9d372f8f45542e409771135b9322_26" ;
"test_loop.254a9d372f8f45542e409771135b9322_20" [label="20: BinaryOperatorStmt: Assign \n n$8=_fun_getenv(\"BLOCKSIZE\":char*) [line 37]\n *&spec:char*=n$8 [line 37]\n n$9=*&spec:char* [line 37]\n " shape="box"]
"test_loop.254a9d372f8f45542e409771135b9322_20" [label="20: BinaryOperatorStmt: Assign \n n$8=_fun_getenv(\"BLOCKSIZE\":char const *) [line 37]\n *&spec:char*=n$8 [line 37]\n n$9=*&spec:char* [line 37]\n " shape="box"]
"test_loop.254a9d372f8f45542e409771135b9322_20" -> "test_loop.254a9d372f8f45542e409771135b9322_21" ;
@ -113,7 +113,7 @@ digraph iCFG {
"test_loop.254a9d372f8f45542e409771135b9322_27" -> "test_loop.254a9d372f8f45542e409771135b9322_3" ;
"test_loop.254a9d372f8f45542e409771135b9322_28" [label="28: BinaryOperatorStmt: Assign \n n$11=_fun_getenv(\"BLOCK\":char*) [line 34]\n *&spec:char*=n$11 [line 34]\n " shape="box"]
"test_loop.254a9d372f8f45542e409771135b9322_28" [label="28: BinaryOperatorStmt: Assign \n n$11=_fun_getenv(\"BLOCK\":char const *) [line 34]\n *&spec:char*=n$11 [line 34]\n " shape="box"]
"test_loop.254a9d372f8f45542e409771135b9322_28" -> "test_loop.254a9d372f8f45542e409771135b9322_3" ;
@ -166,7 +166,7 @@ digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_12" -> "main.fad58de7366495db4650cfefac2fcd61_18" ;
"main.fad58de7366495db4650cfefac2fcd61_12" -> "main.fad58de7366495db4650cfefac2fcd61_19" ;
"main.fad58de7366495db4650cfefac2fcd61_13" [label="13: BinaryOperatorStmt: Assign \n n$4=_fun_getenv(\"BLOCK_SIZE\":char*) [line 49]\n *&spec:char*=n$4 [line 49]\n n$5=*&spec:char* [line 49]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_13" [label="13: BinaryOperatorStmt: Assign \n n$4=_fun_getenv(\"BLOCK_SIZE\":char const *) [line 49]\n *&spec:char*=n$4 [line 49]\n n$5=*&spec:char* [line 49]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_13" -> "main.fad58de7366495db4650cfefac2fcd61_14" ;
@ -200,7 +200,7 @@ digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_20" -> "main.fad58de7366495db4650cfefac2fcd61_26" ;
"main.fad58de7366495db4650cfefac2fcd61_20" -> "main.fad58de7366495db4650cfefac2fcd61_27" ;
"main.fad58de7366495db4650cfefac2fcd61_21" [label="21: BinaryOperatorStmt: Assign \n n$8=_fun_getenv(\"BLOCKSIZE\":char*) [line 49]\n *&spec:char*=n$8 [line 49]\n n$9=*&spec:char* [line 49]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_21" [label="21: BinaryOperatorStmt: Assign \n n$8=_fun_getenv(\"BLOCKSIZE\":char const *) [line 49]\n *&spec:char*=n$8 [line 49]\n n$9=*&spec:char* [line 49]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_21" -> "main.fad58de7366495db4650cfefac2fcd61_22" ;
@ -254,7 +254,7 @@ digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_33" -> "main.fad58de7366495db4650cfefac2fcd61_29" ;
"main.fad58de7366495db4650cfefac2fcd61_34" [label="34: BinaryOperatorStmt: Assign \n n$13=_fun_getenv(\"BLOCK\":char*) [line 47]\n *&spec:char*=n$13 [line 47]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_34" [label="34: BinaryOperatorStmt: Assign \n n$13=_fun_getenv(\"BLOCK\":char const *) [line 47]\n *&spec:char*=n$13 [line 47]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_34" -> "main.fad58de7366495db4650cfefac2fcd61_6" ;
@ -358,7 +358,7 @@ digraph iCFG {
"shortcircuit_and.10f9635d805ff3bd29dfc80b8f8d12da_12" -> "shortcircuit_and.10f9635d805ff3bd29dfc80b8f8d12da_18" ;
"shortcircuit_and.10f9635d805ff3bd29dfc80b8f8d12da_12" -> "shortcircuit_and.10f9635d805ff3bd29dfc80b8f8d12da_19" ;
"shortcircuit_and.10f9635d805ff3bd29dfc80b8f8d12da_13" [label="13: BinaryOperatorStmt: Assign \n n$4=_fun_getenv(\"BLOCK\":char*) [line 22]\n *&x:int*=n$4 [line 22]\n n$5=*&x:int* [line 22]\n " shape="box"]
"shortcircuit_and.10f9635d805ff3bd29dfc80b8f8d12da_13" [label="13: BinaryOperatorStmt: Assign \n n$4=_fun_getenv(\"BLOCK\":char const *) [line 22]\n *&x:int*=n$4 [line 22]\n n$5=*&x:int* [line 22]\n " shape="box"]
"shortcircuit_and.10f9635d805ff3bd29dfc80b8f8d12da_13" -> "shortcircuit_and.10f9635d805ff3bd29dfc80b8f8d12da_14" ;

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

@ -254,7 +254,7 @@ digraph iCFG {
"g3.8a9fd7dfda802921fdc4079f9a528ce8_3" -> "g3.8a9fd7dfda802921fdc4079f9a528ce8_2" ;
"g3.8a9fd7dfda802921fdc4079f9a528ce8_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"exit\\n\":char*) [line 77]\n " shape="box"]
"g3.8a9fd7dfda802921fdc4079f9a528ce8_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"exit\\n\":char const *) [line 77]\n " shape="box"]
"g3.8a9fd7dfda802921fdc4079f9a528ce8_4" -> "g3.8a9fd7dfda802921fdc4079f9a528ce8_3" ;
@ -262,7 +262,7 @@ digraph iCFG {
"g3.8a9fd7dfda802921fdc4079f9a528ce8_5" -> "g3.8a9fd7dfda802921fdc4079f9a528ce8_4" ;
"g3.8a9fd7dfda802921fdc4079f9a528ce8_6" [label="6: Call _fun_printf \n n$1=_fun_printf(\"A\\n\":char*) [line 74]\n " shape="box"]
"g3.8a9fd7dfda802921fdc4079f9a528ce8_6" [label="6: Call _fun_printf \n n$1=_fun_printf(\"A\\n\":char const *) [line 74]\n " shape="box"]
"g3.8a9fd7dfda802921fdc4079f9a528ce8_6" -> "g3.8a9fd7dfda802921fdc4079f9a528ce8_5" ;
@ -278,7 +278,7 @@ digraph iCFG {
"g3.8a9fd7dfda802921fdc4079f9a528ce8_9" -> "g3.8a9fd7dfda802921fdc4079f9a528ce8_2" ;
"g3.8a9fd7dfda802921fdc4079f9a528ce8_10" [label="10: Call _fun_printf \n n$2=_fun_printf(\"g3\\n\":char*) [line 69]\n " shape="box"]
"g3.8a9fd7dfda802921fdc4079f9a528ce8_10" [label="10: Call _fun_printf \n n$2=_fun_printf(\"g3\\n\":char const *) [line 69]\n " shape="box"]
"g3.8a9fd7dfda802921fdc4079f9a528ce8_10" -> "g3.8a9fd7dfda802921fdc4079f9a528ce8_9" ;
@ -379,7 +379,7 @@ digraph iCFG {
"g3.8a9fd7dfda802921fdc4079f9a528ce8_33" -> "g3.8a9fd7dfda802921fdc4079f9a528ce8_25" ;
"g3.8a9fd7dfda802921fdc4079f9a528ce8_34" [label="34: Call _fun_printf \n n$10=_fun_printf(\"B\\n\":char*) [line 61]\n " shape="box"]
"g3.8a9fd7dfda802921fdc4079f9a528ce8_34" [label="34: Call _fun_printf \n n$10=_fun_printf(\"B\\n\":char const *) [line 61]\n " shape="box"]
"g3.8a9fd7dfda802921fdc4079f9a528ce8_34" -> "g3.8a9fd7dfda802921fdc4079f9a528ce8_27" ;
@ -394,7 +394,7 @@ digraph iCFG {
"g4.b0b5c8f28ad7834e70a958a8882fa59a_3" -> "g4.b0b5c8f28ad7834e70a958a8882fa59a_2" ;
"g4.b0b5c8f28ad7834e70a958a8882fa59a_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"exit\\n\":char*) [line 98]\n " shape="box"]
"g4.b0b5c8f28ad7834e70a958a8882fa59a_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"exit\\n\":char const *) [line 98]\n " shape="box"]
"g4.b0b5c8f28ad7834e70a958a8882fa59a_4" -> "g4.b0b5c8f28ad7834e70a958a8882fa59a_3" ;
@ -402,7 +402,7 @@ digraph iCFG {
"g4.b0b5c8f28ad7834e70a958a8882fa59a_5" -> "g4.b0b5c8f28ad7834e70a958a8882fa59a_4" ;
"g4.b0b5c8f28ad7834e70a958a8882fa59a_6" [label="6: Call _fun_printf \n n$1=_fun_printf(\"A\\n\":char*) [line 95]\n " shape="box"]
"g4.b0b5c8f28ad7834e70a958a8882fa59a_6" [label="6: Call _fun_printf \n n$1=_fun_printf(\"A\\n\":char const *) [line 95]\n " shape="box"]
"g4.b0b5c8f28ad7834e70a958a8882fa59a_6" -> "g4.b0b5c8f28ad7834e70a958a8882fa59a_5" ;
@ -414,7 +414,7 @@ digraph iCFG {
"g4.b0b5c8f28ad7834e70a958a8882fa59a_8" -> "g4.b0b5c8f28ad7834e70a958a8882fa59a_7" ;
"g4.b0b5c8f28ad7834e70a958a8882fa59a_9" [label="9: Call _fun_printf \n n$2=_fun_printf(\"g4\\n\":char*) [line 91]\n " shape="box"]
"g4.b0b5c8f28ad7834e70a958a8882fa59a_9" [label="9: Call _fun_printf \n n$2=_fun_printf(\"g4\\n\":char const *) [line 91]\n " shape="box"]
"g4.b0b5c8f28ad7834e70a958a8882fa59a_9" -> "g4.b0b5c8f28ad7834e70a958a8882fa59a_8" ;
@ -515,7 +515,7 @@ digraph iCFG {
"g4.b0b5c8f28ad7834e70a958a8882fa59a_32" -> "g4.b0b5c8f28ad7834e70a958a8882fa59a_24" ;
"g4.b0b5c8f28ad7834e70a958a8882fa59a_33" [label="33: Call _fun_printf \n n$10=_fun_printf(\"B\\n\":char*) [line 83]\n " shape="box"]
"g4.b0b5c8f28ad7834e70a958a8882fa59a_33" [label="33: Call _fun_printf \n n$10=_fun_printf(\"B\\n\":char const *) [line 83]\n " shape="box"]
"g4.b0b5c8f28ad7834e70a958a8882fa59a_33" -> "g4.b0b5c8f28ad7834e70a958a8882fa59a_26" ;
@ -530,7 +530,7 @@ digraph iCFG {
"g5.37c965a8d6d7bec292c7b11ff315d9ea_3" -> "g5.37c965a8d6d7bec292c7b11ff315d9ea_8" ;
"g5.37c965a8d6d7bec292c7b11ff315d9ea_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"exit\\n\":char*) [line 120]\n " shape="box"]
"g5.37c965a8d6d7bec292c7b11ff315d9ea_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"exit\\n\":char const *) [line 120]\n " shape="box"]
"g5.37c965a8d6d7bec292c7b11ff315d9ea_4" -> "g5.37c965a8d6d7bec292c7b11ff315d9ea_3" ;
@ -542,7 +542,7 @@ digraph iCFG {
"g5.37c965a8d6d7bec292c7b11ff315d9ea_6" -> "g5.37c965a8d6d7bec292c7b11ff315d9ea_2" ;
"g5.37c965a8d6d7bec292c7b11ff315d9ea_7" [label="7: Call _fun_printf \n n$1=_fun_printf(\"A\\n\":char*) [line 116]\n " shape="box"]
"g5.37c965a8d6d7bec292c7b11ff315d9ea_7" [label="7: Call _fun_printf \n n$1=_fun_printf(\"A\\n\":char const *) [line 116]\n " shape="box"]
"g5.37c965a8d6d7bec292c7b11ff315d9ea_7" -> "g5.37c965a8d6d7bec292c7b11ff315d9ea_6" ;
@ -647,7 +647,7 @@ digraph iCFG {
"g5.37c965a8d6d7bec292c7b11ff315d9ea_31" -> "g5.37c965a8d6d7bec292c7b11ff315d9ea_23" ;
"g5.37c965a8d6d7bec292c7b11ff315d9ea_32" [label="32: Call _fun_printf \n n$9=_fun_printf(\"B\\n\":char*) [line 104]\n " shape="box"]
"g5.37c965a8d6d7bec292c7b11ff315d9ea_32" [label="32: Call _fun_printf \n n$9=_fun_printf(\"B\\n\":char const *) [line 104]\n " shape="box"]
"g5.37c965a8d6d7bec292c7b11ff315d9ea_32" -> "g5.37c965a8d6d7bec292c7b11ff315d9ea_25" ;
@ -662,7 +662,7 @@ digraph iCFG {
"g6.4a4314ef967aad20a9e7c423bc16e39c_3" -> "g6.4a4314ef967aad20a9e7c423bc16e39c_8" ;
"g6.4a4314ef967aad20a9e7c423bc16e39c_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"exit\\n\":char*) [line 142]\n " shape="box"]
"g6.4a4314ef967aad20a9e7c423bc16e39c_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"exit\\n\":char const *) [line 142]\n " shape="box"]
"g6.4a4314ef967aad20a9e7c423bc16e39c_4" -> "g6.4a4314ef967aad20a9e7c423bc16e39c_3" ;
@ -674,7 +674,7 @@ digraph iCFG {
"g6.4a4314ef967aad20a9e7c423bc16e39c_6" -> "g6.4a4314ef967aad20a9e7c423bc16e39c_2" ;
"g6.4a4314ef967aad20a9e7c423bc16e39c_7" [label="7: Call _fun_printf \n n$1=_fun_printf(\"A\\n\":char*) [line 138]\n " shape="box"]
"g6.4a4314ef967aad20a9e7c423bc16e39c_7" [label="7: Call _fun_printf \n n$1=_fun_printf(\"A\\n\":char const *) [line 138]\n " shape="box"]
"g6.4a4314ef967aad20a9e7c423bc16e39c_7" -> "g6.4a4314ef967aad20a9e7c423bc16e39c_6" ;
@ -779,7 +779,7 @@ digraph iCFG {
"g6.4a4314ef967aad20a9e7c423bc16e39c_31" -> "g6.4a4314ef967aad20a9e7c423bc16e39c_23" ;
"g6.4a4314ef967aad20a9e7c423bc16e39c_32" [label="32: Call _fun_printf \n n$9=_fun_printf(\"B\\n\":char*) [line 126]\n " shape="box"]
"g6.4a4314ef967aad20a9e7c423bc16e39c_32" [label="32: Call _fun_printf \n n$9=_fun_printf(\"B\\n\":char const *) [line 126]\n " shape="box"]
"g6.4a4314ef967aad20a9e7c423bc16e39c_32" -> "g6.4a4314ef967aad20a9e7c423bc16e39c_25" ;
@ -794,7 +794,7 @@ digraph iCFG {
"g7.727bb92f57c3951d11695a52c92c2b0c_3" -> "g7.727bb92f57c3951d11695a52c92c2b0c_2" ;
"g7.727bb92f57c3951d11695a52c92c2b0c_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"terminating!\\n\":char*) [line 165]\n " shape="box"]
"g7.727bb92f57c3951d11695a52c92c2b0c_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"terminating!\\n\":char const *) [line 165]\n " shape="box"]
"g7.727bb92f57c3951d11695a52c92c2b0c_4" -> "g7.727bb92f57c3951d11695a52c92c2b0c_3" ;
@ -806,7 +806,7 @@ digraph iCFG {
"g7.727bb92f57c3951d11695a52c92c2b0c_6" -> "g7.727bb92f57c3951d11695a52c92c2b0c_25" ;
"g7.727bb92f57c3951d11695a52c92c2b0c_7" [label="7: Call _fun_printf \n n$1=_fun_printf(\"out!\\n\":char*) [line 162]\n " shape="box"]
"g7.727bb92f57c3951d11695a52c92c2b0c_7" [label="7: Call _fun_printf \n n$1=_fun_printf(\"out!\\n\":char const *) [line 162]\n " shape="box"]
"g7.727bb92f57c3951d11695a52c92c2b0c_7" -> "g7.727bb92f57c3951d11695a52c92c2b0c_6" ;
@ -882,7 +882,7 @@ digraph iCFG {
"g7.727bb92f57c3951d11695a52c92c2b0c_24" -> "g7.727bb92f57c3951d11695a52c92c2b0c_21" ;
"g7.727bb92f57c3951d11695a52c92c2b0c_25" [label="25: Call _fun_printf \n n$6=_fun_printf(\"wow\\n\":char*) [line 155]\n " shape="box"]
"g7.727bb92f57c3951d11695a52c92c2b0c_25" [label="25: Call _fun_printf \n n$6=_fun_printf(\"wow\\n\":char const *) [line 155]\n " shape="box"]
"g7.727bb92f57c3951d11695a52c92c2b0c_25" -> "g7.727bb92f57c3951d11695a52c92c2b0c_5" ;
@ -913,7 +913,7 @@ digraph iCFG {
"g8.c98b82371573afc08575815d90f5eac4_3" -> "g8.c98b82371573afc08575815d90f5eac4_2" ;
"g8.c98b82371573afc08575815d90f5eac4_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"terminating!\\n\":char*) [line 188]\n " shape="box"]
"g8.c98b82371573afc08575815d90f5eac4_4" [label="4: Call _fun_printf \n n$0=_fun_printf(\"terminating!\\n\":char const *) [line 188]\n " shape="box"]
"g8.c98b82371573afc08575815d90f5eac4_4" -> "g8.c98b82371573afc08575815d90f5eac4_3" ;
@ -921,7 +921,7 @@ digraph iCFG {
"g8.c98b82371573afc08575815d90f5eac4_5" -> "g8.c98b82371573afc08575815d90f5eac4_4" ;
"g8.c98b82371573afc08575815d90f5eac4_6" [label="6: Call _fun_printf \n n$1=_fun_printf(\"out!\\n\":char*) [line 186]\n " shape="box"]
"g8.c98b82371573afc08575815d90f5eac4_6" [label="6: Call _fun_printf \n n$1=_fun_printf(\"out!\\n\":char const *) [line 186]\n " shape="box"]
"g8.c98b82371573afc08575815d90f5eac4_6" -> "g8.c98b82371573afc08575815d90f5eac4_5" ;
@ -997,7 +997,7 @@ digraph iCFG {
"g8.c98b82371573afc08575815d90f5eac4_23" -> "g8.c98b82371573afc08575815d90f5eac4_20" ;
"g8.c98b82371573afc08575815d90f5eac4_24" [label="24: Call _fun_printf \n n$6=_fun_printf(\"wow\\n\":char*) [line 179]\n " shape="box"]
"g8.c98b82371573afc08575815d90f5eac4_24" [label="24: Call _fun_printf \n n$6=_fun_printf(\"wow\\n\":char const *) [line 179]\n " shape="box"]
"g8.c98b82371573afc08575815d90f5eac4_24" -> "g8.c98b82371573afc08575815d90f5eac4_20" ;

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

@ -28,7 +28,7 @@ digraph iCFG {
"m1.ae7be26cdaa742ca148068d5ac90eaca_7" -> "m1.ae7be26cdaa742ca148068d5ac90eaca_3" ;
"m1.ae7be26cdaa742ca148068d5ac90eaca_8" [label="8: Call _fun_printf \n n$1=_fun_printf(\"(after_switch)HELLO WORLD!\":char*) [line 30]\n " shape="box"]
"m1.ae7be26cdaa742ca148068d5ac90eaca_8" [label="8: Call _fun_printf \n n$1=_fun_printf(\"(after_switch)HELLO WORLD!\":char const *) [line 30]\n " shape="box"]
"m1.ae7be26cdaa742ca148068d5ac90eaca_8" -> "m1.ae7be26cdaa742ca148068d5ac90eaca_4" ;
@ -41,7 +41,7 @@ digraph iCFG {
"m1.ae7be26cdaa742ca148068d5ac90eaca_10" -> "m1.ae7be26cdaa742ca148068d5ac90eaca_11" ;
"m1.ae7be26cdaa742ca148068d5ac90eaca_11" [label="11: Call _fun_printf \n n$3=_fun_printf(\"(2/def)HELLO WORLD!\":char*) [line 27]\n " shape="box"]
"m1.ae7be26cdaa742ca148068d5ac90eaca_11" [label="11: Call _fun_printf \n n$3=_fun_printf(\"(2/def)HELLO WORLD!\":char const *) [line 27]\n " shape="box"]
"m1.ae7be26cdaa742ca148068d5ac90eaca_11" -> "m1.ae7be26cdaa742ca148068d5ac90eaca_4" ;
@ -53,7 +53,7 @@ digraph iCFG {
"m1.ae7be26cdaa742ca148068d5ac90eaca_13" -> "m1.ae7be26cdaa742ca148068d5ac90eaca_10" ;
"m1.ae7be26cdaa742ca148068d5ac90eaca_14" [label="14: Call _fun_printf \n n$4=_fun_printf(\"(1)HELLO WORLD!\":char*) [line 23]\n " shape="box"]
"m1.ae7be26cdaa742ca148068d5ac90eaca_14" [label="14: Call _fun_printf \n n$4=_fun_printf(\"(1)HELLO WORLD!\":char const *) [line 23]\n " shape="box"]
"m1.ae7be26cdaa742ca148068d5ac90eaca_14" -> "m1.ae7be26cdaa742ca148068d5ac90eaca_4" ;
@ -66,7 +66,7 @@ digraph iCFG {
"m1.ae7be26cdaa742ca148068d5ac90eaca_16" -> "m1.ae7be26cdaa742ca148068d5ac90eaca_12" ;
"m1.ae7be26cdaa742ca148068d5ac90eaca_16" -> "m1.ae7be26cdaa742ca148068d5ac90eaca_13" ;
"m1.ae7be26cdaa742ca148068d5ac90eaca_17" [label="17: Call _fun_printf \n n$5=_fun_printf(\"(0)HELLO WORLD!\":char*) [line 20]\n " shape="box"]
"m1.ae7be26cdaa742ca148068d5ac90eaca_17" [label="17: Call _fun_printf \n n$5=_fun_printf(\"(0)HELLO WORLD!\":char const *) [line 20]\n " shape="box"]
"m1.ae7be26cdaa742ca148068d5ac90eaca_17" -> "m1.ae7be26cdaa742ca148068d5ac90eaca_8" ;
@ -83,7 +83,7 @@ digraph iCFG {
"m1.ae7be26cdaa742ca148068d5ac90eaca_20" -> "m1.ae7be26cdaa742ca148068d5ac90eaca_17" ;
"m1.ae7be26cdaa742ca148068d5ac90eaca_21" [label="21: Call _fun_printf \n n$7=_fun_printf(\"(out)HELLO WORLD!\":char*) [line 17]\n " shape="box"]
"m1.ae7be26cdaa742ca148068d5ac90eaca_21" [label="21: Call _fun_printf \n n$7=_fun_printf(\"(out)HELLO WORLD!\":char const *) [line 17]\n " shape="box"]
"m1.ae7be26cdaa742ca148068d5ac90eaca_21" -> "m1.ae7be26cdaa742ca148068d5ac90eaca_20" ;
@ -157,7 +157,7 @@ digraph iCFG {
"m2.aaf2f89992379705dac844c0a2a1d45f_15" -> "m2.aaf2f89992379705dac844c0a2a1d45f_12" ;
"m2.aaf2f89992379705dac844c0a2a1d45f_16" [label="16: Call _fun_printf \n n$2=_fun_printf(\"(0)HELLO WORLD!\":char*) [line 42]\n " shape="box"]
"m2.aaf2f89992379705dac844c0a2a1d45f_16" [label="16: Call _fun_printf \n n$2=_fun_printf(\"(0)HELLO WORLD!\":char const *) [line 42]\n " shape="box"]
"m2.aaf2f89992379705dac844c0a2a1d45f_16" -> "m2.aaf2f89992379705dac844c0a2a1d45f_3" ;
@ -174,7 +174,7 @@ digraph iCFG {
"m2.aaf2f89992379705dac844c0a2a1d45f_19" -> "m2.aaf2f89992379705dac844c0a2a1d45f_16" ;
"m2.aaf2f89992379705dac844c0a2a1d45f_20" [label="20: Call _fun_printf \n n$4=_fun_printf(\"(out)HELLO WORLD!\":char*) [line 39]\n " shape="box"]
"m2.aaf2f89992379705dac844c0a2a1d45f_20" [label="20: Call _fun_printf \n n$4=_fun_printf(\"(out)HELLO WORLD!\":char const *) [line 39]\n " shape="box"]
"m2.aaf2f89992379705dac844c0a2a1d45f_20" -> "m2.aaf2f89992379705dac844c0a2a1d45f_19" ;
@ -240,7 +240,7 @@ digraph iCFG {
"m3.9678f7a7939f457fa0d9353761e189c7_13" -> "m3.9678f7a7939f457fa0d9353761e189c7_7" ;
"m3.9678f7a7939f457fa0d9353761e189c7_13" -> "m3.9678f7a7939f457fa0d9353761e189c7_8" ;
"m3.9678f7a7939f457fa0d9353761e189c7_14" [label="14: Call _fun_printf \n n$2=_fun_printf(\"(0)HELLO WORLD!\":char*) [line 64]\n " shape="box"]
"m3.9678f7a7939f457fa0d9353761e189c7_14" [label="14: Call _fun_printf \n n$2=_fun_printf(\"(0)HELLO WORLD!\":char const *) [line 64]\n " shape="box"]
"m3.9678f7a7939f457fa0d9353761e189c7_14" -> "m3.9678f7a7939f457fa0d9353761e189c7_3" ;
@ -319,7 +319,7 @@ digraph iCFG {
"m4.fd6b6fc9220b72d21683ae8e4f50a210_15" -> "m4.fd6b6fc9220b72d21683ae8e4f50a210_12" ;
"m4.fd6b6fc9220b72d21683ae8e4f50a210_16" [label="16: Call _fun_printf \n n$2=_fun_printf(\"(0)HELLO WORLD!\":char*) [line 85]\n " shape="box"]
"m4.fd6b6fc9220b72d21683ae8e4f50a210_16" [label="16: Call _fun_printf \n n$2=_fun_printf(\"(0)HELLO WORLD!\":char const *) [line 85]\n " shape="box"]
"m4.fd6b6fc9220b72d21683ae8e4f50a210_16" -> "m4.fd6b6fc9220b72d21683ae8e4f50a210_3" ;
@ -336,7 +336,7 @@ digraph iCFG {
"m4.fd6b6fc9220b72d21683ae8e4f50a210_19" -> "m4.fd6b6fc9220b72d21683ae8e4f50a210_16" ;
"m4.fd6b6fc9220b72d21683ae8e4f50a210_20" [label="20: Call _fun_printf \n n$4=_fun_printf(\"(out)HELLO WORLD!\":char*) [line 82]\n " shape="box"]
"m4.fd6b6fc9220b72d21683ae8e4f50a210_20" [label="20: Call _fun_printf \n n$4=_fun_printf(\"(out)HELLO WORLD!\":char const *) [line 82]\n " shape="box"]
"m4.fd6b6fc9220b72d21683ae8e4f50a210_20" -> "m4.fd6b6fc9220b72d21683ae8e4f50a210_19" ;
@ -381,7 +381,7 @@ digraph iCFG {
"m5.7b1f6dff14d8c2dfeb7da9487be0612d_8" -> "m5.7b1f6dff14d8c2dfeb7da9487be0612d_10" ;
"m5.7b1f6dff14d8c2dfeb7da9487be0612d_8" -> "m5.7b1f6dff14d8c2dfeb7da9487be0612d_11" ;
"m5.7b1f6dff14d8c2dfeb7da9487be0612d_9" [label="9: Call _fun_printf \n n$2=_fun_printf(\"(0)HELLO WORLD!\":char*) [line 112]\n " shape="box"]
"m5.7b1f6dff14d8c2dfeb7da9487be0612d_9" [label="9: Call _fun_printf \n n$2=_fun_printf(\"(0)HELLO WORLD!\":char const *) [line 112]\n " shape="box"]
"m5.7b1f6dff14d8c2dfeb7da9487be0612d_9" -> "m5.7b1f6dff14d8c2dfeb7da9487be0612d_4" ;
@ -397,7 +397,7 @@ digraph iCFG {
"m5.7b1f6dff14d8c2dfeb7da9487be0612d_12" -> "m5.7b1f6dff14d8c2dfeb7da9487be0612d_4" ;
"m5.7b1f6dff14d8c2dfeb7da9487be0612d_13" [label="13: Call _fun_printf \n n$4=_fun_printf(\"(out)HELLO WORLD!\":char*) [line 108]\n " shape="box"]
"m5.7b1f6dff14d8c2dfeb7da9487be0612d_13" [label="13: Call _fun_printf \n n$4=_fun_printf(\"(out)HELLO WORLD!\":char const *) [line 108]\n " shape="box"]
"m5.7b1f6dff14d8c2dfeb7da9487be0612d_13" -> "m5.7b1f6dff14d8c2dfeb7da9487be0612d_12" ;
@ -488,7 +488,7 @@ digraph iCFG {
"m6.36604411a85db2bd9e97e22bfb5b692d_19" -> "m6.36604411a85db2bd9e97e22bfb5b692d_13" ;
"m6.36604411a85db2bd9e97e22bfb5b692d_19" -> "m6.36604411a85db2bd9e97e22bfb5b692d_14" ;
"m6.36604411a85db2bd9e97e22bfb5b692d_20" [label="20: Call _fun_printf \n n$4=_fun_printf(\"(0)HELLO WORLD!\":char*) [line 123]\n " shape="box"]
"m6.36604411a85db2bd9e97e22bfb5b692d_20" [label="20: Call _fun_printf \n n$4=_fun_printf(\"(0)HELLO WORLD!\":char const *) [line 123]\n " shape="box"]
"m6.36604411a85db2bd9e97e22bfb5b692d_20" -> "m6.36604411a85db2bd9e97e22bfb5b692d_3" ;
@ -570,7 +570,7 @@ digraph iCFG {
"m7.0449904fbf32607bf8ce5c26823dbc29_13" -> "m7.0449904fbf32607bf8ce5c26823dbc29_7" ;
"m7.0449904fbf32607bf8ce5c26823dbc29_13" -> "m7.0449904fbf32607bf8ce5c26823dbc29_8" ;
"m7.0449904fbf32607bf8ce5c26823dbc29_14" [label="14: Call _fun_printf \n n$2=_fun_printf(\"(0)HELLO WORLD!\":char*) [line 143]\n " shape="box"]
"m7.0449904fbf32607bf8ce5c26823dbc29_14" [label="14: Call _fun_printf \n n$2=_fun_printf(\"(0)HELLO WORLD!\":char const *) [line 143]\n " shape="box"]
"m7.0449904fbf32607bf8ce5c26823dbc29_14" -> "m7.0449904fbf32607bf8ce5c26823dbc29_3" ;
@ -691,7 +691,7 @@ digraph iCFG {
"m8.980b79c2a71b9bcc117e08a990b5b332_25" -> "m8.980b79c2a71b9bcc117e08a990b5b332_2" ;
"m8.980b79c2a71b9bcc117e08a990b5b332_26" [label="26: Call _fun_printf \n n$5=_fun_printf(\"(0)HELLO WORLD!\":char*) [line 162]\n " shape="box"]
"m8.980b79c2a71b9bcc117e08a990b5b332_26" [label="26: Call _fun_printf \n n$5=_fun_printf(\"(0)HELLO WORLD!\":char const *) [line 162]\n " shape="box"]
"m8.980b79c2a71b9bcc117e08a990b5b332_26" -> "m8.980b79c2a71b9bcc117e08a990b5b332_25" ;
@ -787,7 +787,7 @@ digraph iCFG {
"m11.c4534fe0ca256b331e9a3f14fe17229d_10" -> "m11.c4534fe0ca256b331e9a3f14fe17229d_12" ;
"m11.c4534fe0ca256b331e9a3f14fe17229d_10" -> "m11.c4534fe0ca256b331e9a3f14fe17229d_13" ;
"m11.c4534fe0ca256b331e9a3f14fe17229d_11" [label="11: Call _fun_printf \n n$4=_fun_printf(\"(0)HELLO WORLD!\":char*) [line 195]\n " shape="box"]
"m11.c4534fe0ca256b331e9a3f14fe17229d_11" [label="11: Call _fun_printf \n n$4=_fun_printf(\"(0)HELLO WORLD!\":char const *) [line 195]\n " shape="box"]
"m11.c4534fe0ca256b331e9a3f14fe17229d_11" -> "m11.c4534fe0ca256b331e9a3f14fe17229d_3" ;

6
infer/tests/codetoanalyze/cpp/frontend/globals/global_const1.cpp.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_2" [label="2: Exit __infer_globals_initializer_global \n " color=yellow style=filled]
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_3" [label="3: DeclStmt \n _fun_X_X(&#GB<codetoanalyze/cpp/frontend/globals/global_const1.cpp|!pod>$global:X*) [line 13]\n " shape="box"]
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_3" [label="3: DeclStmt \n _fun_X_X(&#GB<codetoanalyze/cpp/frontend/globals/global_const1.cpp|!pod>$global:X const *) [line 13]\n " shape="box"]
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_3" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_2" ;
@ -44,7 +44,7 @@ digraph iCFG {
"test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_2" [label="2: Exit test \n " color=yellow style=filled]
"test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_3" [label="3: Return Stmt \n n$0=*&__return_param:X* [line 15]\n _fun_X_X(n$0:X*,&#GB<codetoanalyze/cpp/frontend/globals/global_const1.cpp|!pod>$global:X&) [line 15]\n " shape="box"]
"test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_3" [label="3: Return Stmt \n n$0=*&__return_param:X* [line 15]\n _fun_X_X(n$0:X*,&#GB<codetoanalyze/cpp/frontend/globals/global_const1.cpp|!pod>$global:X const &) [line 15]\n " shape="box"]
"test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_3" -> "test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_2" ;
@ -55,7 +55,7 @@ digraph iCFG {
"X#X#{_ZN1XC1Ev}.de3838d93566ad3a73011188ff48af20_2" [label="2: Exit X_X \n " color=yellow style=filled]
"X#X#{_ZN1XC1ERKS_|constexpr}.889c96d2462d5144a4c12d9c08e858d1_1" [label="1: Start X_X\nFormals: this:X* __param_0:X&\nLocals: \n DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
"X#X#{_ZN1XC1ERKS_|constexpr}.889c96d2462d5144a4c12d9c08e858d1_1" [label="1: Start X_X\nFormals: this:X* __param_0:X const &\nLocals: \n DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
"X#X#{_ZN1XC1ERKS_|constexpr}.889c96d2462d5144a4c12d9c08e858d1_1" -> "X#X#{_ZN1XC1ERKS_|constexpr}.889c96d2462d5144a4c12d9c08e858d1_2" ;

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

@ -92,14 +92,14 @@ digraph iCFG {
"iterator#iterator#{_ZN8iteratorC1EOS_|constexpr}.a5e77b29aa9873bc624723bf9c8a9a81_3" -> "iterator#iterator#{_ZN8iteratorC1EOS_|constexpr}.a5e77b29aa9873bc624723bf9c8a9a81_2" ;
"iterator#iterator#{_ZN8iteratorC1ERKS_|constexpr}.57529c2e76765ed4b717c839a2e167f2_1" [label="1: Start iterator_iterator\nFormals: this:iterator* __param_0:iterator&\nLocals: \n DECLARE_LOCALS(&return); [line 11]\n " color=yellow style=filled]
"iterator#iterator#{_ZN8iteratorC1ERKS_|constexpr}.57529c2e76765ed4b717c839a2e167f2_1" [label="1: Start iterator_iterator\nFormals: this:iterator* __param_0:iterator const &\nLocals: \n DECLARE_LOCALS(&return); [line 11]\n " color=yellow style=filled]
"iterator#iterator#{_ZN8iteratorC1ERKS_|constexpr}.57529c2e76765ed4b717c839a2e167f2_1" -> "iterator#iterator#{_ZN8iteratorC1ERKS_|constexpr}.57529c2e76765ed4b717c839a2e167f2_3" ;
"iterator#iterator#{_ZN8iteratorC1ERKS_|constexpr}.57529c2e76765ed4b717c839a2e167f2_2" [label="2: Exit iterator_iterator \n " color=yellow style=filled]
"iterator#iterator#{_ZN8iteratorC1ERKS_|constexpr}.57529c2e76765ed4b717c839a2e167f2_3" [label="3: Constructor Init \n n$0=*&this:iterator* [line 11]\n n$1=*&__param_0:iterator& [line 11]\n n$2=*n$1.val:int [line 11]\n *n$0.val:int=n$2 [line 11]\n " shape="box"]
"iterator#iterator#{_ZN8iteratorC1ERKS_|constexpr}.57529c2e76765ed4b717c839a2e167f2_3" [label="3: Constructor Init \n n$0=*&this:iterator* [line 11]\n n$1=*&__param_0:iterator const & [line 11]\n n$2=*n$1.val:int [line 11]\n *n$0.val:int=n$2 [line 11]\n " shape="box"]
"iterator#iterator#{_ZN8iteratorC1ERKS_|constexpr}.57529c2e76765ed4b717c839a2e167f2_3" -> "iterator#iterator#{_ZN8iteratorC1ERKS_|constexpr}.57529c2e76765ed4b717c839a2e167f2_2" ;

2
infer/tests/codetoanalyze/cpp/shared/conditional/binary_conditional.cpp.dot
Unescape View File

@ -124,7 +124,7 @@ digraph iCFG {
"X#X#binary_conditional#{_ZN18binary_conditional1XC1EOS0_|constexpr}.84d2bfbde693ae615a2d6db40378f4f1_2" [label="2: Exit binary_conditional::X_X \n " color=yellow style=filled]
"X#X#binary_conditional#{_ZN18binary_conditional1XC1ERKS0_|constexpr}.afc9850c21e976d70168418e096ce449_1" [label="1: Start binary_conditional::X_X\nFormals: this:binary_conditional::X* __param_0:binary_conditional::X&\nLocals: \n DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled]
"X#X#binary_conditional#{_ZN18binary_conditional1XC1ERKS0_|constexpr}.afc9850c21e976d70168418e096ce449_1" [label="1: Start binary_conditional::X_X\nFormals: this:binary_conditional::X* __param_0:binary_conditional::X const &\nLocals: \n DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled]
"X#X#binary_conditional#{_ZN18binary_conditional1XC1ERKS0_|constexpr}.afc9850c21e976d70168418e096ce449_1" -> "X#X#binary_conditional#{_ZN18binary_conditional1XC1ERKS0_|constexpr}.afc9850c21e976d70168418e096ce449_2" ;

4
infer/tests/codetoanalyze/cpp/shared/conditional/lvalue_conditional.cpp.dot
Unescape View File

@ -216,7 +216,7 @@ digraph iCFG {
"assign_conditional#_Z18assign_conditionali.1be7ef126568d5983b2ac2b3145799a8_11" -> "assign_conditional#_Z18assign_conditionali.1be7ef126568d5983b2ac2b3145799a8_10" ;
"div_temp_lvalue#_Z15div_temp_lvalueii.4a86aab3ba0c7c218d2756113db6c5ee_1" [label="1: Start div_temp_lvalue\nFormals: a:int b:int\nLocals: r:int& 0$?%__sil_tmpSIL_temp_conditional___n$3:int 0$?%__sil_tmpSIL_materialize_temp__n$2:int \n DECLARE_LOCALS(&return,&r,&0$?%__sil_tmpSIL_temp_conditional___n$3,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 28]\n " color=yellow style=filled]
"div_temp_lvalue#_Z15div_temp_lvalueii.4a86aab3ba0c7c218d2756113db6c5ee_1" [label="1: Start div_temp_lvalue\nFormals: a:int b:int\nLocals: r:int const & 0$?%__sil_tmpSIL_temp_conditional___n$3:int 0$?%__sil_tmpSIL_materialize_temp__n$2:int \n DECLARE_LOCALS(&return,&r,&0$?%__sil_tmpSIL_temp_conditional___n$3,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 28]\n " color=yellow style=filled]
"div_temp_lvalue#_Z15div_temp_lvalueii.4a86aab3ba0c7c218d2756113db6c5ee_1" -> "div_temp_lvalue#_Z15div_temp_lvalueii.4a86aab3ba0c7c218d2756113db6c5ee_5" ;
@ -224,7 +224,7 @@ digraph iCFG {
"div_temp_lvalue#_Z15div_temp_lvalueii.4a86aab3ba0c7c218d2756113db6c5ee_2" [label="2: Exit div_temp_lvalue \n " color=yellow style=filled]
"div_temp_lvalue#_Z15div_temp_lvalueii.4a86aab3ba0c7c218d2756113db6c5ee_3" [label="3: Return Stmt \n n$0=*&r:int& [line 30]\n n$1=*n$0:int [line 30]\n *&return:int=(1 / n$1) [line 30]\n " shape="box"]
"div_temp_lvalue#_Z15div_temp_lvalueii.4a86aab3ba0c7c218d2756113db6c5ee_3" [label="3: Return Stmt \n n$0=*&r:int const & [line 30]\n n$1=*n$0:int [line 30]\n *&return:int=(1 / n$1) [line 30]\n " shape="box"]
"div_temp_lvalue#_Z15div_temp_lvalueii.4a86aab3ba0c7c218d2756113db6c5ee_3" -> "div_temp_lvalue#_Z15div_temp_lvalueii.4a86aab3ba0c7c218d2756113db6c5ee_2" ;

6
infer/tests/codetoanalyze/cpp/shared/constructors/constructor_array.cpp.dot
Unescape View File

@ -100,18 +100,18 @@ digraph iCFG {
"Z#Z#{_ZN1ZC1Ev}.362f39f5f16ba686c350e11b1a2ddabe_2" [label="2: Exit Z_Z \n " color=yellow style=filled]
"Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_1" [label="1: Start Z_Z\nFormals: this:Z* __param_0:Z&\nLocals: \n DECLARE_LOCALS(&return); [line 27]\n " color=yellow style=filled]
"Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_1" [label="1: Start Z_Z\nFormals: this:Z* __param_0:Z const &\nLocals: \n DECLARE_LOCALS(&return); [line 27]\n " color=yellow style=filled]
"Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_1" -> "Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_4" ;
"Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_2" [label="2: Exit Z_Z \n " color=yellow style=filled]
"Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_3" [label="3: Constructor Init \n n$0=*&this:Z* [line 27]\n n$1=*&__param_0:Z& [line 27]\n n$2=*n$1.b:int [line 27]\n *n$0.b:int=n$2 [line 27]\n " shape="box"]
"Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_3" [label="3: Constructor Init \n n$0=*&this:Z* [line 27]\n n$1=*&__param_0:Z const & [line 27]\n n$2=*n$1.b:int [line 27]\n *n$0.b:int=n$2 [line 27]\n " shape="box"]
"Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_3" -> "Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_2" ;
"Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_4" [label="4: Constructor Init \n n$3=*&this:Z* [line 27]\n n$4=*&__param_0:Z& [line 27]\n n$5=*n$4.a:int [line 27]\n *n$3.a:int=n$5 [line 27]\n " shape="box"]
"Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_4" [label="4: Constructor Init \n n$3=*&this:Z* [line 27]\n n$4=*&__param_0:Z const & [line 27]\n n$5=*n$4.a:int [line 27]\n *n$3.a:int=n$5 [line 27]\n " shape="box"]
"Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_4" -> "Z#Z#{_ZN1ZC1ERKS_|constexpr}.7727904cd44ca65074f2bcc585f9f39a_3" ;

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

@ -11,14 +11,14 @@ digraph iCFG {
"test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_3" -> "test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_2" ;
"Person#Person#{_ZN6PersonC1E6Insets}.b24b6c175679d264f58881e04318df0d_1" [label="1: Start Person_Person\nFormals: this:Person* l:Insets&\nLocals: \n DECLARE_LOCALS(&return); [line 14]\n " color=yellow style=filled]
"Person#Person#{_ZN6PersonC1E6Insets}.b24b6c175679d264f58881e04318df0d_1" [label="1: Start Person_Person\nFormals: this:Person* l:Insets const &\nLocals: \n DECLARE_LOCALS(&return); [line 14]\n " color=yellow style=filled]
"Person#Person#{_ZN6PersonC1E6Insets}.b24b6c175679d264f58881e04318df0d_1" -> "Person#Person#{_ZN6PersonC1E6Insets}.b24b6c175679d264f58881e04318df0d_3" ;
"Person#Person#{_ZN6PersonC1E6Insets}.b24b6c175679d264f58881e04318df0d_2" [label="2: Exit Person_Person \n " color=yellow style=filled]
"Person#Person#{_ZN6PersonC1E6Insets}.b24b6c175679d264f58881e04318df0d_3" [label="3: Constructor Init \n n$0=*&this:Person* [line 14]\n n$1=*&l:Insets& [line 14]\n n$2=*n$1.top:int [line 14]\n *n$0.age:int=n$2 [line 14]\n " shape="box"]
"Person#Person#{_ZN6PersonC1E6Insets}.b24b6c175679d264f58881e04318df0d_3" [label="3: Constructor Init \n n$0=*&this:Person* [line 14]\n n$1=*&l:Insets const & [line 14]\n n$2=*n$1.top:int [line 14]\n *n$0.age:int=n$2 [line 14]\n " shape="box"]
"Person#Person#{_ZN6PersonC1E6Insets}.b24b6c175679d264f58881e04318df0d_3" -> "Person#Person#{_ZN6PersonC1E6Insets}.b24b6c175679d264f58881e04318df0d_2" ;

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

@ -57,18 +57,18 @@ digraph iCFG {
"X#X#copy_array_field#{_ZN16copy_array_field1XC1Ev}.4a5325542e396ae5e48aec1209c8f4fa_2" [label="2: Exit copy_array_field::X_X \n " color=yellow style=filled]
"X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_1" [label="1: Start copy_array_field::X_X\nFormals: this:copy_array_field::X* __param_0:copy_array_field::X&\nLocals: \n DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
"X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_1" [label="1: Start copy_array_field::X_X\nFormals: this:copy_array_field::X* __param_0:copy_array_field::X const &\nLocals: \n DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
"X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_1" -> "X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_4" ;
"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& [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$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" -> "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& [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$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" -> "X#X#copy_array_field#{_ZN16copy_array_field1XC1ERKS0_|constexpr}.29b740e363d3d95a2319207452d6735e_3" ;

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

@ -205,14 +205,14 @@ digraph iCFG {
"X#X#copy_move_constructor#{_ZN21copy_move_constructor1XC1EOS0_|constexpr}.fe46bd1c70cd839a15e8b83e3f6865b1_3" -> "X#X#copy_move_constructor#{_ZN21copy_move_constructor1XC1EOS0_|constexpr}.fe46bd1c70cd839a15e8b83e3f6865b1_2" ;
"X#X#copy_move_constructor#{_ZN21copy_move_constructor1XC1ERKS0_|constexpr}.d1abc0506be974b61489732426d47067_1" [label="1: Start copy_move_constructor::X_X\nFormals: this:copy_move_constructor::X* __param_0:copy_move_constructor::X&\nLocals: \n DECLARE_LOCALS(&return); [line 15]\n " color=yellow style=filled]
"X#X#copy_move_constructor#{_ZN21copy_move_constructor1XC1ERKS0_|constexpr}.d1abc0506be974b61489732426d47067_1" [label="1: Start copy_move_constructor::X_X\nFormals: this:copy_move_constructor::X* __param_0:copy_move_constructor::X const &\nLocals: \n DECLARE_LOCALS(&return); [line 15]\n " color=yellow style=filled]
"X#X#copy_move_constructor#{_ZN21copy_move_constructor1XC1ERKS0_|constexpr}.d1abc0506be974b61489732426d47067_1" -> "X#X#copy_move_constructor#{_ZN21copy_move_constructor1XC1ERKS0_|constexpr}.d1abc0506be974b61489732426d47067_3" ;
"X#X#copy_move_constructor#{_ZN21copy_move_constructor1XC1ERKS0_|constexpr}.d1abc0506be974b61489732426d47067_2" [label="2: Exit copy_move_constructor::X_X \n " color=yellow style=filled]
"X#X#copy_move_constructor#{_ZN21copy_move_constructor1XC1ERKS0_|constexpr}.d1abc0506be974b61489732426d47067_3" [label="3: Constructor Init \n n$0=*&this:copy_move_constructor::X* [line 15]\n n$1=*&__param_0:copy_move_constructor::X& [line 15]\n n$2=*n$1.f:int [line 15]\n *n$0.f:int=n$2 [line 15]\n " shape="box"]
"X#X#copy_move_constructor#{_ZN21copy_move_constructor1XC1ERKS0_|constexpr}.d1abc0506be974b61489732426d47067_3" [label="3: Constructor Init \n n$0=*&this:copy_move_constructor::X* [line 15]\n n$1=*&__param_0:copy_move_constructor::X const & [line 15]\n n$2=*n$1.f:int [line 15]\n *n$0.f:int=n$2 [line 15]\n " shape="box"]
"X#X#copy_move_constructor#{_ZN21copy_move_constructor1XC1ERKS0_|constexpr}.d1abc0506be974b61489732426d47067_3" -> "X#X#copy_move_constructor#{_ZN21copy_move_constructor1XC1ERKS0_|constexpr}.d1abc0506be974b61489732426d47067_2" ;
@ -223,25 +223,25 @@ digraph iCFG {
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1Ev}.8be5abaa7d7da1093f6291e76e59a084_2" [label="2: Exit copy_move_constructor::Y_Y \n " color=yellow style=filled]
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1ERKS0_|constexpr}.d541eaa9937cb2d89f3cb0e1be5e2194_1" [label="1: Start copy_move_constructor::Y_Y\nFormals: this:copy_move_constructor::Y* y:copy_move_constructor::Y&\nLocals: \n DECLARE_LOCALS(&return); [line 24]\n " color=yellow style=filled]
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1ERKS0_|constexpr}.d541eaa9937cb2d89f3cb0e1be5e2194_1" [label="1: Start copy_move_constructor::Y_Y\nFormals: this:copy_move_constructor::Y* y:copy_move_constructor::Y const &\nLocals: \n DECLARE_LOCALS(&return); [line 24]\n " color=yellow style=filled]
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1ERKS0_|constexpr}.d541eaa9937cb2d89f3cb0e1be5e2194_1" -> "Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1ERKS0_|constexpr}.d541eaa9937cb2d89f3cb0e1be5e2194_3" ;
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1ERKS0_|constexpr}.d541eaa9937cb2d89f3cb0e1be5e2194_2" [label="2: Exit copy_move_constructor::Y_Y \n " color=yellow style=filled]
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1ERKS0_|constexpr}.d541eaa9937cb2d89f3cb0e1be5e2194_3" [label="3: Constructor Init \n n$0=*&this:copy_move_constructor::Y* [line 24]\n n$1=*&y:copy_move_constructor::Y& [line 24]\n n$2=*n$1.f:int [line 24]\n *n$0.f:int=n$2 [line 24]\n " shape="box"]
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1ERKS0_|constexpr}.d541eaa9937cb2d89f3cb0e1be5e2194_3" [label="3: Constructor Init \n n$0=*&this:copy_move_constructor::Y* [line 24]\n n$1=*&y:copy_move_constructor::Y const & [line 24]\n n$2=*n$1.f:int [line 24]\n *n$0.f:int=n$2 [line 24]\n " shape="box"]
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1ERKS0_|constexpr}.d541eaa9937cb2d89f3cb0e1be5e2194_3" -> "Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1ERKS0_|constexpr}.d541eaa9937cb2d89f3cb0e1be5e2194_2" ;
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1EOKS0_}.ab545119d4cf8c94dafcfc9624ee52bc_1" [label="1: Start copy_move_constructor::Y_Y\nFormals: this:copy_move_constructor::Y* y:copy_move_constructor::Y&\nLocals: \n DECLARE_LOCALS(&return); [line 26]\n " color=yellow style=filled]
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1EOKS0_}.ab545119d4cf8c94dafcfc9624ee52bc_1" [label="1: Start copy_move_constructor::Y_Y\nFormals: this:copy_move_constructor::Y* y:copy_move_constructor::Y const &\nLocals: \n DECLARE_LOCALS(&return); [line 26]\n " color=yellow style=filled]
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1EOKS0_}.ab545119d4cf8c94dafcfc9624ee52bc_1" -> "Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1EOKS0_}.ab545119d4cf8c94dafcfc9624ee52bc_3" ;
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1EOKS0_}.ab545119d4cf8c94dafcfc9624ee52bc_2" [label="2: Exit copy_move_constructor::Y_Y \n " color=yellow style=filled]
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1EOKS0_}.ab545119d4cf8c94dafcfc9624ee52bc_3" [label="3: Constructor Init \n n$0=*&this:copy_move_constructor::Y* [line 26]\n n$1=*&y:copy_move_constructor::Y& [line 26]\n n$2=*n$1.f:int [line 26]\n *n$0.f:int=(n$2 - 1) [line 26]\n " shape="box"]
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1EOKS0_}.ab545119d4cf8c94dafcfc9624ee52bc_3" [label="3: Constructor Init \n n$0=*&this:copy_move_constructor::Y* [line 26]\n n$1=*&y:copy_move_constructor::Y const & [line 26]\n n$2=*n$1.f:int [line 26]\n *n$0.f:int=(n$2 - 1) [line 26]\n " shape="box"]
"Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1EOKS0_}.ab545119d4cf8c94dafcfc9624ee52bc_3" -> "Y#Y#copy_move_constructor#{_ZN21copy_move_constructor1YC1EOKS0_}.ab545119d4cf8c94dafcfc9624ee52bc_2" ;

18
infer/tests/codetoanalyze/cpp/shared/constructors/std_init_list.cpp.dot
Unescape View File

@ -1,17 +1,17 @@
/* @generated */
digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: x:X 0$?%__sil_tmpSIL_materialize_temp__n$0:int[5] \n DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 24]\n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals: x:X 0$?%__sil_tmpSIL_materialize_temp__n$0:int const [5] const \n DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 24]\n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_1" -> "main.fad58de7366495db4650cfefac2fcd61_3" ;
"main.fad58de7366495db4650cfefac2fcd61_2" [label="2: Exit main \n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_3" [label="3: DeclStmt \n *&0$?%__sil_tmpSIL_materialize_temp__n$0[0]:int=1 [line 24]\n *&0$?%__sil_tmpSIL_materialize_temp__n$0[1]:int=2 [line 24]\n *&0$?%__sil_tmpSIL_materialize_temp__n$0[2]:int=3 [line 24]\n *&0$?%__sil_tmpSIL_materialize_temp__n$0[3]:int=4 [line 24]\n *&0$?%__sil_tmpSIL_materialize_temp__n$0[4]:int=5 [line 24]\n n$1=_fun___infer_skip_function(&0$?%__sil_tmpSIL_materialize_temp__n$0:int[5]) [line 24]\n _fun_X_X(&x:X*,n$1:std::initializer_list<int>) [line 24]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_3" [label="3: DeclStmt \n *&0$?%__sil_tmpSIL_materialize_temp__n$0[0]:int const =1 [line 24]\n *&0$?%__sil_tmpSIL_materialize_temp__n$0[1]:int const =2 [line 24]\n *&0$?%__sil_tmpSIL_materialize_temp__n$0[2]:int const =3 [line 24]\n *&0$?%__sil_tmpSIL_materialize_temp__n$0[3]:int const =4 [line 24]\n *&0$?%__sil_tmpSIL_materialize_temp__n$0[4]:int const =5 [line 24]\n n$1=_fun___infer_skip_function(&0$?%__sil_tmpSIL_materialize_temp__n$0:int const [5] const ) [line 24]\n _fun_X_X(&x:X*,n$1:std::initializer_list<int>) [line 24]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_1" [label="1: Start X_X\nFormals: this:X* list:std::initializer_list<int>&\nLocals: i:int* \n DECLARE_LOCALS(&return,&i); [line 14]\n " color=yellow style=filled]
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_1" [label="1: Start X_X\nFormals: this:X* list:std::initializer_list<int>&\nLocals: i:int const * \n DECLARE_LOCALS(&return,&i); [line 14]\n " color=yellow style=filled]
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_1" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_4" ;
@ -22,15 +22,15 @@ digraph iCFG {
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_3" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_6" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_4" [label="4: DeclStmt \n n$0=*&list:std::initializer_list<int>& [line 15]\n _=*n$0:std::initializer_list<int> [line 15]\n n$2=_fun_std::initializer_list<int>_begin(n$0:std::initializer_list<int>&) [line 15]\n *&i:int*=n$2 [line 15]\n " shape="box"]
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_4" [label="4: DeclStmt \n n$0=*&list:std::initializer_list<int>& [line 15]\n _=*n$0:std::initializer_list<int> [line 15]\n n$2=_fun_std::initializer_list<int>_begin(n$0:std::initializer_list<int>&) [line 15]\n *&i:int const *=n$2 [line 15]\n " shape="box"]
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_4" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_3" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_5" [label="5: UnaryOperator \n n$3=*&i:int* [line 15]\n *&i:int*=(n$3 + 1) [line 15]\n " shape="box"]
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_5" [label="5: UnaryOperator \n n$3=*&i:int const * [line 15]\n *&i:int const *=(n$3 + 1) [line 15]\n " shape="box"]
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_5" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_3" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_6" [label="6: BinaryOperatorStmt: NE \n n$4=*&i:int* [line 15]\n n$5=*&list:std::initializer_list<int>& [line 15]\n _=*n$5:std::initializer_list<int> [line 15]\n n$7=_fun_std::initializer_list<int>_end(n$5:std::initializer_list<int>&) [line 15]\n " shape="box"]
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_6" [label="6: BinaryOperatorStmt: NE \n n$4=*&i:int const * [line 15]\n n$5=*&list:std::initializer_list<int>& [line 15]\n _=*n$5:std::initializer_list<int> [line 15]\n n$7=_fun_std::initializer_list<int>_end(n$5:std::initializer_list<int>&) [line 15]\n " shape="box"]
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_6" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_7" ;
@ -43,7 +43,7 @@ digraph iCFG {
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_8" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_2" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_9" [label="9: BinaryOperatorStmt: Assign \n n$8=*&this:X* [line 16]\n n$9=*&this:X* [line 16]\n n$10=*n$9.sum:int [line 16]\n n$11=*&i:int* [line 16]\n n$12=*n$11:int [line 16]\n *n$8.sum:int=(n$10 + n$12) [line 16]\n " shape="box"]
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_9" [label="9: BinaryOperatorStmt: Assign \n n$8=*&this:X* [line 16]\n n$9=*&this:X* [line 16]\n n$10=*n$9.sum:int [line 16]\n n$11=*&i:int const * [line 16]\n n$12=*n$11:int [line 16]\n *n$8.sum:int=(n$10 + n$12) [line 16]\n " shape="box"]
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_9" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_5" ;
@ -54,7 +54,7 @@ digraph iCFG {
"begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_2" [label="2: Exit std::initializer_list<int>_begin \n " color=yellow style=filled]
"begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_3" [label="3: Return Stmt \n n$0=*&this:std::initializer_list<int>* [line 89]\n n$1=*n$0.__begin_:int* [line 89]\n *&return:int*=n$1 [line 89]\n " shape="box"]
"begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_3" [label="3: Return Stmt \n n$0=*&this:std::initializer_list<int> const * [line 89]\n n$1=*n$0.__begin_:int const * [line 89]\n *&return:int const *=n$1 [line 89]\n " shape="box"]
"begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_3" -> "begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_2" ;
@ -65,7 +65,7 @@ digraph iCFG {
"end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_2" [label="2: Exit std::initializer_list<int>_end \n " color=yellow style=filled]
"end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_3" [label="3: Return Stmt \n n$0=*&this:std::initializer_list<int>* [line 93]\n n$1=*n$0.__begin_:int* [line 93]\n n$2=*&this:std::initializer_list<int>* [line 93]\n n$3=*n$2.__size_:unsigned long [line 93]\n *&return:int*=(n$1 + n$3) [line 93]\n " shape="box"]
"end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_3" [label="3: Return Stmt \n n$0=*&this:std::initializer_list<int> const * [line 93]\n n$1=*n$0.__begin_:int const * [line 93]\n n$2=*&this:std::initializer_list<int> const * [line 93]\n n$3=*n$2.__size_:unsigned long [line 93]\n *&return:int const *=(n$1 + n$3) [line 93]\n " shape="box"]
"end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_3" -> "end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_2" ;

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

@ -1,6 +1,6 @@
/* @generated */
digraph iCFG {
"assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_1" [label="1: Start temp_object::assign_temp_div0\nFormals: \nLocals: x:temp_object::X 0$?%__sil_tmpSIL_materialize_temp__n$2:temp_object::X \n DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 28]\n " color=yellow style=filled]
"assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_1" [label="1: Start temp_object::assign_temp_div0\nFormals: \nLocals: x:temp_object::X 0$?%__sil_tmpSIL_materialize_temp__n$2:temp_object::X const \n DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 28]\n " color=yellow style=filled]
"assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_1" -> "assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_4" ;
@ -11,7 +11,7 @@ digraph iCFG {
"assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_3" -> "assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_2" ;
"assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_4" [label="4: DeclStmt \n _fun_temp_object::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$2:temp_object::X*,0:int,1:int) [line 29]\n _fun_temp_object::X_X(&x:temp_object::X*,&0$?%__sil_tmpSIL_materialize_temp__n$2:temp_object::X&) [line 29]\n " shape="box"]
"assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_4" [label="4: DeclStmt \n _fun_temp_object::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$2:temp_object::X const *,0:int,1:int) [line 29]\n _fun_temp_object::X_X(&x:temp_object::X*,&0$?%__sil_tmpSIL_materialize_temp__n$2:temp_object::X const &) [line 29]\n " shape="box"]
"assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_4" -> "assign_temp_div0#temp_object#_ZN11temp_object16assign_temp_div0Ev.12a3ac8c6c054849d479a871a0d8fac8_3" ;
@ -92,14 +92,14 @@ digraph iCFG {
"getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_3" -> "getX_field_div1#temp_object#_ZN11temp_object15getX_field_div1Ev.bc8679edc4e594a213a918e52ce423ce_2" ;
"getX#temp_object#_ZN11temp_object4getXEii.a1a849e28a4eb89f0963fb50faaf83e8_1" [label="1: Start temp_object::getX\nFormals: a:int b:int __return_param:temp_object::X*\nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$1:temp_object::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 26]\n " color=yellow style=filled]
"getX#temp_object#_ZN11temp_object4getXEii.a1a849e28a4eb89f0963fb50faaf83e8_1" [label="1: Start temp_object::getX\nFormals: a:int b:int __return_param:temp_object::X*\nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$1:temp_object::X const \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 26]\n " color=yellow style=filled]
"getX#temp_object#_ZN11temp_object4getXEii.a1a849e28a4eb89f0963fb50faaf83e8_1" -> "getX#temp_object#_ZN11temp_object4getXEii.a1a849e28a4eb89f0963fb50faaf83e8_3" ;
"getX#temp_object#_ZN11temp_object4getXEii.a1a849e28a4eb89f0963fb50faaf83e8_2" [label="2: Exit temp_object::getX \n " color=yellow style=filled]
"getX#temp_object#_ZN11temp_object4getXEii.a1a849e28a4eb89f0963fb50faaf83e8_3" [label="3: Return Stmt \n n$0=*&__return_param:temp_object::X* [line 26]\n n$2=*&a:int [line 26]\n n$3=*&b:int [line 26]\n _fun_temp_object::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$1:temp_object::X*,n$2:int,n$3:int) [line 26]\n _fun_temp_object::X_X(n$0:temp_object::X*,&0$?%__sil_tmpSIL_materialize_temp__n$1:temp_object::X&) [line 26]\n " shape="box"]
"getX#temp_object#_ZN11temp_object4getXEii.a1a849e28a4eb89f0963fb50faaf83e8_3" [label="3: Return Stmt \n n$0=*&__return_param:temp_object::X* [line 26]\n n$2=*&a:int [line 26]\n n$3=*&b:int [line 26]\n _fun_temp_object::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$1:temp_object::X const *,n$2:int,n$3:int) [line 26]\n _fun_temp_object::X_X(n$0:temp_object::X*,&0$?%__sil_tmpSIL_materialize_temp__n$1:temp_object::X const &) [line 26]\n " shape="box"]
"getX#temp_object#_ZN11temp_object4getXEii.a1a849e28a4eb89f0963fb50faaf83e8_3" -> "getX#temp_object#_ZN11temp_object4getXEii.a1a849e28a4eb89f0963fb50faaf83e8_2" ;
@ -147,14 +147,14 @@ digraph iCFG {
"X#X#temp_object#{_ZN11temp_object1XC1Eii}.42ef430f06a6ac111034dd971eb3abbf_3" -> "X#X#temp_object#{_ZN11temp_object1XC1Eii}.42ef430f06a6ac111034dd971eb3abbf_2" ;
"X#X#temp_object#{_ZN11temp_object1XC1ERKS0_}.be882d6cff657ec87d9e84bb77c9a1ea_1" [label="1: Start temp_object::X_X\nFormals: this:temp_object::X* x:temp_object::X&\nLocals: \n DECLARE_LOCALS(&return); [line 16]\n " color=yellow style=filled]
"X#X#temp_object#{_ZN11temp_object1XC1ERKS0_}.be882d6cff657ec87d9e84bb77c9a1ea_1" [label="1: Start temp_object::X_X\nFormals: this:temp_object::X* x:temp_object::X const &\nLocals: \n DECLARE_LOCALS(&return); [line 16]\n " color=yellow style=filled]
"X#X#temp_object#{_ZN11temp_object1XC1ERKS0_}.be882d6cff657ec87d9e84bb77c9a1ea_1" -> "X#X#temp_object#{_ZN11temp_object1XC1ERKS0_}.be882d6cff657ec87d9e84bb77c9a1ea_3" ;
"X#X#temp_object#{_ZN11temp_object1XC1ERKS0_}.be882d6cff657ec87d9e84bb77c9a1ea_2" [label="2: Exit temp_object::X_X \n " color=yellow style=filled]
"X#X#temp_object#{_ZN11temp_object1XC1ERKS0_}.be882d6cff657ec87d9e84bb77c9a1ea_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&this:temp_object::X* [line 16]\n n$1=*&x:temp_object::X& [line 16]\n n$2=*n$1.f:int [line 16]\n *n$0.f:int=n$2 [line 16]\n " shape="box"]
"X#X#temp_object#{_ZN11temp_object1XC1ERKS0_}.be882d6cff657ec87d9e84bb77c9a1ea_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&this:temp_object::X* [line 16]\n n$1=*&x:temp_object::X const & [line 16]\n n$2=*n$1.f:int [line 16]\n *n$0.f:int=n$2 [line 16]\n " shape="box"]
"X#X#temp_object#{_ZN11temp_object1XC1ERKS0_}.be882d6cff657ec87d9e84bb77c9a1ea_3" -> "X#X#temp_object#{_ZN11temp_object1XC1ERKS0_}.be882d6cff657ec87d9e84bb77c9a1ea_2" ;

2
infer/tests/codetoanalyze/cpp/shared/exceptions/Exceptions.cpp.dot
Unescape View File

@ -50,7 +50,7 @@ digraph iCFG {
"deref#_Z5derefPi.4795e142c647658d2d19ca83904cd96e_7" -> "deref#_Z5derefPi.4795e142c647658d2d19ca83904cd96e_4" ;
"deref#_Z5derefPi.4795e142c647658d2d19ca83904cd96e_8" [label="8: ObjCCPPThrow \n _fun___infer_objc_cpp_throw(\"Null pointer!\":char*) [line 12]\n " shape="box"]
"deref#_Z5derefPi.4795e142c647658d2d19ca83904cd96e_8" [label="8: ObjCCPPThrow \n _fun___infer_objc_cpp_throw(\"Null pointer!\":char const *) [line 12]\n " shape="box"]
"deref#_Z5derefPi.4795e142c647658d2d19ca83904cd96e_8" -> "deref#_Z5derefPi.4795e142c647658d2d19ca83904cd96e_4" ;

10
infer/tests/codetoanalyze/cpp/shared/methods/conversion_operator.cpp.dot
Unescape View File

@ -205,18 +205,18 @@ digraph iCFG {
"X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_4" -> "X#X#conversion_operator#{_ZN19conversion_operator1XC1Eib}.45ccd31d04e1560320363a95434b2c81_3" ;
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_1" [label="1: Start conversion_operator::X_X\nFormals: this:conversion_operator::X* x:conversion_operator::X&\nLocals: \n DECLARE_LOCALS(&return); [line 21]\n " color=yellow style=filled]
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_1" [label="1: Start conversion_operator::X_X\nFormals: this:conversion_operator::X* x:conversion_operator::X const &\nLocals: \n DECLARE_LOCALS(&return); [line 21]\n " color=yellow style=filled]
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_1" -> "X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_4" ;
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_2" [label="2: Exit conversion_operator::X_X \n " color=yellow style=filled]
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&this:conversion_operator::X* [line 23]\n n$1=*&x:conversion_operator::X& [line 23]\n n$2=*n$1.b_:_Bool [line 23]\n *n$0.b_:_Bool=n$2 [line 23]\n " shape="box"]
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&this:conversion_operator::X* [line 23]\n n$1=*&x:conversion_operator::X const & [line 23]\n n$2=*n$1.b_:_Bool [line 23]\n *n$0.b_:_Bool=n$2 [line 23]\n " shape="box"]
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_3" -> "X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_2" ;
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_4" [label="4: BinaryOperatorStmt: Assign \n n$3=*&this:conversion_operator::X* [line 22]\n n$4=*&x:conversion_operator::X& [line 22]\n n$5=*n$4.f_:int [line 22]\n *n$3.f_:int=n$5 [line 22]\n " shape="box"]
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_4" [label="4: BinaryOperatorStmt: Assign \n n$3=*&this:conversion_operator::X* [line 22]\n n$4=*&x:conversion_operator::X const & [line 22]\n n$5=*n$4.f_:int [line 22]\n *n$3.f_:int=n$5 [line 22]\n " shape="box"]
"X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_4" -> "X#X#conversion_operator#{_ZN19conversion_operator1XC1ERKS0_}.259816979b233abff02bfc66f7e73606_3" ;
@ -227,14 +227,14 @@ digraph iCFG {
"Y#Y#conversion_operator#{_ZN19conversion_operator1YC1Ev}.d1c722ee040160f0342627c3d0b1796f_2" [label="2: Exit conversion_operator::Y_Y \n " color=yellow style=filled]
"operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_1" [label="1: Start conversion_operator::Y_operator_X\nFormals: this:conversion_operator::Y* __return_param:conversion_operator::X*\nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 29]\n " color=yellow style=filled]
"operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_1" [label="1: Start conversion_operator::Y_operator_X\nFormals: this:conversion_operator::Y* __return_param:conversion_operator::X*\nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X const \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 29]\n " color=yellow style=filled]
"operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_1" -> "operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_3" ;
"operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_2" [label="2: Exit conversion_operator::Y_operator_X \n " color=yellow style=filled]
"operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_3" [label="3: Return Stmt \n n$0=*&__return_param:conversion_operator::X* [line 29]\n n$2=*&this:conversion_operator::Y* [line 29]\n n$3=*n$2.f:int [line 29]\n n$4=*&this:conversion_operator::Y* [line 29]\n n$5=*n$4.b:int [line 29]\n _fun_conversion_operator::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X*,n$3:int,n$5:_Bool) [line 29]\n _fun_conversion_operator::X_X(n$0:conversion_operator::X*,&0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X&) [line 29]\n " shape="box"]
"operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_3" [label="3: Return Stmt \n n$0=*&__return_param:conversion_operator::X* [line 29]\n n$2=*&this:conversion_operator::Y* [line 29]\n n$3=*n$2.f:int [line 29]\n n$4=*&this:conversion_operator::Y* [line 29]\n n$5=*n$4.b:int [line 29]\n _fun_conversion_operator::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X const *,n$3:int,n$5:_Bool) [line 29]\n _fun_conversion_operator::X_X(n$0:conversion_operator::X*,&0$?%__sil_tmpSIL_materialize_temp__n$1:conversion_operator::X const &) [line 29]\n " shape="box"]
"operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_3" -> "operator_X#Y#conversion_operator#(_ZN19conversion_operator1YcvNS_1XEEv).d2d7913fa7a62c762900643bf78a8488_2" ;

4
infer/tests/codetoanalyze/cpp/shared/reference/reference_field.cpp.dot
Unescape View File

@ -442,14 +442,14 @@ digraph iCFG {
"X#X#reference_field#{_ZN15reference_field1XC1Ev}.3b790b2ab2da3ded92fe5682ad620df0_2" [label="2: Exit reference_field::X_X \n " color=yellow style=filled]
"X#X#reference_field#{_ZN15reference_field1XC1ERKS0_|constexpr}.a222f38fc9aab51029288bcb567c25c1_1" [label="1: Start reference_field::X_X\nFormals: this:reference_field::X* __param_0:reference_field::X&\nLocals: \n DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled]
"X#X#reference_field#{_ZN15reference_field1XC1ERKS0_|constexpr}.a222f38fc9aab51029288bcb567c25c1_1" [label="1: Start reference_field::X_X\nFormals: this:reference_field::X* __param_0:reference_field::X const &\nLocals: \n DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled]
"X#X#reference_field#{_ZN15reference_field1XC1ERKS0_|constexpr}.a222f38fc9aab51029288bcb567c25c1_1" -> "X#X#reference_field#{_ZN15reference_field1XC1ERKS0_|constexpr}.a222f38fc9aab51029288bcb567c25c1_3" ;
"X#X#reference_field#{_ZN15reference_field1XC1ERKS0_|constexpr}.a222f38fc9aab51029288bcb567c25c1_2" [label="2: Exit reference_field::X_X \n " color=yellow style=filled]
"X#X#reference_field#{_ZN15reference_field1XC1ERKS0_|constexpr}.a222f38fc9aab51029288bcb567c25c1_3" [label="3: Constructor Init \n n$0=*&this:reference_field::X* [line 12]\n n$1=*&__param_0:reference_field::X& [line 12]\n n$2=*n$1.f:int [line 12]\n *n$0.f:int=n$2 [line 12]\n " shape="box"]
"X#X#reference_field#{_ZN15reference_field1XC1ERKS0_|constexpr}.a222f38fc9aab51029288bcb567c25c1_3" [label="3: Constructor Init \n n$0=*&this:reference_field::X* [line 12]\n n$1=*&__param_0:reference_field::X const & [line 12]\n n$2=*n$1.f:int [line 12]\n *n$0.f:int=n$2 [line 12]\n " shape="box"]
"X#X#reference_field#{_ZN15reference_field1XC1ERKS0_|constexpr}.a222f38fc9aab51029288bcb567c25c1_3" -> "X#X#reference_field#{_ZN15reference_field1XC1ERKS0_|constexpr}.a222f38fc9aab51029288bcb567c25c1_2" ;

8
infer/tests/codetoanalyze/cpp/shared/reference/temporary_lvalue.cpp.dot
Unescape View File

@ -1,13 +1,13 @@
/* @generated */
digraph iCFG {
"div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_1" [label="1: Start div0_init_expr\nFormals: \nLocals: a:int& 0$?%__sil_tmpSIL_materialize_temp__n$2:int \n DECLARE_LOCALS(&return,&a,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 12]\n " color=yellow style=filled]
"div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_1" [label="1: Start div0_init_expr\nFormals: \nLocals: a:int const & 0$?%__sil_tmpSIL_materialize_temp__n$2:int \n DECLARE_LOCALS(&return,&a,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 12]\n " color=yellow style=filled]
"div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_1" -> "div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_4" ;
"div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_2" [label="2: Exit div0_init_expr \n " color=yellow style=filled]
"div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_3" [label="3: Return Stmt \n n$0=*&a:int& [line 14]\n n$1=_fun_div(n$0:int&) [line 14]\n *&return:int=n$1 [line 14]\n " shape="box"]
"div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_3" [label="3: Return Stmt \n n$0=*&a:int const & [line 14]\n n$1=_fun_div(n$0:int const &) [line 14]\n *&return:int=n$1 [line 14]\n " shape="box"]
"div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_3" -> "div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_2" ;
@ -41,14 +41,14 @@ digraph iCFG {
"div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_4" -> "div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_3" ;
"div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_1" [label="1: Start div\nFormals: v:int&\nLocals: \n DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
"div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_1" [label="1: Start div\nFormals: v:int const &\nLocals: \n DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
"div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_1" -> "div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_3" ;
"div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_2" [label="2: Exit div \n " color=yellow style=filled]
"div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_3" [label="3: Return Stmt \n n$0=*&v:int& [line 10]\n n$1=*n$0:int [line 10]\n *&return:int=(1 / n$1) [line 10]\n " shape="box"]
"div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_3" [label="3: Return Stmt \n n$0=*&v:int const & [line 10]\n n$1=*n$0:int [line 10]\n *&return:int=(1 / n$1) [line 10]\n " shape="box"]
"div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_3" -> "div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_2" ;

4
infer/tests/codetoanalyze/cpp/shared/templates/sizeof_pack.cpp.dot
Unescape View File

@ -22,7 +22,7 @@ digraph iCFG {
"hash#MyHasher#(_ZN8MyHasher4hashEi).1eea369da12a365223bc03beb7f7b901_3" -> "hash#MyHasher#(_ZN8MyHasher4hashEi).1eea369da12a365223bc03beb7f7b901_2" ;
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_1" [label="1: Start hash_combine_generic<MyHasher,_int,_int,_int>\nFormals: t:int& ts:int& ts:int&\nLocals: seed:int \n DECLARE_LOCALS(&return,&seed); [line 15]\n " color=yellow style=filled]
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_1" [label="1: Start hash_combine_generic<MyHasher,_int,_int,_int>\nFormals: t:int const & ts:int const & ts:int const &\nLocals: seed:int \n DECLARE_LOCALS(&return,&seed); [line 15]\n " color=yellow style=filled]
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_1" -> "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_8" ;
@ -49,7 +49,7 @@ digraph iCFG {
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_7" -> "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_2" ;
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_8" [label="8: DeclStmt \n n$1=*&t:int& [line 16]\n n$2=*n$1:int [line 16]\n n$3=_fun_MyHasher_hash(n$2:int) [line 16]\n *&seed:int=n$3 [line 16]\n " shape="box"]
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_8" [label="8: DeclStmt \n n$1=*&t:int const & [line 16]\n n$2=*n$1:int [line 16]\n n$3=_fun_MyHasher_hash(n$2:int) [line 16]\n *&seed:int=n$3 [line 16]\n " shape="box"]
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_8" -> "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_5" ;

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

@ -1,17 +1,17 @@
/* @generated */
digraph iCFG {
"call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_1" [label="1: Start call_const_params_with_address\nFormals: \nLocals: cx:int x:int \n DECLARE_LOCALS(&return,&cx,&x); [line 13]\n " color=yellow style=filled]
"call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_1" [label="1: Start call_const_params_with_address\nFormals: \nLocals: cx:int const x:int \n DECLARE_LOCALS(&return,&cx,&x); [line 13]\n " color=yellow style=filled]
"call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_1" -> "call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_8" ;
"call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_2" [label="2: Exit call_const_params_with_address \n " color=yellow style=filled]
"call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_3" [label="3: Call _fun_const_in_param2 \n n$0=_fun_const_in_param2(&cx:int*) [line 21]\n " shape="box"]
"call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_3" [label="3: Call _fun_const_in_param2 \n n$0=_fun_const_in_param2(&cx:int const *) [line 21]\n " shape="box"]
"call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_3" -> "call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_2" ;
"call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_4" [label="4: Call _fun_const_in_param1 \n n$1=_fun_const_in_param1(&cx:int*) [line 20]\n " shape="box"]
"call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_4" [label="4: Call _fun_const_in_param1 \n n$1=_fun_const_in_param1(&cx:int const *) [line 20]\n " shape="box"]
"call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_4" -> "call_const_params_with_address#_Z30call_const_params_with_addressv.e754c92d7d89808473eac017465662b5_3" ;
@ -61,7 +61,7 @@ digraph iCFG {
"call_const_params_with_pointer2#_Z31call_const_params_with_pointer2v.d36c25662191fdac9d4028112e2d7d51_4" -> "call_const_params_with_pointer2#_Z31call_const_params_with_pointer2v.d36c25662191fdac9d4028112e2d7d51_3" ;
"call_const_params_with_pointer3#_Z31call_const_params_with_pointer3v.3e5ec1065082911e42d0566ebc0bf6ed_1" [label="1: Start call_const_params_with_pointer3\nFormals: \nLocals: cp:int* \n DECLARE_LOCALS(&return,&cp); [line 33]\n " color=yellow style=filled]
"call_const_params_with_pointer3#_Z31call_const_params_with_pointer3v.3e5ec1065082911e42d0566ebc0bf6ed_1" [label="1: Start call_const_params_with_pointer3\nFormals: \nLocals: cp:int* const \n DECLARE_LOCALS(&return,&cp); [line 33]\n " color=yellow style=filled]
"call_const_params_with_pointer3#_Z31call_const_params_with_pointer3v.3e5ec1065082911e42d0566ebc0bf6ed_1" -> "call_const_params_with_pointer3#_Z31call_const_params_with_pointer3v.3e5ec1065082911e42d0566ebc0bf6ed_4" ;
@ -72,29 +72,29 @@ digraph iCFG {
"call_const_params_with_pointer3#_Z31call_const_params_with_pointer3v.3e5ec1065082911e42d0566ebc0bf6ed_3" -> "call_const_params_with_pointer3#_Z31call_const_params_with_pointer3v.3e5ec1065082911e42d0566ebc0bf6ed_2" ;
"call_const_params_with_pointer3#_Z31call_const_params_with_pointer3v.3e5ec1065082911e42d0566ebc0bf6ed_4" [label="4: DeclStmt \n *&cp:int*=null [line 34]\n " shape="box"]
"call_const_params_with_pointer3#_Z31call_const_params_with_pointer3v.3e5ec1065082911e42d0566ebc0bf6ed_4" [label="4: DeclStmt \n *&cp:int* const =null [line 34]\n " shape="box"]
"call_const_params_with_pointer3#_Z31call_const_params_with_pointer3v.3e5ec1065082911e42d0566ebc0bf6ed_4" -> "call_const_params_with_pointer3#_Z31call_const_params_with_pointer3v.3e5ec1065082911e42d0566ebc0bf6ed_3" ;
"const_in_param1#_Z15const_in_param1PKi.1071f2f253e69ef9bc570605af35bf83_1" [label="1: Start const_in_param1\nFormals: p:int*\nLocals: \n DECLARE_LOCALS(&return); [line 9]\n " color=yellow style=filled]
"const_in_param1#_Z15const_in_param1PKi.1071f2f253e69ef9bc570605af35bf83_1" [label="1: Start const_in_param1\nFormals: p:int const *\nLocals: \n DECLARE_LOCALS(&return); [line 9]\n " color=yellow style=filled]
"const_in_param1#_Z15const_in_param1PKi.1071f2f253e69ef9bc570605af35bf83_1" -> "const_in_param1#_Z15const_in_param1PKi.1071f2f253e69ef9bc570605af35bf83_3" ;
"const_in_param1#_Z15const_in_param1PKi.1071f2f253e69ef9bc570605af35bf83_2" [label="2: Exit const_in_param1 \n " color=yellow style=filled]
"const_in_param1#_Z15const_in_param1PKi.1071f2f253e69ef9bc570605af35bf83_3" [label="3: Return Stmt \n n$0=*&p:int* [line 9]\n n$1=*n$0:int [line 9]\n *&return:int=n$1 [line 9]\n " shape="box"]
"const_in_param1#_Z15const_in_param1PKi.1071f2f253e69ef9bc570605af35bf83_3" [label="3: Return Stmt \n n$0=*&p:int const * [line 9]\n n$1=*n$0:int [line 9]\n *&return:int=n$1 [line 9]\n " shape="box"]
"const_in_param1#_Z15const_in_param1PKi.1071f2f253e69ef9bc570605af35bf83_3" -> "const_in_param1#_Z15const_in_param1PKi.1071f2f253e69ef9bc570605af35bf83_2" ;
"const_in_param2#_Z15const_in_param2PKi.659d05c79678837da803a1f8b1bc46c1_1" [label="1: Start const_in_param2\nFormals: p:int*\nLocals: \n DECLARE_LOCALS(&return); [line 11]\n " color=yellow style=filled]
"const_in_param2#_Z15const_in_param2PKi.659d05c79678837da803a1f8b1bc46c1_1" [label="1: Start const_in_param2\nFormals: p:int const * const \nLocals: \n DECLARE_LOCALS(&return); [line 11]\n " color=yellow style=filled]
"const_in_param2#_Z15const_in_param2PKi.659d05c79678837da803a1f8b1bc46c1_1" -> "const_in_param2#_Z15const_in_param2PKi.659d05c79678837da803a1f8b1bc46c1_3" ;
"const_in_param2#_Z15const_in_param2PKi.659d05c79678837da803a1f8b1bc46c1_2" [label="2: Exit const_in_param2 \n " color=yellow style=filled]
"const_in_param2#_Z15const_in_param2PKi.659d05c79678837da803a1f8b1bc46c1_3" [label="3: Return Stmt \n n$0=*&p:int* [line 11]\n n$1=*n$0:int [line 11]\n *&return:int=n$1 [line 11]\n " shape="box"]
"const_in_param2#_Z15const_in_param2PKi.659d05c79678837da803a1f8b1bc46c1_3" [label="3: Return Stmt \n n$0=*&p:int const * [line 11]\n n$1=*n$0:int [line 11]\n *&return:int=n$1 [line 11]\n " shape="box"]
"const_in_param2#_Z15const_in_param2PKi.659d05c79678837da803a1f8b1bc46c1_3" -> "const_in_param2#_Z15const_in_param2PKi.659d05c79678837da803a1f8b1bc46c1_2" ;

4
infer/tests/codetoanalyze/cpp/shared/types/inheritance_casts.cpp.dot
Unescape View File

@ -122,14 +122,14 @@ digraph iCFG {
"B#B#inheritance_casts#{_ZN17inheritance_casts1BC1EOS0_|constexpr}.e38b8f435b929838652bf1e8572853f3_3" -> "B#B#inheritance_casts#{_ZN17inheritance_casts1BC1EOS0_|constexpr}.e38b8f435b929838652bf1e8572853f3_2" ;
"div#inheritance_casts#_ZN17inheritance_casts3divERKNS_1AE.2add4c23f8184f07027ccb32fe3cee6d_1" [label="1: Start inheritance_casts::div\nFormals: x:inheritance_casts::A&\nLocals: \n DECLARE_LOCALS(&return); [line 26]\n " color=yellow style=filled]
"div#inheritance_casts#_ZN17inheritance_casts3divERKNS_1AE.2add4c23f8184f07027ccb32fe3cee6d_1" [label="1: Start inheritance_casts::div\nFormals: x:inheritance_casts::A const &\nLocals: \n DECLARE_LOCALS(&return); [line 26]\n " color=yellow style=filled]
"div#inheritance_casts#_ZN17inheritance_casts3divERKNS_1AE.2add4c23f8184f07027ccb32fe3cee6d_1" -> "div#inheritance_casts#_ZN17inheritance_casts3divERKNS_1AE.2add4c23f8184f07027ccb32fe3cee6d_3" ;
"div#inheritance_casts#_ZN17inheritance_casts3divERKNS_1AE.2add4c23f8184f07027ccb32fe3cee6d_2" [label="2: Exit inheritance_casts::div \n " color=yellow style=filled]
"div#inheritance_casts#_ZN17inheritance_casts3divERKNS_1AE.2add4c23f8184f07027ccb32fe3cee6d_3" [label="3: Return Stmt \n n$0=*&x:inheritance_casts::A& [line 26]\n n$1=*n$0.f:int [line 26]\n *&return:int=(1 / n$1) [line 26]\n " shape="box"]
"div#inheritance_casts#_ZN17inheritance_casts3divERKNS_1AE.2add4c23f8184f07027ccb32fe3cee6d_3" [label="3: Return Stmt \n n$0=*&x:inheritance_casts::A const & [line 26]\n n$1=*n$0.f:int [line 26]\n *&return:int=(1 / n$1) [line 26]\n " shape="box"]
"div#inheritance_casts#_ZN17inheritance_casts3divERKNS_1AE.2add4c23f8184f07027ccb32fe3cee6d_3" -> "div#inheritance_casts#_ZN17inheritance_casts3divERKNS_1AE.2add4c23f8184f07027ccb32fe3cee6d_2" ;

2
infer/tests/codetoanalyze/cpp/shared/types/operator_overload.cpp.dot
Unescape View File

@ -78,7 +78,7 @@ digraph iCFG {
"div1_method_op#_Z14div1_method_opR1X.7053001fe61eccdd1f65b78ae215a859_3" -> "div1_method_op#_Z14div1_method_opR1X.7053001fe61eccdd1f65b78ae215a859_2" ;
"operator*#_ZmlRK1Xi.54e2e35c1d826de55cde853ec4c8dc66_1" [label="1: Start operator*\nFormals: x1:X& v:int\nLocals: \n DECLARE_LOCALS(&return); [line 18]\n " color=yellow style=filled]
"operator*#_ZmlRK1Xi.54e2e35c1d826de55cde853ec4c8dc66_1" [label="1: Start operator*\nFormals: x1:X const & v:int\nLocals: \n DECLARE_LOCALS(&return); [line 18]\n " color=yellow style=filled]
"operator*#_ZmlRK1Xi.54e2e35c1d826de55cde853ec4c8dc66_1" -> "operator*#_ZmlRK1Xi.54e2e35c1d826de55cde853ec4c8dc66_3" ;

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

@ -119,14 +119,14 @@ digraph iCFG {
"div#X#return_struct#(_ZN13return_struct1X3divEv).3b462e45075b7f3251ac015f1e6bb047_3" -> "div#X#return_struct#(_ZN13return_struct1X3divEv).3b462e45075b7f3251ac015f1e6bb047_2" ;
"X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_1" [label="1: Start return_struct::X_X\nFormals: this:return_struct::X* x:return_struct::X&\nLocals: \n DECLARE_LOCALS(&return); [line 15]\n " color=yellow style=filled]
"X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_1" [label="1: Start return_struct::X_X\nFormals: this:return_struct::X* x:return_struct::X const &\nLocals: \n DECLARE_LOCALS(&return); [line 15]\n " color=yellow style=filled]
"X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_1" -> "X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_3" ;
"X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_2" [label="2: Exit return_struct::X_X \n " color=yellow style=filled]
"X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&this:return_struct::X* [line 15]\n n$1=*&x:return_struct::X& [line 15]\n n$2=*n$1.f:int [line 15]\n *n$0.f:int=n$2 [line 15]\n " shape="box"]
"X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_3" [label="3: BinaryOperatorStmt: Assign \n n$0=*&this:return_struct::X* [line 15]\n n$1=*&x:return_struct::X const & [line 15]\n n$2=*n$1.f:int [line 15]\n *n$0.f:int=n$2 [line 15]\n " shape="box"]
"X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_3" -> "X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_2" ;

8
infer/tests/codetoanalyze/cpp/shared/types/struct_pass_by_value.cpp.dot
Unescape View File

@ -120,14 +120,14 @@ digraph iCFG {
"X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1EOS0_|constexpr}.38a71213b4829bbfe72ae0107ed450f0_3" -> "X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1EOS0_|constexpr}.38a71213b4829bbfe72ae0107ed450f0_2" ;
"X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1ERKS0_|constexpr}.395223c91e8475ac0e16cddc9acb281d_1" [label="1: Start struct_pass_by_value::X_X\nFormals: this:struct_pass_by_value::X* __param_0:struct_pass_by_value::X&\nLocals: \n DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled]
"X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1ERKS0_|constexpr}.395223c91e8475ac0e16cddc9acb281d_1" [label="1: Start struct_pass_by_value::X_X\nFormals: this:struct_pass_by_value::X* __param_0:struct_pass_by_value::X const &\nLocals: \n DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled]
"X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1ERKS0_|constexpr}.395223c91e8475ac0e16cddc9acb281d_1" -> "X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1ERKS0_|constexpr}.395223c91e8475ac0e16cddc9acb281d_3" ;
"X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1ERKS0_|constexpr}.395223c91e8475ac0e16cddc9acb281d_2" [label="2: Exit struct_pass_by_value::X_X \n " color=yellow style=filled]
"X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1ERKS0_|constexpr}.395223c91e8475ac0e16cddc9acb281d_3" [label="3: Constructor Init \n n$0=*&this:struct_pass_by_value::X* [line 12]\n n$1=*&__param_0:struct_pass_by_value::X& [line 12]\n n$2=*n$1.f:int [line 12]\n *n$0.f:int=n$2 [line 12]\n " shape="box"]
"X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1ERKS0_|constexpr}.395223c91e8475ac0e16cddc9acb281d_3" [label="3: Constructor Init \n n$0=*&this:struct_pass_by_value::X* [line 12]\n n$1=*&__param_0:struct_pass_by_value::X const & [line 12]\n n$2=*n$1.f:int [line 12]\n *n$0.f:int=n$2 [line 12]\n " shape="box"]
"X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1ERKS0_|constexpr}.395223c91e8475ac0e16cddc9acb281d_3" -> "X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1ERKS0_|constexpr}.395223c91e8475ac0e16cddc9acb281d_2" ;
@ -142,14 +142,14 @@ digraph iCFG {
"X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1Ei}.4c01f928279242a5994b8212d85ebedb_3" -> "X#X#struct_pass_by_value#{_ZN20struct_pass_by_value1XC1Ei}.4c01f928279242a5994b8212d85ebedb_2" ;
"Y#Y#struct_pass_by_value#{_ZN20struct_pass_by_value1YC1ERKNS_1XE}.8a81f6f538ade21c1d4ebc1a51bad9e6_1" [label="1: Start struct_pass_by_value::Y_Y\nFormals: this:struct_pass_by_value::Y* x:struct_pass_by_value::X&\nLocals: \n DECLARE_LOCALS(&return); [line 18]\n " color=yellow style=filled]
"Y#Y#struct_pass_by_value#{_ZN20struct_pass_by_value1YC1ERKNS_1XE}.8a81f6f538ade21c1d4ebc1a51bad9e6_1" [label="1: Start struct_pass_by_value::Y_Y\nFormals: this:struct_pass_by_value::Y* x:struct_pass_by_value::X const &\nLocals: \n DECLARE_LOCALS(&return); [line 18]\n " color=yellow style=filled]
"Y#Y#struct_pass_by_value#{_ZN20struct_pass_by_value1YC1ERKNS_1XE}.8a81f6f538ade21c1d4ebc1a51bad9e6_1" -> "Y#Y#struct_pass_by_value#{_ZN20struct_pass_by_value1YC1ERKNS_1XE}.8a81f6f538ade21c1d4ebc1a51bad9e6_3" ;
"Y#Y#struct_pass_by_value#{_ZN20struct_pass_by_value1YC1ERKNS_1XE}.8a81f6f538ade21c1d4ebc1a51bad9e6_2" [label="2: Exit struct_pass_by_value::Y_Y \n " color=yellow style=filled]
"Y#Y#struct_pass_by_value#{_ZN20struct_pass_by_value1YC1ERKNS_1XE}.8a81f6f538ade21c1d4ebc1a51bad9e6_3" [label="3: Constructor Init \n n$0=*&this:struct_pass_by_value::Y* [line 18]\n n$1=*&x:struct_pass_by_value::X& [line 18]\n _fun_struct_pass_by_value::X_X(n$0.x:struct_pass_by_value::X*,n$1:struct_pass_by_value::X&) [line 18]\n " shape="box"]
"Y#Y#struct_pass_by_value#{_ZN20struct_pass_by_value1YC1ERKNS_1XE}.8a81f6f538ade21c1d4ebc1a51bad9e6_3" [label="3: Constructor Init \n n$0=*&this:struct_pass_by_value::Y* [line 18]\n n$1=*&x:struct_pass_by_value::X const & [line 18]\n _fun_struct_pass_by_value::X_X(n$0.x:struct_pass_by_value::X*,n$1:struct_pass_by_value::X const &) [line 18]\n " shape="box"]
"Y#Y#struct_pass_by_value#{_ZN20struct_pass_by_value1YC1ERKNS_1XE}.8a81f6f538ade21c1d4ebc1a51bad9e6_3" -> "Y#Y#struct_pass_by_value#{_ZN20struct_pass_by_value1YC1ERKNS_1XE}.8a81f6f538ade21c1d4ebc1a51bad9e6_2" ;

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

@ -15,7 +15,7 @@ digraph iCFG {
"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):void,n$0.__type_name:void,&t:int) [line 22]\n n$1=_fun___cxx_typeid(sizeof(std::type_info):void,n$1.__type_name:void,&person:Person) [line 22]\n n$2=_fun_std::type_info_operator==(n$0:std::type_info&,n$1:std::type_info&) [line 22]\n " shape="box"]
"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" ;
@ -44,7 +44,7 @@ digraph iCFG {
"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* t_type_info:char* 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" [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" ;
@ -59,7 +59,7 @@ digraph iCFG {
"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* [line 33]\n n$1=*&person_type_info:char* [line 33]\n " shape="box"]
"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" ;
@ -80,11 +80,11 @@ digraph iCFG {
"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):void,n$2.__type_name:void,&person:Person) [line 32]\n _=*n$2:std::type_info [line 32]\n n$4=_fun_std::type_info_name(n$2:std::type_info&) [line 32]\n *&person_type_info:char*=n$4 [line 32]\n " shape="box"]
"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):void,n$5.__type_name:void,&t:int) [line 31]\n _=*n$5:std::type_info [line 31]\n n$7=_fun_std::type_info_name(n$5:std::type_info&) [line 31]\n *&t_type_info:char*=n$7 [line 31]\n " shape="box"]
"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" ;
@ -111,7 +111,7 @@ digraph iCFG {
"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):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):void,n$2.__type_name:void,n$1:Person) [line 42]\n n$3=_fun_std::type_info_operator==(n$0:std::type_info&,n$2:std::type_info&) [line 42]\n " shape="box"]
"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" ;
@ -155,7 +155,7 @@ digraph iCFG {
"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):void,n$1.__type_name:void,&person:Person) [line 64]\n _=*n$1:std::type_info [line 64]\n n$3=_fun_std::type_info_name(n$1:std::type_info&) [line 64]\n " shape="box"]
"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" ;
@ -294,7 +294,7 @@ digraph iCFG {
"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):void,n$1.__type_name:void,n$0:Person) [line 50]\n _=*n$1:std::type_info [line 50]\n n$3=_fun_std::type_info_name(n$1:std::type_info&) [line 50]\n n$4=_fun___cxx_typeid(sizeof(std::type_info):void,n$4.__type_name:void,&person:Person) [line 50]\n _=*n$4:std::type_info [line 50]\n n$6=_fun_std::type_info_name(n$4:std::type_info&) [line 50]\n " shape="box"]
"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" ;
@ -351,7 +351,7 @@ digraph iCFG {
"~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&\nLocals: \n DECLARE_LOCALS(&return); [line 12]\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" ;
@ -394,7 +394,7 @@ digraph iCFG {
"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: Return Stmt \n n$0=*&this:std::exception_ptr* [line 138]\n n$1=*n$0.__ptr_:void* [line 138]\n *&return:_Bool=(n$1 != null) [line 138]\n " shape="box"]
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_3" [label="3: Return Stmt \n n$0=*&this:std::exception_ptr const * [line 138]\n n$1=*n$0.__ptr_:void* [line 138]\n *&return:_Bool=(n$1 != null) [line 138]\n " shape="box"]
"operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_3" -> "operator_bool#exception_ptr#std#(_ZNKSt13exception_ptrcvbEv).6fac2b4e27029bcd0295f179efc6cf0f_2" ;
@ -416,7 +416,7 @@ digraph iCFG {
"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* [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" [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" ;
@ -433,51 +433,51 @@ digraph iCFG {
"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* [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" [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&\nLocals: \n DECLARE_LOCALS(&return); [line 103]\n " color=yellow style=filled]
"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: \n DECLARE_LOCALS(&return); [line 103]\n " color=yellow style=filled]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_1" -> "before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_3" ;
"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: Return Stmt \n n$0=*&this:std::type_info* [line 106]\n n$1=*n$0.__type_name:char* [line 106]\n n$2=*&__arg:std::type_info& [line 106]\n n$3=*n$2.__type_name:char* [line 106]\n *&return:_Bool=(n$1 < n$3) [line 106]\n " shape="box"]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_3" [label="3: Return Stmt \n n$0=*&this:std::type_info const * [line 106]\n n$1=*n$0.__type_name:char const * [line 106]\n n$2=*&__arg:std::type_info const & [line 106]\n n$3=*n$2.__type_name:char const * [line 106]\n *&return:_Bool=(n$1 < n$3) [line 106]\n " shape="box"]
"before#type_info#std#(_ZNKSt9type_info6beforeERKS_).d0ee91d1b591c9ae21397c3dface7eb7_3" -> "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&\nLocals: \n " color=yellow style=filled]
"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&\nLocals: \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*\nLocals: \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]
"template_typeid<Person>#_Z15template_typeidI6PersonEPKcRKT_.a1cb4d870e3df2f09bf7a22e0fc6e5c6_1" [label="1: Start template_typeid<Person>\nFormals: value:Person&\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" [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):void,n$0.__type_name:void) [line 59]\n _=*n$0:std::type_info [line 59]\n n$2=_fun_std::type_info_name(n$0:std::type_info&) [line 59]\n *&return:char*=n$2 [line 59]\n " shape="box"]
"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& [line 58]\n _fun_Person_Person(&0$?%__sil_tmpSIL_materialize_temp__n$3:Person*,n$4:Person&) [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" [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" ;

2
infer/tests/codetoanalyze/objc/frontend/block/retain_cycle.m.dot
Unescape View File

@ -15,7 +15,7 @@ digraph iCFG {
"foo.acbd18db4cc2f85cedef654fccc4a4d8_4" -> "foo.acbd18db4cc2f85cedef654fccc4a4d8_3" ;
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: argc:int argv:char**\nLocals: a:A* \n DECLARE_LOCALS(&return,&a); [line 61]\n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: argc:int argv:char const **\nLocals: a:A* \n DECLARE_LOCALS(&return,&a); [line 61]\n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_1" -> "main.fad58de7366495db4650cfefac2fcd61_5" ;

2
infer/tests/codetoanalyze/objc/frontend/block/static.m.dot
Unescape View File

@ -104,7 +104,7 @@ digraph iCFG {
"__objc_anonymous_block_A_test3______4.aa5c8617f08575eee528c8138958fcd7_3" -> "__objc_anonymous_block_A_test3______4.aa5c8617f08575eee528c8138958fcd7_2" ;
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: argc:int argv:char**\nLocals: \n DECLARE_LOCALS(&return); [line 60]\n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: argc:int argv:char const **\nLocals: \n DECLARE_LOCALS(&return); [line 60]\n " color=yellow style=filled]
"main.fad58de7366495db4650cfefac2fcd61_1" -> "main.fad58de7366495db4650cfefac2fcd61_3" ;

4
infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.m.dot
Unescape View File

@ -90,11 +90,11 @@ digraph iCFG {
"getS#Boxing#instance.97ccd331527b54376eb9b2b822cb25a3_2" [label="2: Exit Boxing_getS \n " color=yellow style=filled]
"getS#Boxing#instance.97ccd331527b54376eb9b2b822cb25a3_3" [label="3: Return Stmt \n n$14=_fun_NSString_stringWithUTF8String:(\"hello world\":char*) [line 43]\n *&return:NSString*=n$14 [line 43]\n " shape="box"]
"getS#Boxing#instance.97ccd331527b54376eb9b2b822cb25a3_3" [label="3: Return Stmt \n n$14=_fun_NSString_stringWithUTF8String:(\"hello world\":char const *) [line 43]\n *&return:NSString*=n$14 [line 43]\n " shape="box"]
"getS#Boxing#instance.97ccd331527b54376eb9b2b822cb25a3_3" -> "getS#Boxing#instance.97ccd331527b54376eb9b2b822cb25a3_2" ;
"getS#Boxing#instance.97ccd331527b54376eb9b2b822cb25a3_4" [label="4: DeclStmt \n n$15=_fun_strdup(\"hello world\":char*) [line 42]\n n$16=_fun_NSString_stringWithUTF8String:(n$15:char*) [line 42]\n *&s:NSString*=n$16 [line 42]\n " shape="box"]
"getS#Boxing#instance.97ccd331527b54376eb9b2b822cb25a3_4" [label="4: DeclStmt \n n$15=_fun_strdup(\"hello world\":char const *) [line 42]\n n$16=_fun_NSString_stringWithUTF8String:(n$15:char const *) [line 42]\n *&s:NSString*=n$16 [line 42]\n " shape="box"]
"getS#Boxing#instance.97ccd331527b54376eb9b2b822cb25a3_4" -> "getS#Boxing#instance.97ccd331527b54376eb9b2b822cb25a3_3" ;

4
infer/tests/codetoanalyze/objc/frontend/boxing/array.m.dot
Unescape View File

@ -32,7 +32,7 @@ digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_8" -> "main.fad58de7366495db4650cfefac2fcd61_4" ;
"main.fad58de7366495db4650cfefac2fcd61_9" [label="9: Call _fun_NSLog \n n$3=_fun_NSString_stringWithUTF8String:(\"%@\":char*) [line 27]\n n$4=*&item:NSString* [line 27]\n _fun_NSLog(n$3:objc_object*,n$4:NSString*) [line 27]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_9" [label="9: Call _fun_NSLog \n n$3=_fun_NSString_stringWithUTF8String:(\"%@\":char* const ) [line 27]\n n$4=*&item:NSString* [line 27]\n _fun_NSLog(n$3:objc_object*,n$4:NSString*) [line 27]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_9" -> "main.fad58de7366495db4650cfefac2fcd61_8" ;
@ -44,7 +44,7 @@ digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_11" -> "main.fad58de7366495db4650cfefac2fcd61_10" ;
"main.fad58de7366495db4650cfefac2fcd61_12" [label="12: DeclStmt \n n$9=_fun_NSString_stringWithUTF8String:(\"Mercedes-Benz\":char*) [line 17]\n n$10=_fun_NSString_stringWithUTF8String:(\"BMW\":char*) [line 18]\n n$11=_fun_NSString_stringWithUTF8String:(\"Porsche\":char*) [line 19]\n n$12=_fun_NSString_stringWithUTF8String:(\"Opel\":char*) [line 20]\n n$13=_fun_NSString_stringWithUTF8String:(\"Volkswagen\":char*) [line 21]\n n$14=_fun_NSString_stringWithUTF8String:(\"Audi\":char*) [line 22]\n n$15=_fun_NSArray_arrayWithObjects:count:(n$9:objc_object*,n$10:objc_object*,n$11:objc_object*,n$12:objc_object*,n$13:objc_object*,n$14:objc_object*,0:objc_object*) [line 16]\n *&germanCars:NSArray*=n$15 [line 16]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_12" [label="12: DeclStmt \n n$9=_fun_NSString_stringWithUTF8String:(\"Mercedes-Benz\":char* const ) [line 17]\n n$10=_fun_NSString_stringWithUTF8String:(\"BMW\":char* const ) [line 18]\n n$11=_fun_NSString_stringWithUTF8String:(\"Porsche\":char* const ) [line 19]\n n$12=_fun_NSString_stringWithUTF8String:(\"Opel\":char* const ) [line 20]\n n$13=_fun_NSString_stringWithUTF8String:(\"Volkswagen\":char* const ) [line 21]\n n$14=_fun_NSString_stringWithUTF8String:(\"Audi\":char* const ) [line 22]\n n$15=_fun_NSArray_arrayWithObjects:count:(n$9:objc_object*,n$10:objc_object*,n$11:objc_object*,n$12:objc_object*,n$13:objc_object*,n$14:objc_object*,0:objc_object*) [line 16]\n *&germanCars:NSArray*=n$15 [line 16]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_12" -> "main.fad58de7366495db4650cfefac2fcd61_11" ;

4
infer/tests/codetoanalyze/objc/frontend/boxing/array_literal.c.dot
Unescape View File

@ -7,11 +7,11 @@ digraph iCFG {
"get_array.bca6b16c85e5b8ba530f380271b2ec79_2" [label="2: Exit get_array \n " color=yellow style=filled]
"get_array.bca6b16c85e5b8ba530f380271b2ec79_3" [label="3: Return Stmt \n n$0=_fun_NSString_stringWithUTF8String:(\"cat\":char*) [line 14]\n n$1=_fun_NSString_stringWithUTF8String:(\"dog\":char*) [line 14]\n n$2=_fun_NSArray_arrayWithObjects:count:(n$0:objc_object*,n$1:objc_object*,0:objc_object*) [line 14]\n *&return:NSArray*=n$2 [line 14]\n " shape="box"]
"get_array.bca6b16c85e5b8ba530f380271b2ec79_3" [label="3: Return Stmt \n n$0=_fun_NSString_stringWithUTF8String:(\"cat\":char* const ) [line 14]\n n$1=_fun_NSString_stringWithUTF8String:(\"dog\":char* const ) [line 14]\n n$2=_fun_NSArray_arrayWithObjects:count:(n$0:objc_object*,n$1:objc_object*,0:objc_object*) [line 14]\n *&return:NSArray*=n$2 [line 14]\n " shape="box"]
"get_array.bca6b16c85e5b8ba530f380271b2ec79_3" -> "get_array.bca6b16c85e5b8ba530f380271b2ec79_2" ;
"get_array.bca6b16c85e5b8ba530f380271b2ec79_4" [label="4: DeclStmt \n n$3=_fun_NSString_stringWithUTF8String:(\"cat\":char*) [line 13]\n n$4=_fun_NSString_stringWithUTF8String:(\"dog\":char*) [line 13]\n n$5=_fun_NSArray_arrayWithObjects:(n$3:objc_object*,n$4:NSString*,0:void*) [line 13]\n *&animals:NSArray*=n$5 [line 13]\n " shape="box"]
"get_array.bca6b16c85e5b8ba530f380271b2ec79_4" [label="4: DeclStmt \n n$3=_fun_NSString_stringWithUTF8String:(\"cat\":char* const ) [line 13]\n n$4=_fun_NSString_stringWithUTF8String:(\"dog\":char* const ) [line 13]\n n$5=_fun_NSArray_arrayWithObjects:(n$3:objc_object*,n$4:NSString*,0:void*) [line 13]\n *&animals:NSArray*=n$5 [line 13]\n " shape="box"]
"get_array.bca6b16c85e5b8ba530f380271b2ec79_4" -> "get_array.bca6b16c85e5b8ba530f380271b2ec79_3" ;

4
infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"get_array1.5988b7ad8acf5c81cef9a72d072073c1_2" [label="2: Exit get_array1 \n " color=yellow style=filled]
"get_array1.5988b7ad8acf5c81cef9a72d072073c1_3" [label="3: Return Stmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Matt\":char*) [line 14]\n n$1=_fun_NSString_stringWithUTF8String:(\"firstName\":char*) [line 15]\n n$2=_fun_NSString_stringWithUTF8String:(\"Galloway\":char*) [line 16]\n n$3=_fun_NSString_stringWithUTF8String:(\"lastName\":char*) [line 17]\n n$4=_fun_NSNumber_numberWithInt:(28:int) [line 18]\n n$5=_fun_NSString_stringWithUTF8String:(\"age\":char*) [line 19]\n n$6=_fun_NSDictionary_dictionaryWithObjectsAndKeys:(n$0:objc_object*,n$1:NSString*,n$2:NSString*,n$3:NSString*,n$4:NSNumber*,n$5:NSString*,0:void*) [line 14]\n *&return:NSDictionary*=n$6 [line 14]\n " shape="box"]
"get_array1.5988b7ad8acf5c81cef9a72d072073c1_3" [label="3: Return Stmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Matt\":char* const ) [line 14]\n n$1=_fun_NSString_stringWithUTF8String:(\"firstName\":char* const ) [line 15]\n n$2=_fun_NSString_stringWithUTF8String:(\"Galloway\":char* const ) [line 16]\n n$3=_fun_NSString_stringWithUTF8String:(\"lastName\":char* const ) [line 17]\n n$4=_fun_NSNumber_numberWithInt:(28:int) [line 18]\n n$5=_fun_NSString_stringWithUTF8String:(\"age\":char* const ) [line 19]\n n$6=_fun_NSDictionary_dictionaryWithObjectsAndKeys:(n$0:objc_object*,n$1:NSString*,n$2:NSString*,n$3:NSString*,n$4:NSNumber*,n$5:NSString*,0:void*) [line 14]\n *&return:NSDictionary*=n$6 [line 14]\n " shape="box"]
"get_array1.5988b7ad8acf5c81cef9a72d072073c1_3" -> "get_array1.5988b7ad8acf5c81cef9a72d072073c1_2" ;
@ -18,7 +18,7 @@ digraph iCFG {
"get_array2.84aa3c70cb20e7edbe4f0b8d0bd6aa3d_2" [label="2: Exit get_array2 \n " color=yellow style=filled]
"get_array2.84aa3c70cb20e7edbe4f0b8d0bd6aa3d_3" [label="3: Return Stmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Matt\":char*) [line 25]\n n$1=_fun_NSString_stringWithUTF8String:(\"firstName\":char*) [line 25]\n n$2=_fun_NSString_stringWithUTF8String:(\"Galloway\":char*) [line 25]\n n$3=_fun_NSString_stringWithUTF8String:(\"lastName\":char*) [line 25]\n n$4=_fun_NSNumber_numberWithInt:(28:int) [line 25]\n n$5=_fun_NSString_stringWithUTF8String:(\"age\":char*) [line 25]\n n$6=_fun_NSDictionary_dictionaryWithObjects:forKeys:count:(n$0:objc_object*,n$1:objc_object*,n$2:objc_object*,n$3:objc_object*,n$4:objc_object*,n$5:objc_object*,0:objc_object*) [line 25]\n *&return:NSDictionary*=n$6 [line 25]\n " shape="box"]
"get_array2.84aa3c70cb20e7edbe4f0b8d0bd6aa3d_3" [label="3: Return Stmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Matt\":char* const ) [line 25]\n n$1=_fun_NSString_stringWithUTF8String:(\"firstName\":char* const ) [line 25]\n n$2=_fun_NSString_stringWithUTF8String:(\"Galloway\":char* const ) [line 25]\n n$3=_fun_NSString_stringWithUTF8String:(\"lastName\":char* const ) [line 25]\n n$4=_fun_NSNumber_numberWithInt:(28:int) [line 25]\n n$5=_fun_NSString_stringWithUTF8String:(\"age\":char* const ) [line 25]\n n$6=_fun_NSDictionary_dictionaryWithObjects:forKeys:count:(n$0:objc_object*,n$1:objc_object*,n$2:objc_object*,n$3:objc_object*,n$4:objc_object*,n$5:objc_object*,0:objc_object*) [line 25]\n *&return:NSDictionary*=n$6 [line 25]\n " shape="box"]
"get_array2.84aa3c70cb20e7edbe4f0b8d0bd6aa3d_3" -> "get_array2.84aa3c70cb20e7edbe4f0b8d0bd6aa3d_2" ;

4
infer/tests/codetoanalyze/objc/frontend/boxing/string_literal.c.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"get_string1.37988b3a9459aa3258beba816a2c79fc_2" [label="2: Exit get_string1 \n " color=yellow style=filled]
"get_string1.37988b3a9459aa3258beba816a2c79fc_3" [label="3: Return Stmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Hello World!\":char*) [line 14]\n *&return:NSString*=n$0 [line 14]\n " shape="box"]
"get_string1.37988b3a9459aa3258beba816a2c79fc_3" [label="3: Return Stmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Hello World!\":char const *) [line 14]\n *&return:NSString*=n$0 [line 14]\n " shape="box"]
"get_string1.37988b3a9459aa3258beba816a2c79fc_3" -> "get_string1.37988b3a9459aa3258beba816a2c79fc_2" ;
@ -18,7 +18,7 @@ digraph iCFG {
"get_string2.896232467e9bb3980f16ff6f7a1da043_2" [label="2: Exit get_string2 \n " color=yellow style=filled]
"get_string2.896232467e9bb3980f16ff6f7a1da043_3" [label="3: Return Stmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Hello World!\":char*) [line 17]\n *&return:NSString*=n$0 [line 17]\n " shape="box"]
"get_string2.896232467e9bb3980f16ff6f7a1da043_3" [label="3: Return Stmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Hello World!\":char* const ) [line 17]\n *&return:NSString*=n$0 [line 17]\n " shape="box"]
"get_string2.896232467e9bb3980f16ff6f7a1da043_3" -> "get_string2.896232467e9bb3980f16ff6f7a1da043_2" ;

2
infer/tests/codetoanalyze/objc/frontend/exceptions/ExceptionExample.m.dot
Unescape View File

@ -38,7 +38,7 @@ digraph iCFG {
"test1#ExceptionExample#instance.400b3bc567ff814f7f6788584460738f_6" -> "test1#ExceptionExample#instance.400b3bc567ff814f7f6788584460738f_3" ;
"test1#ExceptionExample#instance.400b3bc567ff814f7f6788584460738f_7" [label="7: ObjCCPPThrow \n n$4=_fun_NSString_stringWithUTF8String:(\"Something is not right exception\":char*) [line 31]\n n$5=_fun_NSString_stringWithUTF8String:(\"Can't perform this operation because of this or that\":char*) [line 33]\n n$6=_fun_NSException_exceptionWithName:reason:userInfo:(n$4:NSString*,n$5:NSString*,0:NSDictionary*) [line 30]\n _fun___infer_objc_cpp_throw(n$6:NSException*) [line 30]\n " shape="box"]
"test1#ExceptionExample#instance.400b3bc567ff814f7f6788584460738f_7" [label="7: ObjCCPPThrow \n n$4=_fun_NSString_stringWithUTF8String:(\"Something is not right exception\":char* const ) [line 31]\n n$5=_fun_NSString_stringWithUTF8String:(\"Can't perform this operation because of this or that\":char* const ) [line 33]\n n$6=_fun_NSException_exceptionWithName:reason:userInfo:(n$4:NSString*,n$5:NSString*,0:NSDictionary*) [line 30]\n _fun___infer_objc_cpp_throw(n$6:NSException*) [line 30]\n " shape="box"]
"test1#ExceptionExample#instance.400b3bc567ff814f7f6788584460738f_7" -> "test1#ExceptionExample#instance.400b3bc567ff814f7f6788584460738f_3" ;

6
infer/tests/codetoanalyze/objc/frontend/predefined_expr/PredefinedExprExample.m.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"testPrettyFunction#A#instance.bc1e07c1ab96ad96f484a179734bc12e_2" [label="2: Exit A_testPrettyFunction \n " color=yellow style=filled]
"testPrettyFunction#A#instance.bc1e07c1ab96ad96f484a179734bc12e_3" [label="3: Call _fun_NSLog \n n$0=_fun_NSString_stringWithUTF8String:(\"%s\":char*) [line 19]\n _fun_NSLog(n$0:objc_object*,\"\":char*) [line 19]\n " shape="box"]
"testPrettyFunction#A#instance.bc1e07c1ab96ad96f484a179734bc12e_3" [label="3: Call _fun_NSLog \n n$0=_fun_NSString_stringWithUTF8String:(\"%s\":char* const ) [line 19]\n _fun_NSLog(n$0:objc_object*,\"\":char const *) [line 19]\n " shape="box"]
"testPrettyFunction#A#instance.bc1e07c1ab96ad96f484a179734bc12e_3" -> "testPrettyFunction#A#instance.bc1e07c1ab96ad96f484a179734bc12e_2" ;
@ -18,7 +18,7 @@ digraph iCFG {
"testFunction#A#instance.871d68aca55491a71407a8a7ce232a40_2" [label="2: Exit A_testFunction \n " color=yellow style=filled]
"testFunction#A#instance.871d68aca55491a71407a8a7ce232a40_3" [label="3: Call _fun_NSLog \n n$1=_fun_NSString_stringWithUTF8String:(\"%s\":char*) [line 23]\n _fun_NSLog(n$1:objc_object*,\"\":char*) [line 23]\n " shape="box"]
"testFunction#A#instance.871d68aca55491a71407a8a7ce232a40_3" [label="3: Call _fun_NSLog \n n$1=_fun_NSString_stringWithUTF8String:(\"%s\":char* const ) [line 23]\n _fun_NSLog(n$1:objc_object*,\"\":char const *) [line 23]\n " shape="box"]
"testFunction#A#instance.871d68aca55491a71407a8a7ce232a40_3" -> "testFunction#A#instance.871d68aca55491a71407a8a7ce232a40_2" ;
@ -29,7 +29,7 @@ digraph iCFG {
"testFunct#A#instance.b6c9dae744220d93a4466679814728c1_2" [label="2: Exit A_testFunct \n " color=yellow style=filled]
"testFunct#A#instance.b6c9dae744220d93a4466679814728c1_3" [label="3: Call _fun_NSLog \n n$2=_fun_NSString_stringWithUTF8String:(\"%s\":char*) [line 27]\n _fun_NSLog(n$2:objc_object*,\"\":char*) [line 27]\n " shape="box"]
"testFunct#A#instance.b6c9dae744220d93a4466679814728c1_3" [label="3: Call _fun_NSLog \n n$2=_fun_NSString_stringWithUTF8String:(\"%s\":char* const ) [line 27]\n _fun_NSLog(n$2:objc_object*,\"\":char const *) [line 27]\n " shape="box"]
"testFunct#A#instance.b6c9dae744220d93a4466679814728c1_3" -> "testFunct#A#instance.b6c9dae744220d93a4466679814728c1_2" ;

2
infer/tests/codetoanalyze/objc/frontend/property/main_car.m.dot
Unescape View File

@ -11,7 +11,7 @@ digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
"main.fad58de7366495db4650cfefac2fcd61_4" [label="4: Call _fun_NSLog \n n$0=_fun_NSString_stringWithUTF8String:(\"%d\":char*) [line 15]\n n$1=*&honda:Car* [line 15]\n n$2=_fun_Car_running(n$1:Car*) [line 15]\n _fun_NSLog(n$0:objc_object*,n$2:int) [line 15]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_4" [label="4: Call _fun_NSLog \n n$0=_fun_NSString_stringWithUTF8String:(\"%d\":char* const ) [line 15]\n n$1=*&honda:Car* [line 15]\n n$2=_fun_Car_running(n$1:Car*) [line 15]\n _fun_NSLog(n$0:objc_object*,n$2:int) [line 15]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_4" -> "main.fad58de7366495db4650cfefac2fcd61_3" ;

2
infer/tests/codetoanalyze/objc/frontend/strings/global_string_literal.m.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_2" [label="2: Exit __infer_globals_initializer_lastName \n " color=yellow style=filled]
"__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_3" [label="3: DeclStmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Rodriguez\":char*) [line 12]\n *&#GB<codetoanalyze/objc/frontend/strings/global_string_literal.m>$lastName:NSString*=n$0 [line 12]\n " shape="box"]
"__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_3" [label="3: DeclStmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Rodriguez\":char* const ) [line 12]\n *&#GB<codetoanalyze/objc/frontend/strings/global_string_literal.m>$lastName:NSString*=n$0 [line 12]\n " shape="box"]
"__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_3" -> "__infer_globals_initializer_lastName.ab5584b9c7a64c926bfb635dcb73a207_2" ;

2
infer/tests/codetoanalyze/objc/frontend/strings/string_literal.m.dot
Unescape View File

@ -11,7 +11,7 @@ digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
"main.fad58de7366495db4650cfefac2fcd61_4" [label="4: DeclStmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Rodriguez\":char*) [line 13]\n *&lastName:NSString*=n$0 [line 13]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_4" [label="4: DeclStmt \n n$0=_fun_NSString_stringWithUTF8String:(\"Rodriguez\":char* const ) [line 13]\n *&lastName:NSString*=n$0 [line 13]\n " shape="box"]
"main.fad58de7366495db4650cfefac2fcd61_4" -> "main.fad58de7366495db4650cfefac2fcd61_3" ;

4
infer/tests/codetoanalyze/objc/shared/annotations/nonnull_annotations.m.dot
Unescape View File

@ -52,7 +52,7 @@ digraph iCFG {
"test3:#A#instance.28bc2df8df797b21818dc2037239f326_3" -> "test3:#A#instance.28bc2df8df797b21818dc2037239f326_2" ;
"test3:#A#instance.28bc2df8df797b21818dc2037239f326_4" [label="4: Call n$9 \n n$9=*&successBlock:_fn_(*) [line 36]\n n$10=_fun_NSString_stringWithUTF8String:(\"Yay\":char*) [line 36]\n n$9(n$10:NSString*) [line 36]\n " shape="box"]
"test3:#A#instance.28bc2df8df797b21818dc2037239f326_4" [label="4: Call n$9 \n n$9=*&successBlock:_fn_(*) [line 36]\n n$10=_fun_NSString_stringWithUTF8String:(\"Yay\":char* const ) [line 36]\n n$9(n$10:NSString*) [line 36]\n " shape="box"]
"test3:#A#instance.28bc2df8df797b21818dc2037239f326_4" -> "test3:#A#instance.28bc2df8df797b21818dc2037239f326_3" ;
@ -67,7 +67,7 @@ digraph iCFG {
"test4:#A#instance.718a300d6fa63609a70f22221a548ee5_3" -> "test4:#A#instance.718a300d6fa63609a70f22221a548ee5_2" ;
"test4:#A#instance.718a300d6fa63609a70f22221a548ee5_4" [label="4: Call n$11 \n n$11=*&successBlock:_fn_(*) [line 41]\n n$12=_fun_NSString_stringWithUTF8String:(\"Yay\":char*) [line 41]\n n$11(n$12:NSString*) [line 41]\n " shape="box"]
"test4:#A#instance.718a300d6fa63609a70f22221a548ee5_4" [label="4: Call n$11 \n n$11=*&successBlock:_fn_(*) [line 41]\n n$12=_fun_NSString_stringWithUTF8String:(\"Yay\":char* const ) [line 41]\n n$11(n$12:NSString*) [line 41]\n " shape="box"]
"test4:#A#instance.718a300d6fa63609a70f22221a548ee5_4" -> "test4:#A#instance.718a300d6fa63609a70f22221a548ee5_3" ;

8
infer/tests/codetoanalyze/objc/shared/annotations/nullable_annotations.m.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"npe_property_nullable.ba4461b16b55481ab8de5124734d2bf3_2" [label="2: Exit npe_property_nullable \n " color=yellow style=filled]
"npe_property_nullable.ba4461b16b55481ab8de5124734d2bf3_3" [label="3: Return Stmt \n n$0=*&child:Person* [line 58]\n n$1=_fun_NSString_stringWithUTF8String:(\"key\":char*) [line 58]\n n$2=_fun_NSDictionary_dictionaryWithObjects:forKeys:count:(n$0:objc_object*,n$1:objc_object*,0:objc_object*) [line 58]\n *&return:NSDictionary*=n$2 [line 58]\n " shape="box"]
"npe_property_nullable.ba4461b16b55481ab8de5124734d2bf3_3" [label="3: Return Stmt \n n$0=*&child:Person* [line 58]\n n$1=_fun_NSString_stringWithUTF8String:(\"key\":char* const ) [line 58]\n n$2=_fun_NSDictionary_dictionaryWithObjects:forKeys:count:(n$0:objc_object*,n$1:objc_object*,0:objc_object*) [line 58]\n *&return:NSDictionary*=n$2 [line 58]\n " shape="box"]
"npe_property_nullable.ba4461b16b55481ab8de5124734d2bf3_3" -> "npe_property_nullable.ba4461b16b55481ab8de5124734d2bf3_2" ;
@ -26,7 +26,7 @@ digraph iCFG {
"tellMeSomething#User#instance.5ed632cdc46e048613dbc2d7030419cf_2" [label="2: Exit User_tellMeSomething \n " color=yellow style=filled]
"tellMeSomething#User#instance.5ed632cdc46e048613dbc2d7030419cf_3" [label="3: Return Stmt \n n$1=_fun_NSString_stringWithUTF8String:(\"Hi\":char*) [line 36]\n *&return:NSString*=n$1 [line 36]\n " shape="box"]
"tellMeSomething#User#instance.5ed632cdc46e048613dbc2d7030419cf_3" [label="3: Return Stmt \n n$1=_fun_NSString_stringWithUTF8String:(\"Hi\":char* const ) [line 36]\n *&return:NSString*=n$1 [line 36]\n " shape="box"]
"tellMeSomething#User#instance.5ed632cdc46e048613dbc2d7030419cf_3" -> "tellMeSomething#User#instance.5ed632cdc46e048613dbc2d7030419cf_2" ;
@ -37,7 +37,7 @@ digraph iCFG {
"tellMeSomethingNotNullable#User#instance.245a0cd3ebd907a23c846151021de342_2" [label="2: Exit User_tellMeSomethingNotNullable \n " color=yellow style=filled]
"tellMeSomethingNotNullable#User#instance.245a0cd3ebd907a23c846151021de342_3" [label="3: Return Stmt \n n$2=_fun_NSString_stringWithUTF8String:(\"Hi\":char*) [line 40]\n *&return:NSString*=n$2 [line 40]\n " shape="box"]
"tellMeSomethingNotNullable#User#instance.245a0cd3ebd907a23c846151021de342_3" [label="3: Return Stmt \n n$2=_fun_NSString_stringWithUTF8String:(\"Hi\":char* const ) [line 40]\n *&return:NSString*=n$2 [line 40]\n " shape="box"]
"tellMeSomethingNotNullable#User#instance.245a0cd3ebd907a23c846151021de342_3" -> "tellMeSomethingNotNullable#User#instance.245a0cd3ebd907a23c846151021de342_2" ;
@ -74,7 +74,7 @@ digraph iCFG {
"tellMeSomething:and:and:and:#User#instance.eedc1cc1313630d342198a5528c9eaec_2" [label="2: Exit User_tellMeSomething:and:and:and: \n " color=yellow style=filled]
"tellMeSomething:and:and:and:#User#instance.eedc1cc1313630d342198a5528c9eaec_3" [label="3: Return Stmt \n n$3=_fun_NSString_stringWithUTF8String:(\"Hi\":char*) [line 47]\n *&return:NSString*=n$3 [line 47]\n " shape="box"]
"tellMeSomething:and:and:and:#User#instance.eedc1cc1313630d342198a5528c9eaec_3" [label="3: Return Stmt \n n$3=_fun_NSString_stringWithUTF8String:(\"Hi\":char* const ) [line 47]\n *&return:NSString*=n$3 [line 47]\n " shape="box"]
"tellMeSomething:and:and:and:#User#instance.eedc1cc1313630d342198a5528c9eaec_3" -> "tellMeSomething:and:and:and:#User#instance.eedc1cc1313630d342198a5528c9eaec_2" ;

24
infer/tests/codetoanalyze/objc/shared/assertions/NSAssert_example.m.dot
Unescape View File

@ -82,7 +82,7 @@ digraph iCFG {
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_20" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_17" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_21" [label="21: ConditinalStmt Branch \n n$30=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char*) [line 24]\n *&0$?%__sil_tmpSIL_temp_conditional___n$27:NSString*=n$30 [line 24]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_21" [label="21: ConditinalStmt Branch \n n$30=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 24]\n *&0$?%__sil_tmpSIL_temp_conditional___n$27:NSString*=n$30 [line 24]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_21" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_17" ;
@ -90,7 +90,7 @@ digraph iCFG {
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_22" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_16" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_23" [label="23: DeclStmt \n n$33=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char*) [line 24]\n _fun___objc_retain(n$33:NSString*) [line 24]\n *&__assert_file__:NSString*=n$33 [line 24]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_23" [label="23: DeclStmt \n n$33=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 24]\n _fun___objc_retain(n$33:NSString*) [line 24]\n *&__assert_file__:NSString*=n$33 [line 24]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_23" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_18" ;
@ -177,7 +177,7 @@ digraph iCFG {
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_20" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_17" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_21" [label="21: ConditinalStmt Branch \n n$13=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char*) [line 19]\n *&0$?%__sil_tmpSIL_temp_conditional___n$10:NSString*=n$13 [line 19]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_21" [label="21: ConditinalStmt Branch \n n$13=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 19]\n *&0$?%__sil_tmpSIL_temp_conditional___n$10:NSString*=n$13 [line 19]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_21" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_17" ;
@ -185,7 +185,7 @@ digraph iCFG {
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_22" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_16" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_23" [label="23: DeclStmt \n n$16=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char*) [line 19]\n _fun___objc_retain(n$16:NSString*) [line 19]\n *&__assert_file__:NSString*=n$16 [line 19]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_23" [label="23: DeclStmt \n n$16=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 19]\n _fun___objc_retain(n$16:NSString*) [line 19]\n *&__assert_file__:NSString*=n$16 [line 19]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_23" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_18" ;
@ -272,7 +272,7 @@ digraph iCFG {
"test1.5a105e8b9d40e1329780d62ea2265d8a_20" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_17" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_21" [label="21: ConditinalStmt Branch \n n$12=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char*) [line 31]\n *&0$?%__sil_tmpSIL_temp_conditional___n$9:NSString*=n$12 [line 31]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_21" [label="21: ConditinalStmt Branch \n n$12=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 31]\n *&0$?%__sil_tmpSIL_temp_conditional___n$9:NSString*=n$12 [line 31]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_21" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_17" ;
@ -280,7 +280,7 @@ digraph iCFG {
"test1.5a105e8b9d40e1329780d62ea2265d8a_22" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_16" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_23" [label="23: DeclStmt \n n$15=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char*) [line 31]\n _fun___objc_retain(n$15:NSString*) [line 31]\n *&__assert_file__:NSString*=n$15 [line 31]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_23" [label="23: DeclStmt \n n$15=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 31]\n _fun___objc_retain(n$15:NSString*) [line 31]\n *&__assert_file__:NSString*=n$15 [line 31]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_23" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_18" ;
@ -301,7 +301,7 @@ digraph iCFG {
"test1.5a105e8b9d40e1329780d62ea2265d8a_27" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_24" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_28" [label="28: ConditinalStmt Branch \n n$19=_fun_NSString_stringWithUTF8String:(\"<Unknown Function>\":char*) [line 31]\n *&0$?%__sil_tmpSIL_temp_conditional___n$16:NSString*=n$19 [line 31]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_28" [label="28: ConditinalStmt Branch \n n$19=_fun_NSString_stringWithUTF8String:(\"<Unknown Function>\":char* const ) [line 31]\n *&0$?%__sil_tmpSIL_temp_conditional___n$16:NSString*=n$19 [line 31]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_28" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_24" ;
@ -309,7 +309,7 @@ digraph iCFG {
"test1.5a105e8b9d40e1329780d62ea2265d8a_29" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_23" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_30" [label="30: DeclStmt \n n$22=_fun_NSString_stringWithUTF8String:(\"\":char*) [line 31]\n _fun___objc_retain(n$22:NSString*) [line 31]\n *&__assert_fn__:NSString*=n$22 [line 31]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_30" [label="30: DeclStmt \n n$22=_fun_NSString_stringWithUTF8String:(\"\":char const *) [line 31]\n _fun___objc_retain(n$22:NSString*) [line 31]\n *&__assert_fn__:NSString*=n$22 [line 31]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_30" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_25" ;
@ -392,7 +392,7 @@ digraph iCFG {
"test2.ad0234829205b9033196ba818f7a872b_19" -> "test2.ad0234829205b9033196ba818f7a872b_16" ;
"test2.ad0234829205b9033196ba818f7a872b_20" [label="20: ConditinalStmt Branch \n n$13=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char*) [line 36]\n *&0$?%__sil_tmpSIL_temp_conditional___n$10:NSString*=n$13 [line 36]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_20" [label="20: ConditinalStmt Branch \n n$13=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 36]\n *&0$?%__sil_tmpSIL_temp_conditional___n$10:NSString*=n$13 [line 36]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_20" -> "test2.ad0234829205b9033196ba818f7a872b_16" ;
@ -400,7 +400,7 @@ digraph iCFG {
"test2.ad0234829205b9033196ba818f7a872b_21" -> "test2.ad0234829205b9033196ba818f7a872b_15" ;
"test2.ad0234829205b9033196ba818f7a872b_22" [label="22: DeclStmt \n n$16=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char*) [line 36]\n _fun___objc_retain(n$16:NSString*) [line 36]\n *&__assert_file__:NSString*=n$16 [line 36]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_22" [label="22: DeclStmt \n n$16=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 36]\n _fun___objc_retain(n$16:NSString*) [line 36]\n *&__assert_file__:NSString*=n$16 [line 36]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_22" -> "test2.ad0234829205b9033196ba818f7a872b_17" ;
@ -421,7 +421,7 @@ digraph iCFG {
"test2.ad0234829205b9033196ba818f7a872b_26" -> "test2.ad0234829205b9033196ba818f7a872b_23" ;
"test2.ad0234829205b9033196ba818f7a872b_27" [label="27: ConditinalStmt Branch \n n$20=_fun_NSString_stringWithUTF8String:(\"<Unknown Function>\":char*) [line 36]\n *&0$?%__sil_tmpSIL_temp_conditional___n$17:NSString*=n$20 [line 36]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_27" [label="27: ConditinalStmt Branch \n n$20=_fun_NSString_stringWithUTF8String:(\"<Unknown Function>\":char* const ) [line 36]\n *&0$?%__sil_tmpSIL_temp_conditional___n$17:NSString*=n$20 [line 36]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_27" -> "test2.ad0234829205b9033196ba818f7a872b_23" ;
@ -429,7 +429,7 @@ digraph iCFG {
"test2.ad0234829205b9033196ba818f7a872b_28" -> "test2.ad0234829205b9033196ba818f7a872b_22" ;
"test2.ad0234829205b9033196ba818f7a872b_29" [label="29: DeclStmt \n n$23=_fun_NSString_stringWithUTF8String:(\"\":char*) [line 36]\n _fun___objc_retain(n$23:NSString*) [line 36]\n *&__assert_fn__:NSString*=n$23 [line 36]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_29" [label="29: DeclStmt \n n$23=_fun_NSString_stringWithUTF8String:(\"\":char const *) [line 36]\n _fun___objc_retain(n$23:NSString*) [line 36]\n *&__assert_fn__:NSString*=n$23 [line 36]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_29" -> "test2.ad0234829205b9033196ba818f7a872b_24" ;

4
infer/tests/codetoanalyze/objc/shared/category_procdesc/EOCPerson.m.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"performDaysWork#EOCPerson#instance.68f45cebac26de5310062b9c47f6dc36_2" [label="2: Exit EOCPerson_performDaysWork \n " color=yellow style=filled]
"performDaysWork#EOCPerson#instance.68f45cebac26de5310062b9c47f6dc36_3" [label="3: Call _fun_NSLog \n n$0=_fun_NSString_stringWithUTF8String:(\"Performing days at work\":char*) [line 15]\n _fun_NSLog(n$0:objc_object*) [line 15]\n " shape="box"]
"performDaysWork#EOCPerson#instance.68f45cebac26de5310062b9c47f6dc36_3" [label="3: Call _fun_NSLog \n n$0=_fun_NSString_stringWithUTF8String:(\"Performing days at work\":char* const ) [line 15]\n _fun_NSLog(n$0:objc_object*) [line 15]\n " shape="box"]
"performDaysWork#EOCPerson#instance.68f45cebac26de5310062b9c47f6dc36_3" -> "performDaysWork#EOCPerson#instance.68f45cebac26de5310062b9c47f6dc36_2" ;
@ -18,7 +18,7 @@ digraph iCFG {
"takeVacationFromWork#EOCPerson#instance.a4a2043283853257ef9e4402128b75f9_2" [label="2: Exit EOCPerson_takeVacationFromWork \n " color=yellow style=filled]
"takeVacationFromWork#EOCPerson#instance.a4a2043283853257ef9e4402128b75f9_3" [label="3: Call _fun_NSLog \n n$1=_fun_NSString_stringWithUTF8String:(\"BTaking vacations\":char*) [line 19]\n _fun_NSLog(n$1:objc_object*) [line 19]\n " shape="box"]
"takeVacationFromWork#EOCPerson#instance.a4a2043283853257ef9e4402128b75f9_3" [label="3: Call _fun_NSLog \n n$1=_fun_NSString_stringWithUTF8String:(\"BTaking vacations\":char* const ) [line 19]\n _fun_NSLog(n$1:objc_object*) [line 19]\n " shape="box"]
"takeVacationFromWork#EOCPerson#instance.a4a2043283853257ef9e4402128b75f9_3" -> "takeVacationFromWork#EOCPerson#instance.a4a2043283853257ef9e4402128b75f9_2" ;

28
infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/MemoryLeakExample.m.dot
Unescape View File

@ -18,7 +18,7 @@ digraph iCFG {
"measureFrameSizeForTextNoLeak#MemoryLeakExample#class.9443bec011166230e1709abbe3c930d4_2" [label="2: Exit MemoryLeakExample_measureFrameSizeForTextNoLeak \n " color=yellow style=filled]
"measureFrameSizeForTextNoLeak#MemoryLeakExample#class.9443bec011166230e1709abbe3c930d4_3" [label="3: Call _fun___objc_release_cf \n n$15=*&maString:__CFAttributedString* [line 41]\n _fun___objc_release_cf(1:_Bool,n$15:void*) [line 41]\n " shape="box"]
"measureFrameSizeForTextNoLeak#MemoryLeakExample#class.9443bec011166230e1709abbe3c930d4_3" [label="3: Call _fun___objc_release_cf \n n$15=*&maString:__CFAttributedString* [line 41]\n _fun___objc_release_cf(1:_Bool,n$15:void const *) [line 41]\n " shape="box"]
"measureFrameSizeForTextNoLeak#MemoryLeakExample#class.9443bec011166230e1709abbe3c930d4_3" -> "measureFrameSizeForTextNoLeak#MemoryLeakExample#class.9443bec011166230e1709abbe3c930d4_2" ;
@ -26,18 +26,18 @@ digraph iCFG {
"measureFrameSizeForTextNoLeak#MemoryLeakExample#class.9443bec011166230e1709abbe3c930d4_4" -> "measureFrameSizeForTextNoLeak#MemoryLeakExample#class.9443bec011166230e1709abbe3c930d4_3" ;
"test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_1" [label="1: Start MemoryLeakExample_test1NoLeak\nFormals: \nLocals: framesetter:__CTFramesetter* \n DECLARE_LOCALS(&return,&framesetter); [line 48]\n " color=yellow style=filled]
"test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_1" [label="1: Start MemoryLeakExample_test1NoLeak\nFormals: \nLocals: framesetter:__CTFramesetter const * \n DECLARE_LOCALS(&return,&framesetter); [line 48]\n " color=yellow style=filled]
"test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_1" -> "test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_4" ;
"test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_2" [label="2: Exit MemoryLeakExample_test1NoLeak \n " color=yellow style=filled]
"test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_3" [label="3: Call _fun___objc_release_cf \n n$19=*&framesetter:__CTFramesetter* [line 50]\n _fun___objc_release_cf(1:_Bool,n$19:void*) [line 50]\n " shape="box"]
"test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_3" [label="3: Call _fun___objc_release_cf \n n$19=*&framesetter:__CTFramesetter const * [line 50]\n _fun___objc_release_cf(1:_Bool,n$19:void const *) [line 50]\n " shape="box"]
"test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_3" -> "test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_2" ;
"test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_4" [label="4: DeclStmt \n n$20=_fun_CTFramesetterCreateWithAttributedString(0:__CFAttributedString*) [line 49]\n *&framesetter:__CTFramesetter*=n$20 [line 49]\n " shape="box"]
"test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_4" [label="4: DeclStmt \n n$20=_fun_CTFramesetterCreateWithAttributedString(0:__CFAttributedString const *) [line 49]\n *&framesetter:__CTFramesetter const *=n$20 [line 49]\n " shape="box"]
"test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_4" -> "test1NoLeak#MemoryLeakExample#class.7e0d9640dbd86a21622e801793707bd9_3" ;
@ -48,7 +48,7 @@ digraph iCFG {
"test2NoLeak#MemoryLeakExample#class.69cf0c35f7df26deefa723cac655894d_2" [label="2: Exit MemoryLeakExample_test2NoLeak \n " color=yellow style=filled]
"test2NoLeak#MemoryLeakExample#class.69cf0c35f7df26deefa723cac655894d_3" [label="3: Call _fun___objc_release_cf \n n$30=*&allowedPublicKey:__SecKey* [line 72]\n _fun___objc_release_cf(1:_Bool,n$30:void*) [line 72]\n " shape="box"]
"test2NoLeak#MemoryLeakExample#class.69cf0c35f7df26deefa723cac655894d_3" [label="3: Call _fun___objc_release_cf \n n$30=*&allowedPublicKey:__SecKey* [line 72]\n _fun___objc_release_cf(1:_Bool,n$30:void const *) [line 72]\n " shape="box"]
"test2NoLeak#MemoryLeakExample#class.69cf0c35f7df26deefa723cac655894d_3" -> "test2NoLeak#MemoryLeakExample#class.69cf0c35f7df26deefa723cac655894d_2" ;
@ -93,7 +93,7 @@ digraph iCFG {
"createCloseCrossGlyphNoLeak:#MemoryLeakExample#class.0954bcd442044fd9788af38303a3790b_2" [label="2: Exit MemoryLeakExample_createCloseCrossGlyphNoLeak: \n " color=yellow style=filled]
"createCloseCrossGlyphNoLeak:#MemoryLeakExample#class.0954bcd442044fd9788af38303a3790b_3" [label="3: Call _fun___objc_release_cf \n n$24=*&path1:CGPath* [line 63]\n _fun___objc_release_cf(1:_Bool,n$24:void*) [line 63]\n " shape="box"]
"createCloseCrossGlyphNoLeak:#MemoryLeakExample#class.0954bcd442044fd9788af38303a3790b_3" [label="3: Call _fun___objc_release_cf \n n$24=*&path1:CGPath* [line 63]\n _fun___objc_release_cf(1:_Bool,n$24:void const *) [line 63]\n " shape="box"]
"createCloseCrossGlyphNoLeak:#MemoryLeakExample#class.0954bcd442044fd9788af38303a3790b_3" -> "createCloseCrossGlyphNoLeak:#MemoryLeakExample#class.0954bcd442044fd9788af38303a3790b_2" ;
@ -105,7 +105,7 @@ digraph iCFG {
"createCloseCrossGlyphNoLeak:#MemoryLeakExample#class.0954bcd442044fd9788af38303a3790b_5" -> "createCloseCrossGlyphNoLeak:#MemoryLeakExample#class.0954bcd442044fd9788af38303a3790b_4" ;
"layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_1" [label="1: Start MemoryLeakExample_layoutSubviews\nFormals: self:MemoryLeakExample*\nLocals: shadowPath:CGPath* attachmentContainerView:UIView* \n DECLARE_LOCALS(&return,&shadowPath,&attachmentContainerView); [line 19]\n " color=yellow style=filled]
"layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_1" [label="1: Start MemoryLeakExample_layoutSubviews\nFormals: self:MemoryLeakExample*\nLocals: shadowPath:CGPath const * attachmentContainerView:UIView* \n DECLARE_LOCALS(&return,&shadowPath,&attachmentContainerView); [line 19]\n " color=yellow style=filled]
"layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_1" -> "layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_6" ;
@ -116,11 +116,11 @@ digraph iCFG {
"layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_3" -> "layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_2" ;
"layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_4" [label="4: Call _fun_CGPathRelease \n n$1=*&shadowPath:CGPath* [line 24]\n _fun_CGPathRelease(n$1:CGPath*) [line 24]\n " shape="box"]
"layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_4" [label="4: Call _fun_CGPathRelease \n n$1=*&shadowPath:CGPath const * [line 24]\n _fun_CGPathRelease(n$1:CGPath const *) [line 24]\n " shape="box"]
"layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_4" -> "layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_3" ;
"layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_5" [label="5: DeclStmt \n n$4=_fun___objc_alloc_no_fail(sizeof(CGPath):unsigned long,_fun_CGPathCreateWithRect:void) [line 22]\n *&shadowPath:CGPath*=n$4 [line 21]\n " shape="box"]
"layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_5" [label="5: DeclStmt \n n$4=_fun___objc_alloc_no_fail(sizeof(CGPath const ):unsigned long,_fun_CGPathCreateWithRect:void) [line 22]\n *&shadowPath:CGPath const *=n$4 [line 21]\n " shape="box"]
"layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_5" -> "layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_4" ;
@ -128,18 +128,18 @@ digraph iCFG {
"layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_6" -> "layoutSubviews#MemoryLeakExample#instance.2b3151f18431bcdbc08267ea4ff96f53_5" ;
"test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_1" [label="1: Start MemoryLeakExample_test\nFormals: self:MemoryLeakExample*\nLocals: shadowPath:CGPath* \n DECLARE_LOCALS(&return,&shadowPath); [line 28]\n " color=yellow style=filled]
"test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_1" [label="1: Start MemoryLeakExample_test\nFormals: self:MemoryLeakExample*\nLocals: shadowPath:CGPath const * \n DECLARE_LOCALS(&return,&shadowPath); [line 28]\n " color=yellow style=filled]
"test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_1" -> "test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_4" ;
"test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_2" [label="2: Exit MemoryLeakExample_test \n " color=yellow style=filled]
"test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_3" [label="3: Message Call: setShadowPath: \n n$6=*&self:MemoryLeakExample* [line 31]\n n$7=_fun_MemoryLeakExample_backgroundCoveringView(n$6:MemoryLeakExample*) [line 31]\n n$8=_fun_UIView_layer(n$7:UIView*) [line 31]\n n$9=*&shadowPath:CGPath* [line 31]\n _fun_CALayer_setShadowPath:(n$8:CALayer*,n$9:CGPath*) [line 31]\n " shape="box"]
"test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_3" [label="3: Message Call: setShadowPath: \n n$6=*&self:MemoryLeakExample* [line 31]\n n$7=_fun_MemoryLeakExample_backgroundCoveringView(n$6:MemoryLeakExample*) [line 31]\n n$8=_fun_UIView_layer(n$7:UIView*) [line 31]\n n$9=*&shadowPath:CGPath const * [line 31]\n _fun_CALayer_setShadowPath:(n$8:CALayer*,n$9:CGPath const *) [line 31]\n " shape="box"]
"test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_3" -> "test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_2" ;
"test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_4" [label="4: DeclStmt \n n$13=_fun___objc_alloc_no_fail(sizeof(CGPath):unsigned long,_fun_CGPathCreateWithRect:void) [line 30]\n *&shadowPath:CGPath*=n$13 [line 29]\n " shape="box"]
"test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_4" [label="4: DeclStmt \n n$13=_fun___objc_alloc_no_fail(sizeof(CGPath const ):unsigned long,_fun_CGPathCreateWithRect:void) [line 30]\n *&shadowPath:CGPath const *=n$13 [line 29]\n " shape="box"]
"test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_4" -> "test#MemoryLeakExample#instance.cbb708bfe735ac5e5777524359299e00_3" ;
@ -223,14 +223,14 @@ digraph iCFG {
"blockFreeNoLeakTODO#MemoryLeakExample#instance.745cca07ccdb517734d79c9d7a1eaed8_6" -> "blockFreeNoLeakTODO#MemoryLeakExample#instance.745cca07ccdb517734d79c9d7a1eaed8_5" ;
"test1:#MemoryLeakExample#class.6a178021c88203c49ec4a36c5d873685_1" [label="1: Start MemoryLeakExample_test1:\nFormals: str:__CFAttributedString*\nLocals: \n DECLARE_LOCALS(&return); [line 44]\n " color=yellow style=filled]
"test1:#MemoryLeakExample#class.6a178021c88203c49ec4a36c5d873685_1" [label="1: Start MemoryLeakExample_test1:\nFormals: str:__CFAttributedString const *\nLocals: \n DECLARE_LOCALS(&return); [line 44]\n " color=yellow style=filled]
"test1:#MemoryLeakExample#class.6a178021c88203c49ec4a36c5d873685_1" -> "test1:#MemoryLeakExample#class.6a178021c88203c49ec4a36c5d873685_3" ;
"test1:#MemoryLeakExample#class.6a178021c88203c49ec4a36c5d873685_2" [label="2: Exit MemoryLeakExample_test1: \n " color=yellow style=filled]
"test1:#MemoryLeakExample#class.6a178021c88203c49ec4a36c5d873685_3" [label="3: Call _fun_CTFramesetterCreateWithAttributedString \n n$17=*&str:__CFAttributedString* [line 45]\n n$18=_fun_CTFramesetterCreateWithAttributedString(n$17:__CFAttributedString*) [line 45]\n " shape="box"]
"test1:#MemoryLeakExample#class.6a178021c88203c49ec4a36c5d873685_3" [label="3: Call _fun_CTFramesetterCreateWithAttributedString \n n$17=*&str:__CFAttributedString const * [line 45]\n n$18=_fun_CTFramesetterCreateWithAttributedString(n$17:__CFAttributedString const *) [line 45]\n " shape="box"]
"test1:#MemoryLeakExample#class.6a178021c88203c49ec4a36c5d873685_3" -> "test1:#MemoryLeakExample#class.6a178021c88203c49ec4a36c5d873685_2" ;

30
infer/tests/codetoanalyze/objc/shared/memory_leaks_benchmark/TollBridgeExample.m.dot
Unescape View File

@ -7,63 +7,63 @@ digraph iCFG {
"cfautorelease_test.2ccea2233b65cd3828a2d5e2571ad69b_2" [label="2: Exit cfautorelease_test \n " color=yellow style=filled]
"cfautorelease_test.2ccea2233b65cd3828a2d5e2571ad69b_3" [label="3: Return Stmt \n n$0=_fun___builtin___CFStringMakeConstantString(\"Icon\":char*) [line 41]\n n$1=_fun_CTFontCreateWithName(n$0:__CFString*,17.000000:double,0:CGAffineTransform*) [line 41]\n n$2=_fun___objc_cast(n$1:void*,sizeof(void):unsigned long) [line 41]\n *&return:__CTFont*=n$2 [line 41]\n " shape="box"]
"cfautorelease_test.2ccea2233b65cd3828a2d5e2571ad69b_3" [label="3: Return Stmt \n n$0=_fun___builtin___CFStringMakeConstantString(\"Icon\":char const *) [line 41]\n n$1=_fun_CTFontCreateWithName(n$0:__CFString const *,17.000000:double,0:CGAffineTransform const *) [line 41]\n n$2=_fun___objc_cast(n$1:void const *,sizeof(void const ):unsigned long) [line 41]\n *&return:__CTFont const *=n$2 [line 41]\n " shape="box"]
"cfautorelease_test.2ccea2233b65cd3828a2d5e2571ad69b_3" -> "cfautorelease_test.2ccea2233b65cd3828a2d5e2571ad69b_2" ;
"bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_1" [label="1: Start bridgeDictionaryNoLeak\nFormals: \nLocals: dict:__CFDictionary* bufferAttributes:NSDictionary* \n DECLARE_LOCALS(&return,&dict,&bufferAttributes); [line 44]\n " color=yellow style=filled]
"bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_1" [label="1: Start bridgeDictionaryNoLeak\nFormals: \nLocals: dict:__CFDictionary const * bufferAttributes:NSDictionary* \n DECLARE_LOCALS(&return,&dict,&bufferAttributes); [line 44]\n " color=yellow style=filled]
"bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_1" -> "bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_4" ;
"bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_2" [label="2: Exit bridgeDictionaryNoLeak \n " color=yellow style=filled]
"bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_3" [label="3: DeclStmt \n n$0=*&bufferAttributes:NSDictionary* [line 46]\n *&dict:__CFDictionary*=n$0 [line 46]\n " shape="box"]
"bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_3" [label="3: DeclStmt \n n$0=*&bufferAttributes:NSDictionary* [line 46]\n *&dict:__CFDictionary const *=n$0 [line 46]\n " shape="box"]
"bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_3" -> "bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_2" ;
"bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_4" [label="4: DeclStmt \n n$1=_fun_NSDictionary_dictionaryWithObjects:forKeys:count:(0:objc_object*) [line 45]\n n$2=_fun_NSString_stringWithUTF8String:(\"key\":char*) [line 45]\n n$3=_fun_NSDictionary_dictionaryWithObjects:forKeys:count:(n$1:objc_object*,n$2:objc_object*,0:objc_object*) [line 45]\n *&bufferAttributes:NSDictionary*=n$3 [line 45]\n " shape="box"]
"bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_4" [label="4: DeclStmt \n n$1=_fun_NSDictionary_dictionaryWithObjects:forKeys:count:(0:objc_object*) [line 45]\n n$2=_fun_NSString_stringWithUTF8String:(\"key\":char* const ) [line 45]\n n$3=_fun_NSDictionary_dictionaryWithObjects:forKeys:count:(n$1:objc_object*,n$2:objc_object*,0:objc_object*) [line 45]\n *&bufferAttributes:NSDictionary*=n$3 [line 45]\n " shape="box"]
"bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_4" -> "bridgeDictionaryNoLeak.a9b55a0c8751bf95138aeb6870d0dec1_3" ;
"bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_1" [label="1: Start TollBridgeExample_bridgeTransfer\nFormals: self:TollBridgeExample*\nLocals: a:NSLocale* nameRef:__CFLocale* \n DECLARE_LOCALS(&return,&a,&nameRef); [line 19]\n " color=yellow style=filled]
"bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_1" [label="1: Start TollBridgeExample_bridgeTransfer\nFormals: self:TollBridgeExample*\nLocals: a:NSLocale* nameRef:__CFLocale const * \n DECLARE_LOCALS(&return,&a,&nameRef); [line 19]\n " color=yellow style=filled]
"bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_1" -> "bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_4" ;
"bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_2" [label="2: Exit TollBridgeExample_bridgeTransfer \n " color=yellow style=filled]
"bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_3" [label="3: DeclStmt \n n$0=*&nameRef:__CFLocale* [line 21]\n *&a:NSLocale*=n$0 [line 21]\n " shape="box"]
"bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_3" [label="3: DeclStmt \n n$0=*&nameRef:__CFLocale const * [line 21]\n *&a:NSLocale*=n$0 [line 21]\n " shape="box"]
"bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_3" -> "bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_2" ;
"bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_4" [label="4: DeclStmt \n n$1=_fun_CFLocaleCreate(0:__CFAllocator*,0:__CFString*) [line 20]\n *&nameRef:__CFLocale*=n$1 [line 20]\n " shape="box"]
"bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_4" [label="4: DeclStmt \n n$1=_fun_CFLocaleCreate(0:__CFAllocator const *,0:__CFString const *) [line 20]\n *&nameRef:__CFLocale const *=n$1 [line 20]\n " shape="box"]
"bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_4" -> "bridgeTransfer#TollBridgeExample#instance.d0065913beb197e891ef0d8a0bb81b38_3" ;
"bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_1" [label="1: Start TollBridgeExample_bridge\nFormals: self:TollBridgeExample*\nLocals: a:NSLocale* nameRef:__CFLocale* \n DECLARE_LOCALS(&return,&a,&nameRef); [line 24]\n " color=yellow style=filled]
"bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_1" [label="1: Start TollBridgeExample_bridge\nFormals: self:TollBridgeExample*\nLocals: a:NSLocale* nameRef:__CFLocale const * \n DECLARE_LOCALS(&return,&a,&nameRef); [line 24]\n " color=yellow style=filled]
"bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_1" -> "bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_4" ;
"bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_2" [label="2: Exit TollBridgeExample_bridge \n " color=yellow style=filled]
"bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_3" [label="3: DeclStmt \n n$2=*&nameRef:__CFLocale* [line 26]\n *&a:NSLocale*=n$2 [line 26]\n " shape="box"]
"bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_3" [label="3: DeclStmt \n n$2=*&nameRef:__CFLocale const * [line 26]\n *&a:NSLocale*=n$2 [line 26]\n " shape="box"]
"bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_3" -> "bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_2" ;
"bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_4" [label="4: DeclStmt \n n$3=_fun_CFLocaleCreate(0:__CFAllocator*,0:__CFString*) [line 25]\n *&nameRef:__CFLocale*=n$3 [line 25]\n " shape="box"]
"bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_4" [label="4: DeclStmt \n n$3=_fun_CFLocaleCreate(0:__CFAllocator const *,0:__CFString const *) [line 25]\n *&nameRef:__CFLocale const *=n$3 [line 25]\n " shape="box"]
"bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_4" -> "bridge#TollBridgeExample#instance.fadd5a014118113c960fa1a6e3ff27ba_3" ;
"brideRetained#TollBridgeExample#instance.de039e838ea3246eff789fdc0d11405c_1" [label="1: Start TollBridgeExample_brideRetained\nFormals: self:TollBridgeExample*\nLocals: a:__CFLocale* observer:objc_object* \n DECLARE_LOCALS(&return,&a,&observer); [line 29]\n " color=yellow style=filled]
"brideRetained#TollBridgeExample#instance.de039e838ea3246eff789fdc0d11405c_1" [label="1: Start TollBridgeExample_brideRetained\nFormals: self:TollBridgeExample*\nLocals: a:__CFLocale const * observer:objc_object* \n DECLARE_LOCALS(&return,&a,&observer); [line 29]\n " color=yellow style=filled]
"brideRetained#TollBridgeExample#instance.de039e838ea3246eff789fdc0d11405c_1" -> "brideRetained#TollBridgeExample#instance.de039e838ea3246eff789fdc0d11405c_4" ;
"brideRetained#TollBridgeExample#instance.de039e838ea3246eff789fdc0d11405c_2" [label="2: Exit TollBridgeExample_brideRetained \n " color=yellow style=filled]
"brideRetained#TollBridgeExample#instance.de039e838ea3246eff789fdc0d11405c_3" [label="3: DeclStmt \n n$4=*&observer:objc_object* [line 31]\n *&a:__CFLocale*=n$4 [line 31]\n " shape="box"]
"brideRetained#TollBridgeExample#instance.de039e838ea3246eff789fdc0d11405c_3" [label="3: DeclStmt \n n$4=*&observer:objc_object* [line 31]\n *&a:__CFLocale const *=n$4 [line 31]\n " shape="box"]
"brideRetained#TollBridgeExample#instance.de039e838ea3246eff789fdc0d11405c_3" -> "brideRetained#TollBridgeExample#instance.de039e838ea3246eff789fdc0d11405c_2" ;
@ -71,18 +71,18 @@ digraph iCFG {
"brideRetained#TollBridgeExample#instance.de039e838ea3246eff789fdc0d11405c_4" -> "brideRetained#TollBridgeExample#instance.de039e838ea3246eff789fdc0d11405c_3" ;
"_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_1" [label="1: Start TollBridgeExample__readHTTPHeader\nFormals: self:TollBridgeExample*\nLocals: ref:__CFDictionary* \n DECLARE_LOCALS(&return,&ref); [line 34]\n " color=yellow style=filled]
"_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_1" [label="1: Start TollBridgeExample__readHTTPHeader\nFormals: self:TollBridgeExample*\nLocals: ref:__CFDictionary const * \n DECLARE_LOCALS(&return,&ref); [line 34]\n " color=yellow style=filled]
"_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_1" -> "_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_4" ;
"_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_2" [label="2: Exit TollBridgeExample__readHTTPHeader \n " color=yellow style=filled]
"_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_3" [label="3: Call _fun_CFBridgingRelease \n n$6=*&ref:__CFDictionary* [line 37]\n n$7=_fun___objc_cast(n$6:void*,sizeof(objc_object):unsigned long) [line 37]\n " shape="box"]
"_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_3" [label="3: Call _fun_CFBridgingRelease \n n$6=*&ref:__CFDictionary const * [line 37]\n n$7=_fun___objc_cast(n$6:void const *,sizeof(objc_object):unsigned long) [line 37]\n " shape="box"]
"_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_3" -> "_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_2" ;
"_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_4" [label="4: DeclStmt \n n$8=_fun_CFHTTPMessageCopyAllHeaderFields(0:__CFHTTPMessage*) [line 36]\n *&ref:__CFDictionary*=n$8 [line 36]\n " shape="box"]
"_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_4" [label="4: DeclStmt \n n$8=_fun_CFHTTPMessageCopyAllHeaderFields(0:__CFHTTPMessage*) [line 36]\n *&ref:__CFDictionary const *=n$8 [line 36]\n " shape="box"]
"_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_4" -> "_readHTTPHeader#TollBridgeExample#instance.3d37ce88cf13750e89ba404865a70554_3" ;

12
infer/tests/codetoanalyze/objc/shared/protocol_procdesc/Bicycle.m.dot
Unescape View File

@ -7,7 +7,7 @@ digraph iCFG {
"signalStop#Bicycle#instance.e21e040e406b062ae47420adbbba076a_2" [label="2: Exit Bicycle_signalStop \n " color=yellow style=filled]
"signalStop#Bicycle#instance.e21e040e406b062ae47420adbbba076a_3" [label="3: Call _fun_NSLog \n n$0=_fun_NSString_stringWithUTF8String:(\"Bending left arm downwards\":char*) [line 16]\n _fun_NSLog(n$0:objc_object*) [line 16]\n " shape="box"]
"signalStop#Bicycle#instance.e21e040e406b062ae47420adbbba076a_3" [label="3: Call _fun_NSLog \n n$0=_fun_NSString_stringWithUTF8String:(\"Bending left arm downwards\":char* const ) [line 16]\n _fun_NSLog(n$0:objc_object*) [line 16]\n " shape="box"]
"signalStop#Bicycle#instance.e21e040e406b062ae47420adbbba076a_3" -> "signalStop#Bicycle#instance.e21e040e406b062ae47420adbbba076a_2" ;
@ -18,7 +18,7 @@ digraph iCFG {
"signalLeftTurn#Bicycle#instance.a4d5c86b4aa90993e2ac30d04f01880f_2" [label="2: Exit Bicycle_signalLeftTurn \n " color=yellow style=filled]
"signalLeftTurn#Bicycle#instance.a4d5c86b4aa90993e2ac30d04f01880f_3" [label="3: Call _fun_NSLog \n n$1=_fun_NSString_stringWithUTF8String:(\"Extending left arm outwards\":char*) [line 19]\n _fun_NSLog(n$1:objc_object*) [line 19]\n " shape="box"]
"signalLeftTurn#Bicycle#instance.a4d5c86b4aa90993e2ac30d04f01880f_3" [label="3: Call _fun_NSLog \n n$1=_fun_NSString_stringWithUTF8String:(\"Extending left arm outwards\":char* const ) [line 19]\n _fun_NSLog(n$1:objc_object*) [line 19]\n " shape="box"]
"signalLeftTurn#Bicycle#instance.a4d5c86b4aa90993e2ac30d04f01880f_3" -> "signalLeftTurn#Bicycle#instance.a4d5c86b4aa90993e2ac30d04f01880f_2" ;
@ -29,7 +29,7 @@ digraph iCFG {
"signalRightTurn#Bicycle#instance.fadced5c56a6d988e6d72d83b6b35cbe_2" [label="2: Exit Bicycle_signalRightTurn \n " color=yellow style=filled]
"signalRightTurn#Bicycle#instance.fadced5c56a6d988e6d72d83b6b35cbe_3" [label="3: Call _fun_NSLog \n n$2=_fun_NSString_stringWithUTF8String:(\"Bending left arm upwards\":char*) [line 22]\n _fun_NSLog(n$2:objc_object*) [line 22]\n " shape="box"]
"signalRightTurn#Bicycle#instance.fadced5c56a6d988e6d72d83b6b35cbe_3" [label="3: Call _fun_NSLog \n n$2=_fun_NSString_stringWithUTF8String:(\"Bending left arm upwards\":char* const ) [line 22]\n _fun_NSLog(n$2:objc_object*) [line 22]\n " shape="box"]
"signalRightTurn#Bicycle#instance.fadced5c56a6d988e6d72d83b6b35cbe_3" -> "signalRightTurn#Bicycle#instance.fadced5c56a6d988e6d72d83b6b35cbe_2" ;
@ -40,7 +40,7 @@ digraph iCFG {
"startPedaling#Bicycle#instance.51dd675ab15335a15287fd45cbc21261_2" [label="2: Exit Bicycle_startPedaling \n " color=yellow style=filled]
"startPedaling#Bicycle#instance.51dd675ab15335a15287fd45cbc21261_3" [label="3: Call _fun_NSLog \n n$3=_fun_NSString_stringWithUTF8String:(\"Here we go!\":char*) [line 25]\n _fun_NSLog(n$3:objc_object*) [line 25]\n " shape="box"]
"startPedaling#Bicycle#instance.51dd675ab15335a15287fd45cbc21261_3" [label="3: Call _fun_NSLog \n n$3=_fun_NSString_stringWithUTF8String:(\"Here we go!\":char* const ) [line 25]\n _fun_NSLog(n$3:objc_object*) [line 25]\n " shape="box"]
"startPedaling#Bicycle#instance.51dd675ab15335a15287fd45cbc21261_3" -> "startPedaling#Bicycle#instance.51dd675ab15335a15287fd45cbc21261_2" ;
@ -51,7 +51,7 @@ digraph iCFG {
"removeFrontWheel#Bicycle#instance.30147087e52fa1526931dfcd2d381f31_2" [label="2: Exit Bicycle_removeFrontWheel \n " color=yellow style=filled]
"removeFrontWheel#Bicycle#instance.30147087e52fa1526931dfcd2d381f31_3" [label="3: Call _fun_NSLog \n n$4=_fun_NSString_stringWithUTF8String:(\"Front wheel is off.Should probably replace that before pedaling...\":char*) [line 28]\n _fun_NSLog(n$4:objc_object*) [line 28]\n " shape="box"]
"removeFrontWheel#Bicycle#instance.30147087e52fa1526931dfcd2d381f31_3" [label="3: Call _fun_NSLog \n n$4=_fun_NSString_stringWithUTF8String:(\"Front wheel is off.Should probably replace that before pedaling...\":char* const ) [line 28]\n _fun_NSLog(n$4:objc_object*) [line 28]\n " shape="box"]
"removeFrontWheel#Bicycle#instance.30147087e52fa1526931dfcd2d381f31_3" -> "removeFrontWheel#Bicycle#instance.30147087e52fa1526931dfcd2d381f31_2" ;
@ -62,7 +62,7 @@ digraph iCFG {
"lockToStructure:#Bicycle#instance.1d748844e64f333b251ddf4475286342_2" [label="2: Exit Bicycle_lockToStructure: \n " color=yellow style=filled]
"lockToStructure:#Bicycle#instance.1d748844e64f333b251ddf4475286342_3" [label="3: Call _fun_NSLog \n n$5=_fun_NSString_stringWithUTF8String:(\"Locked to structure. Don't forget the combination!\":char*) [line 32]\n _fun_NSLog(n$5:objc_object*) [line 32]\n " shape="box"]
"lockToStructure:#Bicycle#instance.1d748844e64f333b251ddf4475286342_3" [label="3: Call _fun_NSLog \n n$5=_fun_NSString_stringWithUTF8String:(\"Locked to structure. Don't forget the combination!\":char* const ) [line 32]\n _fun_NSLog(n$5:objc_object*) [line 32]\n " shape="box"]
"lockToStructure:#Bicycle#instance.1d748844e64f333b251ddf4475286342_3" -> "lockToStructure:#Bicycle#instance.1d748844e64f333b251ddf4475286342_2" ;

10
infer/tests/codetoanalyze/objcpp/frontend/global_const/global_const.mm.dot
Unescape View File

@ -18,26 +18,26 @@ digraph iCFG {
"fields#_Z6fieldsv.9f46b295429b26ed77896571ab767beb_2" [label="2: Exit fields \n " color=yellow style=filled]
"fields#_Z6fieldsv.9f46b295429b26ed77896571ab767beb_3" [label="3: Return Stmt \n n$0=*&__return_param:Fields* [line 20]\n _fun_Fields_(n$0:Fields*,&#GB<codetoanalyze/objcpp/frontend/global_const/global_const.mm>$__someFields:Fields&) [line 20]\n " shape="box"]
"fields#_Z6fieldsv.9f46b295429b26ed77896571ab767beb_3" [label="3: Return Stmt \n n$0=*&__return_param:Fields* [line 20]\n _fun_Fields_(n$0:Fields*,&#GB<codetoanalyze/objcpp/frontend/global_const/global_const.mm>$__someFields:Fields const &) [line 20]\n " shape="box"]
"fields#_Z6fieldsv.9f46b295429b26ed77896571ab767beb_3" -> "fields#_Z6fieldsv.9f46b295429b26ed77896571ab767beb_2" ;
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_1" [label="1: Start Fields_\nFormals: this:Fields* __param_0:Fields&\nLocals: \n DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_1" [label="1: Start Fields_\nFormals: this:Fields* __param_0:Fields const &\nLocals: \n DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_1" -> "#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_5" ;
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_2" [label="2: Exit Fields_ \n " color=yellow style=filled]
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_3" [label="3: Constructor Init \n n$0=*&this:Fields* [line 10]\n n$1=*&__param_0:Fields& [line 10]\n n$2=*n$1.field3:float [line 10]\n *n$0.field3:float=n$2 [line 10]\n " shape="box"]
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_3" [label="3: Constructor Init \n n$0=*&this:Fields* [line 10]\n n$1=*&__param_0:Fields const & [line 10]\n n$2=*n$1.field3:float [line 10]\n *n$0.field3:float=n$2 [line 10]\n " shape="box"]
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_3" -> "#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_2" ;
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_4" [label="4: Constructor Init \n n$3=*&this:Fields* [line 10]\n n$4=*&__param_0:Fields& [line 10]\n n$5=*n$4.field2:float [line 10]\n *n$3.field2:float=n$5 [line 10]\n " shape="box"]
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_4" [label="4: Constructor Init \n n$3=*&this:Fields* [line 10]\n n$4=*&__param_0:Fields const & [line 10]\n n$5=*n$4.field2:float [line 10]\n *n$3.field2:float=n$5 [line 10]\n " shape="box"]
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_4" -> "#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_3" ;
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_5" [label="5: Constructor Init \n n$6=*&this:Fields* [line 10]\n n$7=*&__param_0:Fields& [line 10]\n n$8=*n$7.field1:float [line 10]\n *n$6.field1:float=n$8 [line 10]\n " shape="box"]
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_5" [label="5: Constructor Init \n n$6=*&this:Fields* [line 10]\n n$7=*&__param_0:Fields const & [line 10]\n n$8=*n$7.field1:float [line 10]\n *n$6.field1:float=n$8 [line 10]\n " shape="box"]
"#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_5" -> "#Fields#{_ZN6FieldsC1ERKS_|constexpr}.d1d82aaaf6abb5d9e6bf3c5afdd2116d_4" ;

Write Preview
Loading…
Cancel
Save