================
@@ -0,0 +1,57 @@
+// RUN: %clang_analyze_cc1 -verify %s \
+// RUN: -analyzer-checker=core,unix.Malloc,debug.ExprInspection
+
+// Identity operations on a LocAsInteger must preserve the original location.
+// GH#220972.
+
+typedef unsigned __INTPTR_TYPE__ uintptr_t;
+typedef __SIZE_TYPE__ size_t;
+
+void *malloc(size_t);
+void free(void *);
+void clang_analyzer_eval(int);
+
+void test_add_zero(void)
+{
+ void *ptr = malloc(16);
+ if (ptr == 0)
+ return;
+
+ uintptr_t value = (uintptr_t)ptr;
+ value += 0;
+ clang_analyzer_eval(value == (uintptr_t)ptr); // expected-warning{{TRUE}}
+
+ free((void *)value); // no-warning
+}
+
+void test_other_identity_ops(void)
+{
+ void *ptr = malloc(16);
+ if (ptr == 0)
+ return;
+
+ uintptr_t value = (uintptr_t)ptr;
+ value -= 0;
+ value |= 0;
+ value ^= 0;
+ value <<= 0;
+ value >>= 0;
+ value *= 1;
+ value /= 1;
----------------
steakhal wrote:
These are all compound assignments. I wonder if the same logic would work for
if we would spell these out.
After this, I'd like to see that if we swap the operands and see if it still
works regardless of the order.
https://github.com/llvm/llvm-project/pull/225048
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
