Stefan Beller wrote: > On Wed, Nov 22, 2017 at 2:59 PM, Jonathan Nieder <jrnieder@xxxxxxxxx> wrote: >> In a certain ideal world, the preference would be reversed: you'd want >> to use assert() wherever you can and require the compiler to check >> that all assert()s are verifiable at compile time. A check that a >> static analyzer can verify is more valuable than a run-time check. >> When a compile-time check is not possible, you'd have to fall back to >> BUG_ON(). > > Linux has BUILT_BUG_ON as well, which we may desire? I thought so until I tried to use it: https://public-inbox.org/git/20170830065631.GH153983@xxxxxxxxxxxxxxxxxxxxxxxxx/ So I think we are stuck with run-time checking for now. Thanks, Jonathan
