[Bug tree-optimization/71170] [7 Regression] ICE in rewrite_expr_tree, at tree-ssa-reassoc.c:3898

["chengniansun at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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

Chengnian Sun <chengniansun at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |chengniansun at gmail dot com

--- Comment #5 from Chengnian Sun <chengniansun at gmail dot com> ---
Another test case possibly triggering the same issue.


$: gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/usr/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/7.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-source-trunk/configure --enable-languages=c,c++,lto
--prefix=/usr/local/gcc-trunk --disable-bootstrap
Thread model: posix
gcc version 7.0.0 20160518 (experimental) [trunk revision 236370] (GCC)
$: gcc-trunk -O1 small.c
small.c: In function âfn1â:
small.c:4:6: internal compiler error: in rewrite_expr_tree, at
tree-ssa-reassoc.c:3898
 void fn1() {
      ^~~
0xd6709f rewrite_expr_tree
        ../../gcc-source-trunk/gcc/tree-ssa-reassoc.c:3897
0xd66980 rewrite_expr_tree
        ../../gcc-source-trunk/gcc/tree-ssa-reassoc.c:3862
0xd709da reassociate_bb
        ../../gcc-source-trunk/gcc/tree-ssa-reassoc.c:5249
0xd70207 reassociate_bb
        ../../gcc-source-trunk/gcc/tree-ssa-reassoc.c:5278
0xd72b03 do_reassoc
        ../../gcc-source-trunk/gcc/tree-ssa-reassoc.c:5392
0xd72b03 execute_reassoc
        ../../gcc-source-trunk/gcc/tree-ssa-reassoc.c:5479
0xd72b03 execute
        ../../gcc-source-trunk/gcc/tree-ssa-reassoc.c:5518
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
$:
$: cat small.c
unsigned a;
int b;
short c;
void fn1() {
  int d = 8 * a;
  char e = d || e ^ a;
  b = ~e + (d + a - ~a + c);
}

int main() {}
$: