Searched refs:InitState (Results 1 – 7 of 7) sorted by relevance
/external/clang/test/Analysis/ |
D | ptr-arith.cpp | 82 void InitState(int* state) { in InitState() function 94 InitState(maybeArray); in checkConditionalArray()
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | CoreEngine.cpp | 166 ProgramStateRef InitState) { in ExecuteWorkList() argument 194 if (!InitState) in ExecuteWorkList() 195 InitState = SubEng.getInitialState(L); in ExecuteWorkList() 198 ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew); in ExecuteWorkList() 286 ProgramStateRef InitState, in ExecuteWorkListWithInitialState() argument 288 bool DidNotFinish = ExecuteWorkList(L, Steps, InitState); in ExecuteWorkListWithInitialState()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | CoreEngine.h | 126 ProgramStateRef InitState); 130 ProgramStateRef InitState,
|
D | ExprEngine.h | 117 ProgramStateRef InitState, in ExecuteWorkListWithInitialState() argument 119 return Engine.ExecuteWorkListWithInitialState(L, Steps, InitState, Dst); in ExecuteWorkListWithInitialState()
|
/external/vulkan-validation-layers/tests/ |
D | layer_validation_tests.cpp | 423 InitState(features, flags); in Init() 1127 void InitState() { in InitState() function 1177 helper.InitState(); in OneshotTest() 1332 ASSERT_NO_FATAL_FAILURE(InitState()); in TEST_F() 1476 ASSERT_NO_FATAL_FAILURE(InitState()); in TEST_F() 1517 ASSERT_NO_FATAL_FAILURE(InitState(&device_features)); in TEST_F() 1557 ASSERT_NO_FATAL_FAILURE(InitState()); in TEST_F() 1785 ASSERT_NO_FATAL_FAILURE(InitState(&device_features)); in TEST_F() 1859 ASSERT_NO_FATAL_FAILURE(InitState(&device_features)); in TEST_F() 3084 ASSERT_NO_FATAL_FAILURE(InitState()); in TEST_F() [all …]
|
D | vkrenderframework.h | 97 …void InitState(VkPhysicalDeviceFeatures *features = nullptr, const VkCommandPoolCreateFlags flags …
|
D | vkrenderframework.cpp | 266 void VkRenderFramework::InitState(VkPhysicalDeviceFeatures *features, const VkCommandPoolCreateFlag… in InitState() function in VkRenderFramework
|