[Bug middle-end/83164] [8 regression] internal compiler error: verify_gimple failed

[glisse at gcc dot gnu.org]

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

Marc Glisse <glisse at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2017-11-26
     Ever confirmed|0                           |1

--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
void b() { long a = (char *)b - (char *)1; }


ddeml.i: In function 'b':
ddeml.i:1:6: error: type mismatch in pointer diff expression
 void b() { long a = (char *)b - (char *)1; }
      ^
long int

void (*<T2f9>) ()

char *

a = b - 1B;
ddeml.i:1:6: internal compiler error: verify_gimple failed
0xdafba4 verify_gimple_in_seq(gimple*)
        /home/glisse/repos/gcc/trunk/gcc/tree-cfg.c:5094
0xb534ae gimplify_body(tree_node*, bool)
        /home/glisse/repos/gcc/trunk/gcc/gimplify.c:12606
0xb5369d gimplify_function_tree(tree_node*)
        /home/glisse/repos/gcc/trunk/gcc/gimplify.c:12696
0x9ddb4f cgraph_node::analyze()
        /home/glisse/repos/gcc/trunk/gcc/cgraphunit.c:670
0x9e0765 analyze_functions
        /home/glisse/repos/gcc/trunk/gcc/cgraphunit.c:1131
0x9e1432 symbol_table::finalize_compilation_unit()
        /home/glisse/repos/gcc/trunk/gcc/cgraphunit.c:2690