diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2012-12-27 01:16:25 -0800 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2012-12-27 01:24:17 -0800 |
| commit | 72fa964ff7b6a1e8359c83e34765af885fc60ebe (patch) | |
| tree | bd9d8d9a9342ff7343ca91bffc93b4e18e1214f7 /doc/intprops.texi | |
| parent | 200969d8ebed76c9b82837406a87cc767fafac1b (diff) | |
| download | gnulib-72fa964ff7b6a1e8359c83e34765af885fc60ebe.tar.gz | |
Hyphen and dash fixes.
Diffstat (limited to 'doc/intprops.texi')
| -rw-r--r-- | doc/intprops.texi | 4 |
1 files changed, 2 insertions, 2 deletions
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 |