Changes in array-bounds-ptr-arith.c

f764dc99 - [clang] Introduce -fstrict-flex-arrays= for stricter handling of flexible arrays

Tue, 28 Jun 2022 09:01:55 +0000

[clang] Introduce -fstrict-flex-arrays= for stricter handling of flexible arraysSome code [0] consider that trailing arrays are flexible, whatever their size.Support for these legacy code has been introduced inf8f632498307d22e10fab0704548b270b15f1e1e but it prevents evaluation of__builtin_object_size and __builtin_dynamic_object_size in some legit cases.Introduce -fstrict-flex-arrays= to have stricter conformance when it isdesirable.n = 0: current behavior, any trailing array member is a flexible array. The default.n = 1: any trailing array member of undefined, 0 or 1 size is a flexible array membern = 2: any trailing array member of undefined or 0 size is a flexible array memberThis takes into account two specificities of clang: array bounds as macro iddisqualify FAM, as well as non standard layout.Similar patch for gcc discuss here: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101836[0] https://docs.freebsd.org/en/books/developers-handbook/sockets/#sockets-essential-functions List of files: /llvm-project-15.0.7/clang/test/Sema/array-bounds-ptr-arith.c

cdfa15da - Revert "[clang] Introduce -fstrict-flex-arrays= for stricter handling of flexible arrays"

Mon, 27 Jun 2022 20:56:11 +0000

Revert "[clang] Introduce -fstrict-flex-arrays= for stricter handling of flexible arrays"This reverts D126864 and related fixes.This reverts commit 572b08790a69f955ae0cbb1b4a7d4a215f15dad9.This reverts commit 886715af962de2c92fac4bd37104450345711e4a. List of files: /llvm-project-15.0.7/clang/test/Sema/array-bounds-ptr-arith.c

886715af - [clang] Introduce -fstrict-flex-arrays= for stricter handling of flexible arrays

Thu, 02 Jun 2022 06:53:45 +0000

[clang] Introduce -fstrict-flex-arrays= for stricter handling of flexible arraysSome code [0] consider that trailing arrays are flexible, whatever their size.Support for these legacy code has been introduced inf8f632498307d22e10fab0704548b270b15f1e1e but it prevents evaluation of__builtin_object_size and __builtin_dynamic_object_size in some legit cases.Introduce -fstrict-flex-arrays= to have stricter conformance when it isdesirable.n = 0: current behavior, any trailing array member is a flexible array. The default.n = 1: any trailing array member of undefined, 0 or 1 size is a flexible array membern = 2: any trailing array member of undefined or 0 size is a flexible array membern = 3: any trailing array member of undefined size is a flexible array member (strict c99 conformance)Similar patch for gcc discuss here: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101836[0] https://docs.freebsd.org/en/books/developers-handbook/sockets/#sockets-essential-functions List of files: /llvm-project-15.0.7/clang/test/Sema/array-bounds-ptr-arith.c

e765e0bc - Use functions with prototypes when appropriate; NFC

Thu, 03 Feb 2022 21:39:21 +0000

Use functions with prototypes when appropriate; NFCA significant number of our tests in C accidentally use functionswithout prototypes. This patch converts the function signatures to havea prototype for the situations where the test is not specific to K&R Cdeclarations. e.g., void func();becomes void func(void);This is the first batch of tests being updated (there are a significantnumber of other tests left to be updated). List of files: /llvm-project-15.0.7/clang/test/Sema/array-bounds-ptr-arith.c

3a604fdb - [Clang][CFG] check children statements of asm goto

Fri, 07 Jan 2022 22:10:57 +0000

[Clang][CFG] check children statements of asm gotoWhen performing CFG based analyses, don't forget to check the childstatements of an asm goto, such as the expressions used forinputs+outputs.Fixes: https://github.com/llvm/llvm-project/issues/51024Fixes: https://github.com/ClangBuiltLinux/linux/issues/1439Reviewed By: void, jyknight, jyu2, efriedmaDifferential Revision: https://reviews.llvm.org/D116059 List of files: /llvm-project-15.0.7/clang/test/Sema/array-bounds-ptr-arith.c

7ebb4933 - Teach IsTailPaddedMemberArray() (used by -Warray-bounds) that a FieldDecl may have a Typedef type, and not always a ConstantArrayType.

Wed, 09 May 2012 05:35:08 +0000

Teach IsTailPaddedMemberArray() (used by -Warray-bounds) that a FieldDecl may have a Typedef type, and not always a ConstantArrayType.Fixes .llvm-svn: 156464 List of files: /llvm-project-15.0.7/clang/test/Sema/array-bounds-ptr-arith.c

13f6718b - PR11594: Don't blindly build a UnaryOperator UO_Minus on an expression which

Fri, 16 Dec 2011 19:31:14 +0000

PR11594: Don't blindly build a UnaryOperator UO_Minus on an expression whichmight not be an rvalue when checking array accesses. Instead, pass through aflag indicating the array index is negated.llvm-svn: 146753 List of files: /llvm-project-15.0.7/clang/test/Sema/array-bounds-ptr-arith.c

0fb0bb17 - Add a test case for the divide-by-zero fix in r137234

Wed, 10 Aug 2011 19:47:25 +0000

Add a test case for the divide-by-zero fix in r137234llvm-svn: 137240 List of files: /llvm-project-15.0.7/clang/test/Sema/array-bounds-ptr-arith.c