[Bug tree-optimization/83141] SRA and memcpy folding interact badly generating wrong-code

[jamborm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83141

--- Comment #5 from Martin Jambor <jamborm at gcc dot gnu.org> ---
Author: jamborm
Date: Fri Dec  8 12:11:02 2017
New Revision: 255510

URL: https://gcc.gnu.org/viewcvs?rev=255510&root=gcc&view=rev
Log:
Prevent SRA from removing type changing assignment

2017-12-08  Martin Jambor  <mjam...@suse.cz>

        PR tree-optimization/83141
        * tree-sra.c (contains_vce_or_bfcref_p): Move up in the file, also
        test for MEM_REFs implicitely changing types with padding.  Remove
        inline keyword.
        (build_accesses_from_assign): Added contains_vce_or_bfcref_p checks.

testsuite/
        * gcc.dg/tree-ssa/pr83141.c: New test.
        * gcc.dg/guality/pr54970.c: XFAIL tests querying a[0].


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr83141.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/guality/pr54970.c
    trunk/gcc/tree-sra.c