以下に対するANSI Cの仕様を教えてください。

a,bが共に負の整数のとき、a%bの結果の符合はどうなるのですか？

テキストでは「負になる」と書かれているものと、「処理系に依存する」と
書かれているものがあります。

どちらが本当なのですか？