Author: jrose
Date: Mon Oct 1 14:07:19 2012
New Revision: 164959
URL: http://llvm.org/viewvc/llvm-project?rev=164959&view=rev
Log:
[analyzer] Add a test for PR13927 "offsetof replacement flagged as null deref"
This seems to be legal according to C11 6.5.3.2.
No functionality change.
Modified:
cfe/trunk/test/Analysis/array-struct.c
Modified: cfe/trunk/test/Analysis/array-struct.c
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/array-struct.c?rev=164959&r1=164958&r2=164959&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/array-struct.c (original)
+++ cfe/trunk/test/Analysis/array-struct.c Mon Oct 1 14:07:19 2012
@@ -175,3 +175,11 @@
if (*q) { // no-warning
}
}
+
+
+// [PR13927] offsetof replacement macro flagged as "dereference of a null
pointer"
+int offset_of_data_array(void)
+{
+ return ((char *)&(((struct s*)0)->data_array)) - ((char *)0); // no-warning
+}
+
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
