On Sat, 18 Oct 2014, Manuel López-Ibáñez wrote:

> What about this version?
> 
> Give an error whenever the @dfn{base standard} (see @option{-Wpedantic})
> requires a diagnostic, in cases where there is undefined behavior at
> compile-time

Only in *some* such cases of compile-time undefined behavior.

-- 
Joseph S. Myers
joseph@codesourcery.com