X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8ea5df88d4d589854cfd2cf734e203ce58da744d..909cf5eb75a37820d441f670ee02a6e0c42944fc:/src/multiVal.c diff --git a/src/multiVal.c b/src/multiVal.c index 96e79db..b2bee58 100644 --- a/src/multiVal.c +++ b/src/multiVal.c @@ -130,9 +130,12 @@ multiVal multiVal_invert (multiVal m) long multiVal_forceInt (multiVal m) { - llassert (multiVal_isInt (m)); - - return m->value.ival; + if (multiVal_isInt (m)) { + return m->value.ival; + } else { + llcontbug (message ("Multival is not int: %s", multiVal_unparse (m))); + return 0; + } } char multiVal_forceChar (multiVal m)