プラットフォームごとの改行コードに合わせた変換がI/Oの段階で行われるのはそうだろうけど（たとえばPythonは変換仕様の細かい指定がprint関数でできるし、他の言語でも同様の機能があることが多いのではないかと思う。なので、\r\nと\r\r\nの変換が万国共通ということは別にないはず）、規格で規定されているのはソースコードをコンパイルする前処理としての改行コードの正規化（？）の話であって、別の話なのではないかと思うが。