[Bug tree-optimization/32015] New: pointer-plus ICE in extract_range_from_binary_expr, at tree-vrp.c:1755

["astrange at ithinksw dot com" <gcc-bugzilla at gcc dot gnu dot org>]

../gcc/configure --prefix=/usr/local/gcc42 --enable-threads --with-arch=nocona
--with-tune=nocona --disable-bootstrap --disable-nls --with-gmp=/sw
--with-mpfr=/sw --with-system-zlib --enable-languages=c,c++,objc,obj-c++
--disable-multilib
Thread model: posix
gcc version 4.3.0 20070513 (experimental)

using pointer-plus r124878

> /usr/local/gcc42/bin/gcc -O3 -c pp-vrp-ice.c
pp-vrp-ice.c: In function 'ff_pred8x8_plane_c':
pp-vrp-ice.c:4: internal compiler error: in extract_range_from_binary_expr, at
tree-vrp.c:1755
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

typedef unsigned char uint8_t;
extern uint8_t ff_cropTbl[256 + 2 * 1024];

void ff_pred8x8_plane_c(uint8_t *src, int stride){
  int j, k;
  int a;
  uint8_t *cm = ff_cropTbl + 1024;
  const uint8_t * const src0 = src+3-stride;
  const uint8_t *src1 = src+4*stride-1;
  const uint8_t *src2 = src1-2*stride;
  int H = src0[1] - src0[-1];
  int V = src1[0] - src2[ 0];
  for(k=2; k<=4; ++k) {
    src1 += stride; src2 -= stride;
    H += k*(src0[k] - src0[-k]);
    V += k*(src1[0] - src2[ 0]);
  }
  H = ( 17*H+16 ) >> 5;
  V = ( 17*V+16 ) >> 5;

  a = 16*(src1[0] + src2[8]+1) - 3*(V+H);
  for(j=8; j>0; --j) {
    int b = a;
    a += V;
    src[0] = cm[ (b ) >> 5 ];
    src[1] = cm[ (b+ H) >> 5 ];
    src[2] = cm[ (b+2*H) >> 5 ];
    src[3] = cm[ (b+3*H) >> 5 ];
    src[4] = cm[ (b+4*H) >> 5 ];
    src[5] = cm[ (b+5*H) >> 5 ];
    src[6] = cm[ (b+6*H) >> 5 ];
    src[7] = cm[ (b+7*H) >> 5 ];
    src += stride;
  }
}


-- 
           Summary: pointer-plus ICE in extract_range_from_binary_expr, at
                    tree-vrp.c:1755
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: astrange at ithinksw dot com
 GCC build triplet: i386-apple-darwin8.9.1
  GCC host triplet: i386-apple-darwin8.9.1
GCC target triplet: i386-apple-darwin8.9.1


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32015