X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6c50dc9249a1abaee3d737a499833718be2e6e0a..b73d1009d4a3494951c129e49f50f8b4c795deb1:/src/ctype.c

diff --git a/src/ctype.c b/src/ctype.c
index 1ea98e0..8ed249f 100644
--- a/src/ctype.c
+++ b/src/ctype.c
@@ -1954,8 +1954,7 @@ ctype_dump (ctype c)
   
   if (ctype_isUA (c))
     {
-      cstring tname = usymtab_getTypeEntryName 
-	 (usymtab_convertId (ctype_typeId (c)));
+      cstring tname = usymtab_getTypeEntryName (usymtab_convertTypeId (ctype_typeId (c)));
       
       if (cstring_equal (tname, context_getBoolName ()))
 	{
@@ -2296,7 +2295,10 @@ bool ctype_isRefCounted (ctype t)
 
 bool ctype_isVisiblySharable (ctype t)
 {
-  if (ctype_isUnknown (t)) return TRUE;
+  if (ctype_isUnknown (t))
+    {
+      return TRUE;
+    }
 
   if (ctype_isConj (t))
     {
@@ -2312,7 +2314,14 @@ bool ctype_isVisiblySharable (ctype t)
 
 	  if (rt == t)
 	    {
-	      return TRUE;
+	      if (ctype_isNumAbstract (t))
+		{
+		  return FALSE;
+		}
+	      else
+		{
+		  return TRUE;
+		}
 	    }
 	  else
 	    {