http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60092
--- Comment #17 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Author: jakub Date: Sat Feb 8 09:09:01 2014 New Revision: 207628 URL: http://gcc.gnu.org/viewcvs?rev=207628&root=gcc&view=rev Log: PR middle-end/60092 * tree-ssa-ccp.c (surely_varying_stmt_p): Don't return true if TYPE_ATTRIBUTES (gimple_call_fntype ()) contain assume_aligned or alloc_align attributes. (bit_value_assume_aligned): Add ATTR, PTRVAL and ALLOC_ALIGN arguments. Handle also assume_aligned and alloc_align attributes. (evaluate_stmt): Adjust bit_value_assume_aligned caller. Handle calls to functions with assume_aligned or alloc_align attributes. * doc/extend.texi: Document assume_aligned and alloc_align attributes. c-family/ * c-common.c (handle_alloc_size_attribute): Use tree_fits_uhwi_p and tree_to_uhwi. (handle_alloc_align_attribute, handle_assume_aligned_attribute): New functions. (c_common_attribute_table): Add alloc_align and assume_aligned attributes. testsuite/ * gcc.dg/attr-alloc_align-1.c: New test. * gcc.dg/attr-alloc_align-2.c: New test. * gcc.dg/attr-alloc_align-3.c: New test. * gcc.dg/attr-assume_aligned-1.c: New test. * gcc.dg/attr-assume_aligned-2.c: New test. * gcc.dg/attr-assume_aligned-3.c: New test. Added: trunk/gcc/testsuite/gcc.dg/attr-alloc_align-1.c trunk/gcc/testsuite/gcc.dg/attr-alloc_align-2.c trunk/gcc/testsuite/gcc.dg/attr-alloc_align-3.c trunk/gcc/testsuite/gcc.dg/attr-assume_aligned-1.c trunk/gcc/testsuite/gcc.dg/attr-assume_aligned-2.c trunk/gcc/testsuite/gcc.dg/attr-assume_aligned-3.c Modified: trunk/gcc/ChangeLog trunk/gcc/c-family/ChangeLog trunk/gcc/c-family/c-common.c trunk/gcc/doc/extend.texi trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-ccp.c