Fixed problem with resetting null state after error for constants.

[splint.git] / src / qtype.c

diff --git a/src/qtype.c b/src/qtype.c
index 6c28397b26b5915d59f84816c7ce6c1e757cd572..5a4a20be653099fe592668388dfee3bd5e032656 100644 (file)
--- a/src/qtype.c
+++ b/src/qtype.c
@@ -122,6 +122,8 @@ qtype qtype_mergeImplicitAlt (/*@returned@*/ qtype q1, /*@only@*/ qtype q2)
 
 qtype qtype_mergeAlt (/*@returned@*/ qtype q1, /*@only@*/ qtype q2)
 {
+  DPRINTF (("Merge alt: %s + %s", qtype_unparse (q1), qtype_unparse (q2)));
+
   if (qtype_isDefined (q1) && qtype_isDefined (q2))
     {
       if (context_getFlag (FLG_IMPCONJ))
@@ -132,7 +134,6 @@ qtype qtype_mergeAlt (/*@returned@*/ qtype q1, /*@only@*/ qtype q2)
        {
          q1->type = ctype_makeExplicitConj (q1->type, q2->type);
        }
-
       
       if (!qualList_isEmpty (q2->quals))
        {