[Bug c++/67207] New: ice in infer_nonnull_range_by_attribute with -O3

["dcb314 at hotmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 67207
           Summary: ice in infer_nonnull_range_by_attribute with -O3
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

Created attachment 36181
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36181&action=edit
C++ source code, compressed with xz

The attached code, when compiled by gcc trunk dated 20150813,
does this

gtk2_ardour/imageframe_time_axis_group.cc:453:1: internal compiler error:
Segmentation fault
0xd701ff crash_signal
        ../../src/trunk/gcc/toplev.c:352
0xac593d infer_nonnull_range_by_attribute(gimple_statement_base*, tree_node*)
        ../../src/trunk/gcc/gimple.c:2687
0x1433a84 find_explicit_erroneous_behaviour
        ../../src/trunk/gcc/gimple-ssa-isolate-paths.c:410
0x1433a84 gimple_ssa_isolate_erroneous_paths
        ../../src/trunk/gcc/gimple-ssa-isolate-paths.c:526
0x1433a84 execute
        ../../src/trunk/gcc/gimple-ssa-isolate-paths.c:577

gimple.c:2687 is

   if (POINTER_TYPE_P (TREE_TYPE (gimple_call_arg (stmt, i)))