From 72fa964ff7b6a1e8359c83e34765af885fc60ebe Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 27 Dec 2012 01:16:25 -0800 Subject: Hyphen and dash fixes. --- doc/intprops.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/intprops.texi') diff --git a/doc/intprops.texi b/doc/intprops.texi index 8780886bee..633003b88c 100644 --- a/doc/intprops.texi +++ b/doc/intprops.texi @@ -31,14 +31,14 @@ misbehave badly after overflow occurs. Many techniques have been proposed to attack these problems. These include precondition testing, GCC's @option{-ftrapv} option, GCC's -no-undefined-overflow branch, the As-if Infinitely Ranged (AIR) model +no-undefined-overflow branch, the as-if infinitely ranged (AIR) model implemented in Clang, saturation semantics where overflow reliably yields an extreme value, the RICH static transformer to an overflow-checking variant, and special testing methods. For more information about these techniques, see: Dannenberg R, Dormann W, Keaton D @emph{et al.}, @url{http://www.sei.cmu.edu/library/abstracts/reports/10tn008.cfm, -As-if Infinitely Ranged integer model -- 2nd ed.}, Software Engineering +As-if infinitely ranged integer model, 2nd ed.}, Software Engineering Institute Technical Note CMU/SEI-2010-TN-008, April 2010. Gnulib supports the precondition testing technique, as this is easy to -- cgit v1.2.1