[paparazzi-commits] [4855] add missing default: entries in generated switch(){}

[Pascal Brisset]

Revision: 4855
          http://svn.sv.gnu.org/viewvc/?view=rev&root=paparazzi&revision=4855
Author:   hecto
Date:     2010-04-22 10:56:04 +0000 (Thu, 22 Apr 2010)
Log Message:
-----------
 add missing default: entries in generated switch(){}

Modified Paths:
--------------
    paparazzi3/trunk/sw/tools/gen_flight_plan.ml
    paparazzi3/trunk/sw/tools/gen_settings.ml

Modified: paparazzi3/trunk/sw/tools/gen_flight_plan.ml
===================================================================
--- paparazzi3/trunk/sw/tools/gen_flight_plan.ml        2010-04-21 16:35:29 UTC 
(rev 4854)
+++ paparazzi3/trunk/sw/tools/gen_flight_plan.ml        2010-04-22 10:56:04 UTC 
(rev 4855)
@@ -288,6 +288,7 @@
        lprintf "GotoBlock(%d);\n" (get_index_block (ExtXml.attrib x "block"));
        lprintf "break;\n"
     | "exit_block" ->
+       lprintf "default:\n";
        stage ();
        lprintf "NextBlock();\n";
        lprintf "break;\n"
@@ -795,8 +796,11 @@
       lprintf "switch (nav_block) {\n";
       right ();
       print_blocks index_of_waypoints blocks;
-      left (); lprintf "}\n";
-      left (); lprintf "}\n";
+      lprintf "default: break;\n";
+      left (); 
+      lprintf "}\n";
+      left ();
+      lprintf "}\n";
       lprintf "#endif // NAV_C\n";
 
       begin

Modified: paparazzi3/trunk/sw/tools/gen_settings.ml
===================================================================
--- paparazzi3/trunk/sw/tools/gen_settings.ml   2010-04-21 16:35:29 UTC (rev 
4854)
+++ paparazzi3/trunk/sw/tools/gen_settings.ml   2010-04-22 10:56:04 UTC (rev 
4855)
@@ -89,6 +89,7 @@
        incr idx
     ) 
     settings;
+  lprintf "default: break;\\\n";
   left ();
   lprintf "}\\\n";
   left ();