[cfe-commits] r164959 - /cfe/trunk/test/Analysis/array-struct.c

[Jordan Rose]

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
+}
+