[Bug tree-optimization/88970] ICE: verify_ssa failed (error: definition in block 2 follows the use)

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org
            Version|unknown                     |9.0

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Looks like a missing/incomplete DECL_EXPR.

;; Function void d() (null)
;; enabled by -tree-original


{
  typedef int e[0:(sizetype) SAVE_EXPR <D.2306>];
^^^ shouldn't this have (ssizetype) b<int> (1) + -1)?

  int f[0:(sizetype) SAVE_EXPR <D.2306>];
  int c;
  typedef struct __lambda0 __lambda0;

    ssizetype D.2306;
  <<cleanup_point <<< Unknown tree: expr_stmt
  (void) (D.2306 = (ssizetype) b<int> (1) + -1) >>>>>;
  <<cleanup_point   int f[0:(sizetype) SAVE_EXPR <D.2306>];>>;
    int c;
  <<cleanup_point <<< Unknown tree: expr_stmt
  d()::<lambda()>::operator() (&TARGET_EXPR <D.2340, {.__c=(int &) &c}>) >>>>>;
}