Comment on uninitialized class members

Author: peterschrammel

src/ansi-c/ansi_c_convert_type.h

@@ -53,6 +53,7 @@ class ansi_c_convert_typet:public messaget
 
   explicit ansi_c_convert_typet(message_handlert &_message_handler):
     messaget(_message_handler)
+    // class members are initialized by calling read()
   {
   }
 

src/goto-analyzer/taint_parser.h

@@ -51,7 +51,9 @@ class taint_parse_treet
 
     void output(std::ostream &) const;
 
-    rulet():parameter_number(0)
+    rulet():
+      parameter_number(0)
+      // The other class members are initialized by taint_parser().
     {
     }
   };

src/java_bytecode/jar_file.h

@@ -26,7 +26,11 @@ Author: Daniel Kroening, [email protected]
 class jar_filet:public messaget
 {
 public:
-  jar_filet():mz_ok(false) { }
+  jar_filet():
+    mz_ok(false)
+    // `zip` will be initialized by open()
+  {
+  }
 
   ~jar_filet();
 

src/pointer-analysis/value_set_fi.h

@@ -26,7 +26,10 @@ Author: Daniel Kroening, [email protected]
 class value_set_fit
 {
 public:
-  value_set_fit()
+  value_set_fit():
+  changed(false)
+  // to_function, to_target_index are set by set_to()
+  // from_function, from_target_index are set by set_from()
   {
   }