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
