[cfe-commits] r45802 - /cfe/trunk/include/clang/Analysis/ProgramEdge.h
Ted Kremenek
kremenek at apple.com
Wed Jan 9 16:58:25 PST 2008
Author: kremenek
Date: Wed Jan 9 18:58:25 2008
New Revision: 45802
URL: http://llvm.org/viewvc/llvm-project?rev=45802&view=rev
Log:
Added "InfeasibleEdge" to represent an infeasible state transition.
Modified:
cfe/trunk/include/clang/Analysis/ProgramEdge.h
Modified: cfe/trunk/include/clang/Analysis/ProgramEdge.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/ProgramEdge.h?rev=45802&r1=45801&r2=45802&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/ProgramEdge.h (original)
+++ cfe/trunk/include/clang/Analysis/ProgramEdge.h Wed Jan 9 18:58:25 2008
@@ -28,7 +28,7 @@
uintptr_t Src, Dst;
public:
enum EdgeKind { BExprBlk=0, BlkBExpr=1, BExprBExpr=2, BlkBlk=3,
- BExprSExpr=4, SExprSExpr=5, SExprBExpr=6 };
+ BExprSExpr=4, SExprSExpr=5, SExprBExpr=6, Infeasible=7 };
static bool classof(const ProgramEdge*) { return true; }
@@ -155,7 +155,18 @@
return E->getKind() == BlkBlk;
}
};
-
+
+class InfeasibleEdge : public ProgramEdge {
+public:
+ InfeasibleEdge(Stmt* S) : ProgramEdge(S,NULL,Infeasible) {}
+
+ Stmt* getStmt() const { return reinterpret_cast<Stmt*>(RawSrc()); }
+
+ static bool classof(const ProgramEdge* E) {
+ return E->getKind() == Infeasible;
+ }
+};
+
} // end namespace clang
More information about the cfe-commits
mailing list