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

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60092

--- Comment #27 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Mon Apr 28 14:36:13 2014
New Revision: 209863

URL: http://gcc.gnu.org/viewcvs?rev=209863&root=gcc&view=rev
Log:
2014-04-28  Richard Biener  <rguenther@suse.de>

    PR middle-end/60092
    * builtins.def (DEF_C11_BUILTIN): Add.
    (BUILT_IN_ALIGNED_ALLOC): Likewise.
    * coretypes.h (enum function_class): Add function_c11_misc.
    * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Handle
    BUILT_IN_ALIGNED_ALLOC like BUILT_IN_MALLOC.
    (call_may_clobber_ref_p_1): Likewise.
    * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Likewise.
    (mark_all_reaching_defs_necessary_1): Likewise.
    (propagate_necessity): Likewise.
    (eliminate_unnecessary_stmts): Likewise.
    * tree-ssa-ccp.c (evaluate_stmt): Handle BUILT_IN_ALIGNED_ALLOC.

    ada/
    * gcc-interface/utils.c: Define flag_isoc11.

    lto/
    * lto-lang.c: Define flag_isoc11.

    * gcc.dg/tree-ssa/alias-32.c: New testcase.
    * gcc.dg/vect/pr60092.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/alias-32.c
    trunk/gcc/testsuite/gcc.dg/vect/pr60092.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gcc-interface/utils.c
    trunk/gcc/builtins.def
    trunk/gcc/coretypes.h
    trunk/gcc/lto/ChangeLog
    trunk/gcc/lto/lto-lang.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-alias.c
    trunk/gcc/tree-ssa-ccp.c
    trunk/gcc/tree-ssa-dce.c