Fixed bug in usymtab clearing derived sRefs when exiting scope.

[splint.git] / src / Headers / aliasTable.h

diff --git a/src/Headers/aliasTable.h b/src/Headers/aliasTable.h
index 98249b90342ea937a162866128ccbd1511ada925..539ab983cac76985fdc40ec800bd1929eaacac3c 100644 (file)
--- a/src/Headers/aliasTable.h
+++ b/src/Headers/aliasTable.h
@@ -77,6 +77,14 @@ extern aliasTable aliasTable_levelUnionSeq (/*@returned@*/ aliasTable p_t1,
 /*@constant int aliasTableBASESIZE; @*/
 # define aliasTableBASESIZE MIDBASESIZE
 
+/*
+** For debugging only
+*/
+
+# ifdef DEBUGSPLINT
+extern void aliasTable_checkValid (aliasTable) /*@modifies g_errorstream@*/ ;
+# endif
+
 # else
 # error "Multiple include"
 # endif