Fixed bug in usymtab clearing derived sRefs when exiting scope.

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

diff --git a/src/Headers/varKinds.h b/src/Headers/varKinds.h
index dbff679843f72e03fb7d4248e4ee7efb76e0a151..3a0981d2788fcca15200c31379b732fdd25f9dbd 100644 (file)
--- a/src/Headers/varKinds.h
+++ b/src/Headers/varKinds.h
@@ -35,6 +35,9 @@ typedef enum {
   SS_LAST
 } sstate;
 
+extern bool sstate_isValid (/*@sef@*/ sstate) /*@*/ ;
+# define sstate_isValid(s) ((s) >= SS_UNKNOWN && (s) <= SS_LAST)
+
 typedef enum { 
   SCNONE, 
   SCEXTERN, 
@@ -118,6 +121,9 @@ extern bool exkind_isUnknown (exkind p_e) /*@*/ ;
 extern bool exkind_isKnown (/*@sef@*/ exkind p_e) /*@*/ ;
 # define exkind_isKnown(e)      ((e) != XO_UNKNOWN && (e) != XO_NORMAL)
 
+extern bool exkind_isValid (/*@sef@*/ exkind p_e) /*@*/ ;
+# define exkind_isValid(e)      ((e) >= XO_UNKNOWN && (e) <= XO_OBSERVER)
+
 extern bool alkind_isValid (/*@sef@*/ alkind p_a) /*@*/ ;
 # define alkind_isValid(a) ((a) >= AK_UNKNOWN && (a) <= AK_LOCAL)