https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61980
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Sabrina Souto from comment #4) > I don't have much experience with GCC, so I'm a bit confused with your 2 > answers, please help me understanding what is happening: Based both on the > documentation and the results, I understood that the result from the > dependency analysis (Banerjee dist vectors: 0 1 , Omega dist vectors: 0) is > wrong or not expected, but this is due to the "unreliably" work of > -fcheck-data-deps or, since -fcheck-data-deps is used for debug, it is > working well and this result must be investigated? Clearly either Omega or Banerjee is wrong. Banerjee is used by GCC for code-generation and Omega is used to produce a comparison result only. If Omega is wrong we don't have to worry (it only makes -fcheck-data-deps less useful), if Banerjee is wrong then we have to worry. I can't tell nor didn't investigate who is wrong (but from past experience it's usually Omega).