Fixed line counting for #pragma's.

[splint.git] / src / ctbase.i

diff --git a/src/ctbase.i b/src/ctbase.i
index c256432cb7e972ab558318d7973a222ece092acb..6fbb3c3d8534697e66535369e9d2b69ea7d46e4b 100644 (file)
--- a/src/ctbase.i
+++ b/src/ctbase.i
@@ -458,7 +458,14 @@ ctbase_typeId (ctbase c)
     {
       if (ctbase_isConj (c)) 
        {
-         return ctbase_typeId (ctype_getCtbase (ctbase_getConjA (c)));
+         if (ctype_isUA (ctbase_getConjA (c))) {
+           return ctbase_typeId (ctype_getCtbase (ctbase_getConjA (c)));
+         } else if (ctype_isUA (ctbase_getConjB (c))) {
+           return ctbase_typeId (ctype_getCtbase (ctbase_getConjB (c)));
+         } else {
+           llcontbug (message ("ctbase_typeId: bad call: %q", ctbase_unparse (c)));
+           return typeId_invalid;
+         }
        }
       else
        {