From 04c4d6c20c7696e574a92bc1e6759596249c76b5 Mon Sep 17 00:00:00 2001
From: drl7x
+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
+.
+
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.
"_Toc534975001">9.3
Less Stringent Checking
+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.
- +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> +