[Bug middle-end/65686] [5/6/7 regression] inconsistent warning maybe-uninitialized: warn about 'unsigned', not warn about 'int'

[rguenth at gcc dot gnu.org]

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

--- Comment #14 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Apr 29 08:36:49 2016
New Revision: 235622

URL: https://gcc.gnu.org/viewcvs?rev=235622&root=gcc&view=rev
Log:
2016-04-29  Richard Biener  <rguent...@suse.de>

        PR tree-optimization/13962
        PR tree-optimization/65686
        * tree-ssa-alias.h (ptrs_compare_unequal): Declare.
        * tree-ssa-alias.c (ptrs_compare_unequal): New function
        using PTA to compare pointers.
        * match.pd: Add pattern for pointer equality compare simplification
        using ptrs_compare_unequal.

        * gcc.dg/uninit-pr65686.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/uninit-pr65686.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-alias.c
    trunk/gcc/tree-ssa-alias.h