-ftree-loop-linear enables a number of features and transformations. Which part, exactly, is experimental? You are quoting from the documentation for the option, but Dan may be referring to a particular transformation. I thought the failure and algorithm correctness was related to creating perfect loop nests used by other transformations, not all of the tree loop linear.
I think this discussion is losing a lot in the summary.
David
