Author: zhongxingxu
Date: Mon Jun 29 00:44:14 2009
New Revision: 74418
URL: http://llvm.org/viewvc/llvm-project?rev=74418&view=rev
Log:
The default answer for isBoundable() should be false.
Modified:
cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h
Modified: cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h?rev=74418&r1=74417&r2=74418&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h Mon Jun 29
00:44:14 2009
@@ -83,7 +83,7 @@
template<typename RegionTy> const RegionTy* getAs() const;
- virtual bool isBoundable() const { return true; }
+ virtual bool isBoundable() const { return false; }
static bool classof(const MemRegion*) { return true; }
};
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
