Index: generic/xotclStack85.c
===================================================================
diff -u -r35e0efc0d8851a10c70071c12112b11538ce97af -r224d1a24b787b67fb9f0ff8a894f3092e8e4d5ae
--- generic/xotclStack85.c	(.../xotclStack85.c)	(revision 35e0efc0d8851a10c70071c12112b11538ce97af)
+++ generic/xotclStack85.c	(.../xotclStack85.c)	(revision 224d1a24b787b67fb9f0ff8a894f3092e8e4d5ae)
@@ -392,7 +392,7 @@
  */
 
 XOTCLINLINE static void
-CscInit(XOTclCallStackContent *cscPtr, XOTclObject *object, XOTclClass *cl, Tcl_Command cmd, int frameType) {
+CscInit(/*@notnull@*/ XOTclCallStackContent *cscPtr, XOTclObject *object, XOTclClass *cl, Tcl_Command cmd, int frameType) {
 
   assert(cscPtr);