[Bug middle-end/60092] posix_memalign not recognized to derive alias and alignment info

[jakub at gcc dot gnu.org]

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