+ /*drl7x added 6/18/01 */
+{
+ FK_NT, FK_MEMORY, modeFlag,
+ "checkpost",
+ FLG_CHECKPOST,
+ "unable to verify ensures annotation",
+ "LCLint was unable to determine that the function satisfies a post condition given in an ensures annotation, ",
+ 0, 0
+},
+