/*@observer@*/ char *ctime (time_t *tp) /*@*/
/*@ensures maxSet(result) == 25 /\ maxRead(result) == 25; @*/;
-/*@null@*/ /*@observer@*/ struct tm *gmtime (time_t *tp) /*@*/ ;
+/* 2003-11-01: remove null annotation: gmtima and localtime cannot return null */
+/*@observer@*/ struct tm *gmtime (time_t *tp) /*@*/ ;
-/*@null@*/ /*@observer@*/ struct tm *localtime (time_t *tp)
+/*@observer@*/ struct tm *localtime (time_t *tp)
/*@modifies errno@*/ ;
size_t strftime (/*@out@*/ char *s, size_t smax,
# include <fcntl.h>
# if defined (WIN32) || defined (OS2) && defined (__IBMC__)
# include <io.h>
+/* SMF */
+# ifndef BCC32
# include <sys/utime.h> /* for __DATE__ and __TIME__ */
+# endif
+
# include <time.h>
# else
# ifndef VMS
# if defined (WIN32) || defined (OS2) && defined (__IBMC__)
+/* SMF */
+# ifndef BCC32
/*
** WIN32 (at least the VC++ include files) does not define mode_t.
*/
/*@-incondefs@*/ /*@-czechtypes@*/
typedef unsigned int mode_t;
/*@=incondefs@*/ /*@=czechtypes@*/
+# endif
# endif
FILE *fileTable_createFile (fileTable ft, cstring fname)
{
-# ifdef WIN32
+# if defined (WIN32) && !defined (BCC32)
int fdesc = _open (cstring_toCharsSafe (fname),
O_WRONLY | O_CREAT | O_TRUNC | O_EXCL,
_S_IWRITE | S_IREAD);
FILE *fileTable_createMacrosFile (fileTable ft, cstring fname)
{
-# ifdef WIN32
+# if defined (WIN32) && !defined (BCC32)
int fdesc = _open (cstring_toCharsSafe (fname),
O_RDWR | O_CREAT | O_TRUNC | O_EXCL,
_S_IREAD | _S_IWRITE);