verify: new macro 'assume'
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 3 Oct 2013 04:59:38 +0000 (21:59 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 3 Oct 2013 05:28:38 +0000 (22:28 -0700)
commit28df8b1e1d486c3891091a5c08eb0c3311102938
tree75331e189f96adb0ba471d226eb6222f85c103f8
parentfb884a0dca91500cb944b0ecc2e5388fa2c7bcd5
verify: new macro 'assume'

This is taken from Emacs, and should be generally useful.
* doc/verify.texi (assume): Document it.
* lib/verify.h (assume): New macro.
(__has_builtin): Expand to 0 if not defined.
ChangeLog
doc/verify.texi
lib/verify.h