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 | 448 InitState(features, features2, flags); in Init()
1204 void InitState() { in InitState() function
1254 helper.InitState(); in OneshotTest()
1512 ASSERT_NO_FATAL_FAILURE(InitState()); in TEST_F()
1641 ASSERT_NO_FATAL_FAILURE(InitState()); in TEST_F()
1807 ASSERT_NO_FATAL_FAILURE(InitState()); in TEST_F()
1848 ASSERT_NO_FATAL_FAILURE(InitState(&device_features)); in TEST_F()
1888 ASSERT_NO_FATAL_FAILURE(InitState()); in TEST_F()
1942 ASSERT_NO_FATAL_FAILURE(InitState()); in TEST_F()
2227 ASSERT_NO_FATAL_FAILURE(InitState(&device_features)); in TEST_F()
[all …]
|
| D | vkrenderframework.h | 102 … void InitState(VkPhysicalDeviceFeatures *features = nullptr, void *create_device_pnext = nullptr,
|
| D | vkrenderframework.cpp | 196 InitState(NULL, NULL, 0); in DeviceCanDraw()
396 void VkRenderFramework::InitState(VkPhysicalDeviceFeatures *features, void *create_device_pnext, in InitState() function in VkRenderFramework
|