Searched refs:prunable (Results 1 – 3 of 3) sorted by relevance
517 const ExplodedNode *N, std::optional<bool> &prunable,
2947 std::optional<bool> &prunable, in patternMatch() argument2979 prunable = false; in patternMatch()2984 prunable = false; in patternMatch()
158433 prunable