From f06c684a33a89ab89e21b7832eb1cd2b6fecac37 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. llvm-svn: 86529 --- clang/test/Analysis/array-struct.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'clang/test/Analysis/array-struct.c') diff --git a/clang/test/Analysis/array-struct.c b/clang/test/Analysis/array-struct.c index 18a6ed5..1ab6787 100644 --- a/clang/test/Analysis/array-struct.c +++ b/clang/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.1