verify: document some 'assume' pitfalls
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 11 Oct 2013 04:30:16 +0000 (21:30 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 11 Oct 2013 04:30:16 +0000 (21:30 -0700)
commitab509afde2e2572fe70ff0c55e3bf7ff289a9f40
tree08ee13b59593fdc114309606ea7e8ecc87ddec31
parentbbfcd2f1a92c9bdbb8d7d7d0a8a8c6665c316747
verify: document some 'assume' pitfalls

* doc/verify.texi (Compile-time Assertions):
Mention that 'assume (E)' can sometimes slow things down.
Use CHAR_MAX + 1, not UCHAR_MAX + 1.
ChangeLog
doc/verify.texi