Added va_copy to standard.h.

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

diff --git a/src/Headers/varKinds.h b/src/Headers/varKinds.h
index 8b804d0620467557378b78914bb5dcc4f54cb29f..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)
 
@@ -151,6 +157,8 @@ extern /*@unused@*/ bool alkind_isRefs (alkind p_a) /*@*/ ;
 extern bool alkind_isNewRef (alkind p_a) /*@*/ ;     
 extern bool alkind_isKillRef (alkind p_a) /*@*/ ;    
 
+extern alkind alkind_resolve (alkind p_a1, alkind p_a2) /*@*/ ;
+
 # define alkind_isOwned(a)      ((a) == AK_OWNED)
 # define alkind_isStack(a)      ((a) == AK_STACK)
 # define alkind_isStatic(a)     ((a) == AK_STATIC)