https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61980
--- Comment #4 from Sabrina Souto <sabrinadfs at gmail dot com> --- 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? (In reply to Richard Biener from comment #3) > It's intended for debugging only: > > @item -fcheck-data-deps > @opindex fcheck-data-deps > Compare the results of several data dependence analyzers. This option > is used for debugging the data dependence analyzers.