Added checking for union initializers.

[splint.git] / src / clabstract.c

diff --git a/src/clabstract.c b/src/clabstract.c
index e339162da18dbde8ff9bb1bd2048753a85999d3a..e17b25f7b3b83e3f8c7ecf635f5a4fbd2420ef10 100644 (file)
--- a/src/clabstract.c
+++ b/src/clabstract.c
@@ -2018,15 +2018,15 @@ doVaDcl ()
                }
              else 
                {
-                 if (ctype_isAbstract (ct))
+                 if (ctype_isAbstract (rt))
                    {
                      voptgenerror 
                        (FLG_ABSTRACT,
                         message
-                        ("Modifies clause in header file arrow accesses abstract "
+                        ("Modifies clause arrow accesses inaccessible abstract "
                          "type %s (interface modifies clause should not depend "
                          "on or expose type representation): %q",
-                         ctype_unparse (ct),
+                         ctype_unparse (rt),
                          sRef_unparse (s)),
                         g_currentloc);
                    }