[cfe-commits] r45866 - /cfe/trunk/Analysis/ProgramPoint.cpp

[Ted Kremenek]

Author: kremenek
Date: Fri Jan 11 10:36:20 2008
New Revision: 45866

URL: http://llvm.org/viewvc/llvm-project?rev=45866&view=rev
Log:
Added ProgramPoint.cpp, which implements several methods of the subclasses
of ProgramPoint.

Added:
    cfe/trunk/Analysis/ProgramPoint.cpp

Added: cfe/trunk/Analysis/ProgramPoint.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/ProgramPoint.cpp?rev=45866&view=auto

==============================================================================
--- cfe/trunk/Analysis/ProgramPoint.cpp (added)
+++ cfe/trunk/Analysis/ProgramPoint.cpp Fri Jan 11 10:36:20 2008
@@ -0,0 +1,65 @@
+//= ProgramPoint.cpp - Program Points for Path-Sensitive Analysis --*- C++ -*-//
+//
+//                     The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+//  This file implements methods for subclasses of ProgramPoint.
+//
+//===----------------------------------------------------------------------===//
+
+#include "clang/AST/CFG.h"
+#include "clang/Analysis/ProgramPoint.h"
+
+using namespace clang;
+
+BlockEdge::BlockEdge(CFG& cfg, const CFGBlock* B1, const CFGBlock* B2) {    
+  if (B1->succ_size() == 1) {
+    assert (*(B1->succ_begin()) == B2);
+    Data = reinterpret_cast<uintptr_t>(B1) | BlockEdgeSrcKind;
+  }
+  else if (B2->pred_size() == 1) {
+    assert (*(B2->pred_begin()) == B1);
+    Data = reinterpret_cast<uintptr_t>(B2) | BlockEdgeDstKind;
+  }
+  else 
+    Data = reinterpret_cast<uintptr_t>(cfg.getBlockEdgeImpl(B1,B2)) 
+            | BlockEdgeAuxKind;
+}
+
+CFGBlock* BlockEdge::getSrc() const {
+  switch (getKind()) {
+    default:
+      assert (false && "Invalid BlockEdgeKind.");
+      return NULL;
+      
+    case BlockEdgeSrcKind:
+      return reinterpret_cast<CFGBlock*>(getRawPtr());
+      
+    case BlockEdgeDstKind:
+      return *(reinterpret_cast<CFGBlock*>(getRawPtr())->pred_begin());        
+      
+    case BlockEdgeAuxKind:
+      return reinterpret_cast<BPair*>(getRawPtr())->first;
+  }
+}
+
+CFGBlock* BlockEdge::getDst() const {
+  switch (getKind()) {
+    default:
+      assert (false && "Invalid BlockEdgeKind.");
+      return NULL;
+      
+    case BlockEdgeSrcKind:
+      return *(reinterpret_cast<CFGBlock*>(getRawPtr())->succ_begin());
+      
+    case BlockEdgeDstKind:
+      return reinterpret_cast<CFGBlock*>(getRawPtr());
+      
+    case BlockEdgeAuxKind:
+      return reinterpret_cast<BPair*>(getRawPtr())->second;
+  }
+}