Just curious. Is there any reason that CXXForRangeStmtClass isn't treated the same as ForStmtClass in ExprEngine? It shouldn't appear explicitly in the CFG since it is already handled by the semantic engine. - jim