Updated specifications in the unix library. Added the file stdio.h and stdlib.h...

[splint.git] / lib / ansi.lcd

diff --git a/lib/ansi.lcd b/lib/ansi.lcd
index 6456575af3033027db6d5bbbd890542944600b11..52b638248af917ec94cecf05028ff8ab3ba3eabf 100644 (file)
--- a/lib/ansi.lcd
+++ b/lib/ansi.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: ansi.lcd
-;;LCLint 3.0.0.12 --- 21 August 2001
+;;LCLint 3.0.0.16 --- 10 September 2001
 ;;lib:167
 ;;ctTable
 0 u-2 19 38
@@ -1079,6 +1079,7 @@
 ^371 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
 ^407 63$#INTPTR_MIN#INTPTR_MAX
 ;; Library constraints
+constraints
 vsnprintf
 pre:
 C