X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/c09ebffeb5fc8d2c644fa818f3510a6300340725..ae13359213220016611ceaf93109dac6849be88b:/src/Headers/lctype.h

diff --git a/src/Headers/lctype.h b/src/Headers/lctype.h
index 3dfd47b..41de16e 100644
--- a/src/Headers/lctype.h
+++ b/src/Headers/lctype.h
@@ -257,6 +257,12 @@ extern ctype ctype_createUser (typeId p_u) ;
 extern bool ctype_isUnnamedSU (ctype p_c) /*@*/ ;
 extern bool ctype_isUser (ctype p_c) /*@*/ ;
 
+extern int ctype_getSize (ctype p_c) 
+  /* EFFECTS: Returns the expected size of type p_c.  Various flags to control? 
+  **          Returns -1 if the size is unknown (or should not be guessed). 
+  */
+ /*@*/ ;
+
 extern ctype ctype_biggerType (ctype p_c1, ctype p_c2) 
   /* EFFECTS: returns whichever of c1 or c2 is bigger (storage requirements).
         If they are equal, returns c1. */