https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78546
--- Comment #14 from Zdenek Sojka <zsojka at seznam dot cz> --- (In reply to Jakub Jelinek from comment #12) > Therefore the comment should be > /* CST1 - (CST2 - A) -> (CST1 - CST2) - A */ > rather than > /* CST - (CST - A) -> CST - A */ How comes it is not "CST1 - (CST2 - A) -> (CST1 - CST2) + A"?