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

[gerald at pfeifer dot com]

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

            Bug ID: 83164
           Summary: [8 regression] internal compiler error: verify_gimple
                    failed
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gerald at pfeifer dot com
                CC: marc.glisse at normalesup dot org
  Target Milestone: ---
              Host: i586-unknown-freebsd10.4

Created attachment 42718
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42718&action=edit
Preprocessed source file

This one's easy to reproduce, no specific compiler options are required:

% $GCC -c -o ddeml.o ddeml.i
ddeml.c: In function ‘DDEML_AddThunk’:
ddeml.c:181:28: error: type mismatch in pointer diff expression
 static struct ddeml_thunk*      DDEML_AddThunk(DWORD instId, DWORD pfn16)
                            ^~~~~~~~~~~~~~
int

struct HDDEDATA__ * (*<T1c96>) (DWORD, UINT, UINT, struct HCONV__ *, struct
HSZ__ *, struct HSZ__ *, struct HDDEDATA__ *, ULONG_PTR, ULONG_PTR)

DWORD *

_6 = WDML_InvokeCallback16 - _5;
ddeml.c:181:28: internal compiler error: verify_gimple failed



Also the diagnostics look quite odd, don't they?


I believe this was introduced by the following?

2017-10-28  Marc Glisse  <marc.glisse@inria.fr>

gcc/c/
        * c-fold.c (c_fully_fold_internal): Handle POINTER_DIFF_EXPR.
        * c-typeck.c (pointer_diff): Use POINTER_DIFF_EXPR.

gcc/c-family/
        * c-pretty-print.c (pp_c_additive_expression,
        c_pretty_printer::expression): Handle POINTER_DIFF_EXPR.

gcc/cp/
        * constexpr.c (cxx_eval_constant_expression,
        potential_constant_expression_1): Handle POINTER_DIFF_EXPR.
        * cp-gimplify.c (cp_fold): Likewise.
        * error.c (dump_expr): Likewise.
        * typeck.c (pointer_diff): Use POINTER_DIFF_EXPR.