More splint cleanup. All regression tests pass.

1 files changed, 8 insertions, 1 deletions

diff --git a/jsongen.py b/jsongen.py
index 0f26500c..f1a06652 100755
--- a/jsongen.py
+++ b/jsongen.py
@@ -462,8 +462,15 @@ if __name__ == '__main__':
         print """/*
  * This is code generated by jsongen.py. Do not hand-hack it!
  */
+ 
+/*@ -fullinitblock */
+
 """
         outboard = []
         for description in spec:
             generate(description)
-        print "/* Generated code ends. */"
+        print """
+/*@ +fullinitblock */
+
+/* Generated code ends. */
+"""