systemc: Add some error checks to sc_set_default_time_unit.
authorGabe Black <gabeblack@google.com>
Sun, 2 Sep 2018 00:49:20 +0000 (17:49 -0700)
committerGabe Black <gabeblack@google.com>
Wed, 3 Oct 2018 00:47:35 +0000 (00:47 +0000)
Change-Id: I1d21c56d3b39044d91c96c98d242a571c099707c
Reviewed-on: https://gem5-review.googlesource.com/c/12463
Reviewed-by: Gabe Black <gabeblack@google.com>
Maintainer: Gabe Black <gabeblack@google.com>

src/systemc/core/sc_time.cc

index e0e8cf107e3b4bfa187d70a5b066b93c2eb306ff..74345d0416b609edc92fb65004b45a08eadf8ac0 100644 (file)
@@ -371,7 +371,7 @@ const sc_time SC_ZERO_TIME;
 void
 sc_set_time_resolution(double d, sc_time_unit tu)
 {
-    if (d < 0.0) {
+    if (d <= 0.0) {
         SC_REPORT_ERROR("(E514) set time resolution failed",
                 "value not positive");
     }
@@ -426,7 +426,34 @@ sc_max_time()
 void
 sc_set_default_time_unit(double d, sc_time_unit tu)
 {
+    if (d < 0.0) {
+        SC_REPORT_ERROR("(E515) set default time unit failed",
+                "value not positive");
+    }
+    double dummy;
+    if (modf(log10(d), &dummy) != 0.0) {
+        SC_REPORT_ERROR("(E515) set default time unit failed",
+                "value not a power of ten");
+    }
+    if (sc_is_running()) {
+        SC_REPORT_ERROR("(E515) set default time unit failed",
+                "simulation running");
+    }
+    static bool specified = false;
+    if (specified) {
+        SC_REPORT_ERROR("(E515) set default time unit failed",
+                "already specified");
+    }
+    // This won't detect the timescale being fixed outside of systemc, but
+    // it's at least some protection.
+    if (timeFixed) {
+        SC_REPORT_ERROR("(E515) set default time unit failed",
+                "sc_time object(s) constructed");
+    }
+
+    // Normalize d to seconds.
     defaultUnit = d * TimeUnitScale[tu];
+    specified = true;
 }
 
 sc_time