Bug 43424 - -O2 -floop-parallelize-all causes verify_stmts failure
Summary: -O2 -floop-parallelize-all causes verify_stmts failure
Status: RESOLVED FIXED
Alias: None
Product: gcc
Classification: Unclassified
Component: tree-optimization (show other bugs)
Version: 4.5.0
: P3 normal
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords: ice-on-valid-code
Depends on:
Blocks:
 
Reported: 2010-03-18 18:12 UTC by David Binderman
Modified: 2017-07-26 07:35 UTC (History)
1 user (show)

See Also:
Host: x86_64-suse-linux
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed: 2010-03-18 20:22:06

Attachments
C++ source code (87.93 KB, text/plain)
2010-03-18 18:13 UTC, David Binderman 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description David Binderman 2010-03-18 18:12:28 UTC 
I just tried to compile the package normaliz-2.2
with the C++ compiler version 4.5 snapshot 20100311 and it said

vector_operations.cpp: In function 'std::vector<long int> v_make_prime(const std::vector<long int>&, Integer&)':
vector_operations.cpp:300:17: error: statement marked for throw in middle of block
# .MEM_36 = VDEF <.MEM_81>
D.34201_8 = v_gcd (v_2(D));

vector_operations.cpp:300:17: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Preprocessed source code attached. Flags -O2 -floop-parallelize-all required.
Comment 1 David Binderman 2010-03-18 18:13:54 UTC 
Created attachment 20140 [details]
C++ source code
Comment 2 Andrew Pinski 2010-03-18 20:22:06 UTC 
Reduced testcase:
struct vector
{
  long &operator[](int __n)   {  return *(_M_start + __n); }
  ~vector();
  long *_M_start; 
};
long v_gcd();
void v_make_prime(vector& v,long& g, long j){
  int i;
  vector w;
  g=v_gcd();
  for (i = 0; i < j; i++)
   w[i]=v[i]/g; 
}
Comment 3 David Binderman 2017-07-26 07:35:38 UTC 
Seems fixed to me.