Adjusted the semantics of assign checking in IdempotentOperationChecker

- Fixed a regression where assigning '0' would be reported
- Changed the way self assignments are filtered to allow constant testing
- Added a test case for assign ops
- Fixed one test case where a function pointer was not considered constant
- Fixed test cases relating to 0 assignment

llvm-svn: 112501

1 files changed, 1 insertions, 1 deletions

diff --git a/clang/test/Analysis/func.c b/clang/test/Analysis/func.c
index a7e84615fd3..53c873df55a 100644
--- a/clang/test/Analysis/func.c
+++ b/clang/test/Analysis/func.c
@@ -4,7 +4,7 @@
 void f(void) {
   void (*p)(void);
   p = f;
-  p = &f; // expected-warning{{Assigned value is always the same as the existing value}}
+  p = &f;
   p();
   (*p)();
 }