From 04c4d6c20c7696e574a92bc1e6759596249c76b5 Mon Sep 17 00:00:00 2001 From: drl7x Date: Mon, 28 Apr 2003 22:04:49 +0000 Subject: [PATCH] Made some quick updates to the html version of the manual. --- doc/html/manual.htm | 45 ++++++++++++++++----------------------------- 1 file changed, 16 insertions(+), 29 deletions(-) diff --git a/doc/html/manual.htm b/doc/html/manual.htm index 2835615..11e6386 100644 --- a/doc/html/manual.htm +++ b/doc/html/manual.htm @@ -3758,17 +3758,19 @@ operations are provided that modify the value of an "_Ref343109614">4.3.3            Semi-Abstract Types - -Sometimes it is useful to have a type that is abstract in some ways, but can be used with the standard numerical operators. Splint supports numabstract types for this purpose. The /*@numabstract@*/ annotation denotes a numabstract type. Splint will report warnings when numabstract types are used inconsistently, but allow binary numeric operators to operate on two values of the same numabstract type. +

+Sometimes it is useful to have a type that is abstract in some ways, but can be used with the standard numerical operators. Splint supports numabstract types for this purpose. The /*@numabstract@*/ annotation denotes a numabstract type. Splint will report warnings when numabstract types are used inconsistently, but allow binary numeric operators to operate on two values of the same numabstract type. Several flags control the strictness of type checking for numabstract types: -numabstract, numabstractcast, numabstractlit, numabstractindex, - +numabstract, numabstractcast, numabstractlit, numabstractindex, + and - numabstractprint - + numabstractprint +. +

- .

"_Toc534975001">9.3            Less Stringent Checking

+

For some programs, Splint's standard bounds checking produces an unacceptably high number of warnings. Because of this, Splint now prioritizes warnings using a simple heuristic. The flags @@ -6987,7 +6990,7 @@ recognize them as spurious. These flags generate significantly fewer errors (an order of magnitude in some cases), and the errors generated are easier to understand. However, this does not come without cost. The checking is significantly less precise and is -likely to miss real errors. +likely to miss real errors.

9.4            @@ -10136,17 +10139,7 @@ Send fatal errors to standard output stream. Send fatal errors to standard error stream.

- -

limit <number>

-

At most <number> - similar errors are reported consecutively.  Further - errors are suppressed, and a message showing the number of - suppressed messages is printed.

- +

Expected Errors

Normally, Splint will expect to report no @@ -10942,7 +10935,7 @@ A string literal is assigned to a char array too small to hold it. "Keyword">-+++

-string-literal--no-room +string-literal-no-room

A string literal is assigned to a char array that is not big enough to hold the null terminator. @@ -10961,7 +10954,7 @@ A string literal is assigned to a char array that is not big enough to hold the "Keyword">++++

-string-literal--no-room-final-null +string-literal-no-room-final-null

A string literal is assigned to a char array that is not big enough to @@ -11900,7 +11893,7 @@ integral type (e.g., Literal 0 may be used as a pointer.

-div> +
@@ -11928,13 +11921,7 @@ div>

relax-types

Allow all numeric types to match.

-

Abstract Types -(Section -4.3 -)

+