[Bug ipa/63856] [5 Regression] ICE: verify_gimple failed: invalid argument to gimple call with -O2 -fPIC

[marxin at gcc dot gnu.org]

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

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
I cannot reproduce the bug:
../configure --prefix=/home/marxin/Programming/bin/gcc3 --disable-multilib
--enable-languages=c,c++ --disable-bootstrap

./xgcc -B ./ -O2 -fPIC ~/Programming/testcases/PR63856/testcase.c
-fdump-ipa-icf-details

uname -a
Linux marxinbox.suse.cz 3.16.6-2-desktop #1 SMP PREEMPT Mon Oct 20 13:47:22 UTC
2014 (feb42ea) x86_64 x86_64 x86_64 GNU/Linux

gcc version 5.0.0 20141121 (experimental) (GCC) 


ipa-icf-details log:
Equal symbols: 1
Fraction of visited symbols: 33.33%

  debug message: All BBs are equal
 (equals_private:487)
Equals called for:g:f (1:0) (g:f) with result: true

Semantic equality hit:g->f
Assembler symbol names:g->f
g (v2si A, int N)
{
  vector(4) short int D.1840;

  <bb 2>:
  _2 = VIEW_CONVERT_EXPR<vector(4) short int>(A_1(D));
  D.1840 = _2;
  _6 = (long unsigned int) N_5(D);
  _7 = _6 * 2;
  _8 = &D.1840 + _7;
  _9 = *_8;
  _10 = (int) _9;
  return _10;

}


f (v2si A, int N)
{
  vector(4) short int D.1835;

  <bb 2>:
  _2 = VIEW_CONVERT_EXPR<vector(4) short int>(A_1(D));
  D.1835 = _2;
  _6 = (long unsigned int) N_5(D);
  _7 = _6 * 2;
  _8 = &D.1835 + _7;
  _9 = *_8;
  _10 = (int) _9;
  return _10;

}

Thanks,
Martin