*** empty log message ***

[splint.git] / src / stateValue.c

diff --git a/src/stateValue.c b/src/stateValue.c
index 859b3548de2daee43041d6dcc20c838a4398fdcf..cd8ad8ce71c5e242a1819bf6c3a8d733a87dcbc6 100644 (file)
--- a/src/stateValue.c
+++ b/src/stateValue.c
@@ -151,7 +151,12 @@ void stateValue_show (stateValue s, metaStateInfo msinfo)
 
 int stateValue_getValue (stateValue s)
 {
-  llassert (stateValue_isDefined (s));
+  if (!stateValue_isDefined (s))
+    {
+      llassert (stateValue_isDefined (s));
+      return stateValue_error;
+    }
+
   return s->value;
 }