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