Searched refs:generateDefaultCaseNode (Results 1 - 3 of 3) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h567 ExplodedNode *generateDefaultCaseNode(ProgramStateRef State,
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp682 SwitchNodeBuilder::generateDefaultCaseNode(ProgramStateRef St, function in class:SwitchNodeBuilder
H A DExprEngine.cpp2357 //ExplodedNode* N = builder.generateDefaultCaseNode(state, true);
2425 builder.generateDefaultCaseNode(DefaultSt);

Completed in 197 milliseconds