Searched refs:prunable (Results 1 – 3 of 3) sorted by relevance
518 const ExplodedNode *N, std::optional<bool> &prunable,
2961 std::optional<bool> &prunable, in patternMatch() argument2993 prunable = false; in patternMatch()2998 prunable = false; in patternMatch()
158433 prunable