Searched refs:prunable (Results 1 – 3 of 3) sorted by relevance
508 const ExplodedNode *N, std::optional<bool> &prunable,
2929 std::optional<bool> &prunable, in patternMatch() argument2961 prunable = false; in patternMatch()2966 prunable = false; in patternMatch()
158408 prunable