Searched refs:markAsToBeSkipped (Results 1 – 2 of 2) sorted by relevance
2148 void markAsToBeSkipped() { SkipScop = true; } in markAsToBeSkipped() function
3607 CurrentScop.markAsToBeSkipped(); in runOnScop()