stage4/generate_c/generate_c.cc
changeset 816 dcd861dda04a
parent 810 d9c48ad646f1
child 852 efb44e892582
--- a/stage4/generate_c/generate_c.cc	Fri Apr 05 09:37:52 2013 +0900
+++ b/stage4/generate_c/generate_c.cc	Thu Apr 18 22:27:01 2013 +0200
@@ -476,9 +476,11 @@
 /*  TASK task_name task_initialization */
 //SYM_REF2(task_configuration_c, task_name, task_initialization)  
     void *visit(task_initialization_c *symbol) {
-      unsigned long long time = calculate_time(symbol->interval_data_source);
-      if (time < 0)  ERROR;
-      else           update_ticktime(time);
+      if (symbol->interval_data_source != NULL) {
+    	  unsigned long long time = calculate_time(symbol->interval_data_source);
+    	  if (time < 0)  ERROR;
+    	  else           update_ticktime(time);
+      }
       return NULL;
     }
 };