Prewinter break editing commit.

[splint.git] / src / Headers / flag_codes.gen

diff --git a/src/Headers/flag_codes.gen b/src/Headers/flag_codes.gen
index d6d6a7926d6d8185fae3138fb3ffd106786a475a..1ff5146ec405211d8f392be293bb70b1036586e4 100644 (file)
--- a/src/Headers/flag_codes.gen
+++ b/src/Headers/flag_codes.gen
@@ -315,6 +315,11 @@
   FLG_SPECIAL,
   FLG_NULL,
   FLG_NULLTERMINATED,
+  FLG_BUFFEROVERFLOW,
+  FLG_ARRAYREAD,
+  FLG_ARRAYWRITE,
+  FLG_FUNCTIONPOST,
+  FLG_FUNCTIONCONSTRAINT,
   FLG_NULLTERMINATEDWARNING,
   FLG_NULLDEREF,
   FLG_FCNDEREF,