pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '196c0e5544'
${ noResults }
infer_clone/infer/tests/codetoanalyze/cpp/frontend/globals/global_const2.cpp.dot

47 lines
3.6 KiB
Raw Normal View History Unescape

[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
/* @generated */
[cfg] rename iCFG to cfg in dotty files Summary: Not sure what an "iCFG" is but the dotty is only about CFGs anyway. Diff obtained by mass-`sed`. Reviewed By: sblackshear Differential Revision: D6324280 fbshipit-source-id: b7603bb
7 years ago
digraph cfg {
[siof] one access per sink, better report deduplication Summary: The previous domain for SIOF was duplicating some work with the generic Trace domain, and basically was a bit confused and confusing. A sink was a set of global accesses, and a state contains a set of sinks. Then the checker has to needlessly jump through hoops to normalize this set of sets of accesses into a set of accesses. The new domain has one sink = one access, as suggested by sblackshear. This simplifies a few things, and makes the dedup logic much easier: just grab the first report of the list of reports for a function. We only report on the fake procedures generated to initialise a global, and the filtering means that we keep only one report per global. Reviewed By: sblackshear Differential Revision: D5932138 fbshipit-source-id: acb7285
7 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_1" [label="1: Start __infer_globals_initializer_global\nFormals: \nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$0:int \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0); [line 10, column 1]\n " color=yellow style=filled]
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
Sort nodes when printing cfg to dot file Summary: Currently cfg nodes are written into dot files in whatever order they appear in a hash table. This seems unnecessarily sensitive, so this diff sorts the nodes. Reviewed By: dulmarod Differential Revision: D4232377 fbshipit-source-id: a907cc6
8 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_1" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_4" ;
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_1" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_5" ;
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_2" [label="2: Exit __infer_globals_initializer_global \n " color=yellow style=filled]
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
Sort nodes when printing cfg to dot file Summary: Currently cfg nodes are written into dot files in whatever order they appear in a hash table. This seems unnecessarily sensitive, so this diff sorts the nodes. Reviewed By: dulmarod Differential Revision: D4232377 fbshipit-source-id: a907cc6
8 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_3" [label="3: + \n " ]
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
Sort nodes when printing cfg to dot file Summary: Currently cfg nodes are written into dot files in whatever order they appear in a hash table. This seems unnecessarily sensitive, so this diff sorts the nodes. Reviewed By: dulmarod Differential Revision: D4232377 fbshipit-source-id: a907cc6
8 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_3" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_8" ;
[siof] one access per sink, better report deduplication Summary: The previous domain for SIOF was duplicating some work with the generic Trace domain, and basically was a bit confused and confusing. A sink was a set of global accesses, and a state contains a set of sinks. Then the checker has to needlessly jump through hoops to normalize this set of sets of accesses into a set of accesses. The new domain has one sink = one access, as suggested by sblackshear. This simplifies a few things, and makes the dedup logic much easier: just grab the first report of the list of reports for a function. We only report on the fake procedures generated to initialise a global, and the filtering means that we keep only one report per global. Reviewed By: sblackshear Differential Revision: D5932138 fbshipit-source-id: acb7285
7 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_4" [label="4: Prune (true branch) \n PRUNE(1, true); [line 10, column 20]\n " shape="invhouse"]
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
[debug][dotty] Fix issue in dotty output where overloaded functions were conflated Reviewed By: jvillard Differential Revision: D4117078 fbshipit-source-id: fdd8e93
8 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_4" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_6" ;
[siof] one access per sink, better report deduplication Summary: The previous domain for SIOF was duplicating some work with the generic Trace domain, and basically was a bit confused and confusing. A sink was a set of global accesses, and a state contains a set of sinks. Then the checker has to needlessly jump through hoops to normalize this set of sets of accesses into a set of accesses. The new domain has one sink = one access, as suggested by sblackshear. This simplifies a few things, and makes the dedup logic much easier: just grab the first report of the list of reports for a function. We only report on the fake procedures generated to initialise a global, and the filtering means that we keep only one report per global. Reviewed By: sblackshear Differential Revision: D5932138 fbshipit-source-id: acb7285
7 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_5" [label="5: Prune (false branch) \n PRUNE(!1, false); [line 10, column 20]\n " shape="invhouse"]
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
Sort nodes when printing cfg to dot file Summary: Currently cfg nodes are written into dot files in whatever order they appear in a hash table. This seems unnecessarily sensitive, so this diff sorts the nodes. Reviewed By: dulmarod Differential Revision: D4232377 fbshipit-source-id: a907cc6
8 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_5" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_7" ;
[siof] one access per sink, better report deduplication Summary: The previous domain for SIOF was duplicating some work with the generic Trace domain, and basically was a bit confused and confusing. A sink was a set of global accesses, and a state contains a set of sinks. Then the checker has to needlessly jump through hoops to normalize this set of sets of accesses into a set of accesses. The new domain has one sink = one access, as suggested by sblackshear. This simplifies a few things, and makes the dedup logic much easier: just grab the first report of the list of reports for a function. We only report on the fake procedures generated to initialise a global, and the filtering means that we keep only one report per global. Reviewed By: sblackshear Differential Revision: D5932138 fbshipit-source-id: acb7285
7 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_6" [label="6: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$0:int=2 [line 10, column 20]\n " shape="box"]
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
Sort nodes when printing cfg to dot file Summary: Currently cfg nodes are written into dot files in whatever order they appear in a hash table. This seems unnecessarily sensitive, so this diff sorts the nodes. Reviewed By: dulmarod Differential Revision: D4232377 fbshipit-source-id: a907cc6
8 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_6" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_3" ;
[siof] one access per sink, better report deduplication Summary: The previous domain for SIOF was duplicating some work with the generic Trace domain, and basically was a bit confused and confusing. A sink was a set of global accesses, and a state contains a set of sinks. Then the checker has to needlessly jump through hoops to normalize this set of sets of accesses into a set of accesses. The new domain has one sink = one access, as suggested by sblackshear. This simplifies a few things, and makes the dedup logic much easier: just grab the first report of the list of reports for a function. We only report on the fake procedures generated to initialise a global, and the filtering means that we keep only one report per global. Reviewed By: sblackshear Differential Revision: D5932138 fbshipit-source-id: acb7285
7 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_7" [label="7: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$0:int=3 [line 10, column 20]\n " shape="box"]
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
Sort nodes when printing cfg to dot file Summary: Currently cfg nodes are written into dot files in whatever order they appear in a hash table. This seems unnecessarily sensitive, so this diff sorts the nodes. Reviewed By: dulmarod Differential Revision: D4232377 fbshipit-source-id: a907cc6
8 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_7" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_3" ;
[siof] one access per sink, better report deduplication Summary: The previous domain for SIOF was duplicating some work with the generic Trace domain, and basically was a bit confused and confusing. A sink was a set of global accesses, and a state contains a set of sinks. Then the checker has to needlessly jump through hoops to normalize this set of sets of accesses into a set of accesses. The new domain has one sink = one access, as suggested by sblackshear. This simplifies a few things, and makes the dedup logic much easier: just grab the first report of the list of reports for a function. We only report on the fake procedures generated to initialise a global, and the filtering means that we keep only one report per global. Reviewed By: sblackshear Differential Revision: D5932138 fbshipit-source-id: acb7285
7 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_8" [label="8: DeclStmt \n n$1=*&0$?%__sil_tmpSIL_temp_conditional___n$0:int [line 10, column 20]\n *&#GB<codetoanalyze/cpp/frontend/globals/global_const2.cpp>$global:int=n$1 [line 10, column 1]\n " shape="box"]
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
Sort nodes when printing cfg to dot file Summary: Currently cfg nodes are written into dot files in whatever order they appear in a hash table. This seems unnecessarily sensitive, so this diff sorts the nodes. Reviewed By: dulmarod Differential Revision: D4232377 fbshipit-source-id: a907cc6
8 years ago
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_8" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_2" ;
[siof] one access per sink, better report deduplication Summary: The previous domain for SIOF was duplicating some work with the generic Trace domain, and basically was a bit confused and confusing. A sink was a set of global accesses, and a state contains a set of sinks. Then the checker has to needlessly jump through hoops to normalize this set of sets of accesses into a set of accesses. The new domain has one sink = one access, as suggested by sblackshear. This simplifies a few things, and makes the dedup logic much easier: just grab the first report of the list of reports for a function. We only report on the fake procedures generated to initialise a global, and the filtering means that we keep only one report per global. Reviewed By: sblackshear Differential Revision: D5932138 fbshipit-source-id: acb7285
7 years ago
"test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" [label="1: Start test\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 11, column 1]\n " color=yellow style=filled]
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
[clang] update clang plugin to hash mangled names Summary: With this change and the previous facebook-clang-plugins change, infer no longer exhausts the biniou buffer when reading the serialized C++ AST. update-submodule: facebook-clang-plugins Reviewed By: mbouaziz Differential Revision: D5891081 fbshipit-source-id: cf48eac
7 years ago
"test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_1" -> "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_3" ;
"test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_2" [label="2: Exit test \n " color=yellow style=filled]
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
[siof] one access per sink, better report deduplication Summary: The previous domain for SIOF was duplicating some work with the generic Trace domain, and basically was a bit confused and confusing. A sink was a set of global accesses, and a state contains a set of sinks. Then the checker has to needlessly jump through hoops to normalize this set of sets of accesses into a set of accesses. The new domain has one sink = one access, as suggested by sblackshear. This simplifies a few things, and makes the dedup logic much easier: just grab the first report of the list of reports for a function. We only report on the fake procedures generated to initialise a global, and the filtering means that we keep only one report per global. Reviewed By: sblackshear Differential Revision: D5932138 fbshipit-source-id: acb7285
7 years ago
"test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_3" [label="3: Return Stmt \n n$0=*&#GB<codetoanalyze/cpp/frontend/globals/global_const2.cpp>$global:int [line 11, column 21]\n *&return:int=n$0 [line 11, column 14]\n " shape="box"]
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
[clang] update clang plugin to hash mangled names Summary: With this change and the previous facebook-clang-plugins change, infer no longer exhausts the biniou buffer when reading the serialized C++ AST. update-submodule: facebook-clang-plugins Reviewed By: mbouaziz Differential Revision: D5891081 fbshipit-source-id: cf48eac
7 years ago
"test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_3" -> "test#18241244337164948030.afc14f193ad97442f67ac7183be789bc_2" ;
[clang] translate global var initializers Summary: Create dummy functions representing the initializers of global variables. This is so we can implement checks in the backend that can look at the initializer expressions of global variables. We try not to create these dummy functions when the initializer is not present, although for some reason we sometimes end up with empty initializers. Also add source file info to global variables in the backend (Pvar.re). Reviewed By: sblackshear Differential Revision: D3780238 fbshipit-source-id: 2dca87e
8 years ago
}