]> granicus.if.org Git - clang/commitdiff
"I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment
authorChris Lattner <sabre@nondot.org>
Fri, 3 Sep 2010 04:34:38 +0000 (04:34 +0000)
committerChris Lattner <sabre@nondot.org>
Fri, 3 Sep 2010 04:34:38 +0000 (04:34 +0000)
should probably be removed if it has no purpose, but I just #if'd it out
in case it's usefulIdempotentOperationChecker::isTruncationExtensionAssignment
should probably be removed if it has no purpose, but I just #if'd it out
in case it's useful

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@112949 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Checker/IdempotentOperationChecker.cpp
lib/Checker/MallocChecker.cpp
lib/Checker/SimpleSValuator.cpp
lib/Checker/StreamChecker.cpp
lib/Rewrite/DeltaTree.cpp
lib/Sema/SemaStmt.cpp

index f6970de783e6a2931a0d1331a616cb4de1983d53..6411c790ef7c8f47127be37f9759f519b6b953ba 100644 (file)
@@ -78,8 +78,8 @@ class IdempotentOperationChecker
     // False positive reduction methods
     static bool isSelfAssign(const Expr *LHS, const Expr *RHS);
     static bool isUnused(const Expr *E, AnalysisContext *AC);
-    static bool isTruncationExtensionAssignment(const Expr *LHS,
-                                                const Expr *RHS);
+    //static bool isTruncationExtensionAssignment(const Expr *LHS,
+    //                                            const Expr *RHS);
     static bool PathWasCompletelyAnalyzed(const CFG *C,
                                           const CFGBlock *CB,
                                           const GRCoreEngine &CE);
@@ -500,6 +500,7 @@ bool IdempotentOperationChecker::isUnused(const Expr *E,
   return true;
 }
 
+#if 0
 // Check for self casts truncating/extending a variable
 bool IdempotentOperationChecker::isTruncationExtensionAssignment(
                                                               const Expr *LHS,
@@ -522,6 +523,7 @@ bool IdempotentOperationChecker::isTruncationExtensionAssignment(
 
   return dyn_cast<DeclRefExpr>(RHS->IgnoreParens()) == NULL;
 }
+#endif
 
 // Returns false if a path to this block was not completely analyzed, or true
 // otherwise.
index ac98c89a8d9ee3dc42eba1c3ff01328311cc2e48..c9b6d7588be19c2aa5082d84bcde24b3fe1cc2ea 100644 (file)
@@ -32,10 +32,10 @@ public:
   RefState(Kind k, const Stmt *s) : K(k), S(s) {}
 
   bool isAllocated() const { return K == AllocateUnchecked; }
-  bool isFailed() const { return K == AllocateFailed; }
+  //bool isFailed() const { return K == AllocateFailed; }
   bool isReleased() const { return K == Released; }
-  bool isEscaped() const { return K == Escaped; }
-  bool isRelinquished() const { return K == Relinquished; }
+  //bool isEscaped() const { return K == Escaped; }
+  //bool isRelinquished() const { return K == Relinquished; }
 
   bool operator==(const RefState &X) const {
     return K == X.K && S == X.S;
index 5b48e7cd0382659d0e76796fdd07b2d2f4b092a8..782cd4f5e68b001be006346321fd292854a9241a 100644 (file)
@@ -848,8 +848,6 @@ SVal SimpleSValuator::EvalBinOpLN(const GRState *state,
       rightI.extOrTrunc(leftI.getBitWidth());
 
       // Offset the increment by the pointer size.
-      ASTContext &ctx = ValMgr.getContext();
-      const PointerType *PT = resultTy->getAs<PointerType>();
       llvm::APSInt Multiplicand(rightI.getBitWidth(), /* isUnsigned */ true);
       rightI *= Multiplicand;
       
index 5bc075f6bf66920c73077feb8614c85a7c7c0889..8553875a24ff044da7a90bad0457b4c360ff1ab1 100644 (file)
@@ -31,8 +31,8 @@ struct StreamState {
 
   bool isOpened() const { return K == Opened; }
   bool isClosed() const { return K == Closed; }
-  bool isOpenFailed() const { return K == OpenFailed; }
-  bool isEscaped() const { return K == Escaped; }
+  //bool isOpenFailed() const { return K == OpenFailed; }
+  //bool isEscaped() const { return K == Escaped; }
 
   bool operator==(const StreamState &X) const {
     return K == X.K && S == X.S;
index 35e888bcf59511a781dfc4fecce911e38678b8a1..085dfd89ef158d165397315c109134072e1f72ae 100644 (file)
@@ -116,7 +116,7 @@ namespace {
 
     void Destroy();
 
-    static inline bool classof(const DeltaTreeNode *) { return true; }
+    //static inline bool classof(const DeltaTreeNode *) { return true; }
   };
 } // end anonymous namespace
 
@@ -133,12 +133,6 @@ namespace {
   public:
     DeltaTreeInteriorNode() : DeltaTreeNode(false /*nonleaf*/) {}
 
-    DeltaTreeInteriorNode(DeltaTreeNode *FirstChild)
-    : DeltaTreeNode(false /*nonleaf*/) {
-      FullDelta = FirstChild->FullDelta;
-      Children[0] = FirstChild;
-    }
-
     DeltaTreeInteriorNode(const InsertResult &IR)
       : DeltaTreeNode(false /*nonleaf*/) {
       Children[0] = IR.LHS;
@@ -157,7 +151,7 @@ namespace {
       return Children[i];
     }
 
-    static inline bool classof(const DeltaTreeInteriorNode *) { return true; }
+  //static inline bool classof(const DeltaTreeInteriorNode *) { return true; }
     static inline bool classof(const DeltaTreeNode *N) { return !N->isLeaf(); }
   };
 }
index b7d38e44ae5e17940fca6703af2e8b4d6ed4d718..083e4dba85e3ecdd106aa727190137479321a845 100644 (file)
@@ -1576,7 +1576,6 @@ public:
     return t == other.t;
   }
 
-  QualType getQualType() const { return t; }
   CXXCatchStmt *getCatchStmt() const { return stmt; }
   SourceLocation getTypeSpecStartLoc() const {
     return stmt->getExceptionDecl()->getTypeSpecStartLoc();