From 4f3dc698a1bbeea16155e51dfc7d0f69ff689598 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Mon, 9 Nov 2009 08:07:38 +0000 Subject: Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86529 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/array-struct.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Analysis/array-struct.c') diff --git a/test/Analysis/array-struct.c b/test/Analysis/array-struct.c index 18a6ed5074..1ab67874c6 100644 --- a/test/Analysis/array-struct.c +++ b/test/Analysis/array-struct.c @@ -153,7 +153,7 @@ struct s3 p[1]; // an ElementRegion of type 'char'. Then load a nonloc::SymbolVal from it and // assigns to 'a'. void f16(struct s3 *p) { - struct s3 a = *((struct s3*) ((char*) &p[0])); + struct s3 a = *((struct s3*) ((char*) &p[0])); // expected-warning{{Casting a non-structure type to a structure type and accessing a field can lead to memory access errors or data corruption.}} } void inv(struct s1 *); -- cgit v1.2.3-18-g5258