More compiler warnings.

.gitignore

@@ -11,6 +11,7 @@ lib/abc*
 lib/m114*
 lib/bip*
 docs/
+.vscode/
 
 src/ext*
 src/xxx/

src/base/main/mainUtils.c

@@ -261,7 +261,7 @@ void Abc_UtilsSource( Abc_Frame_t * pAbc )
 ******************************************************************************/
 char * DateReadFromDateString( char * datestr )
 {
-  static char result[25];
+  static char result[100];
   char        day[10];
   char        month[10];
   char        zone[10];

src/map/mapper/mapperLib.c

@@ -15,9 +15,10 @@
   Revision    [$Id: mapperLib.c,v 1.6 2005/01/23 06:59:44 alanmi Exp $]
 
 ***********************************************************************/
-#define _BSD_SOURCE
+//#define _BSD_SOURCE
 
 #ifndef WIN32
+#define _DEFAULT_SOURCE
 #include <unistd.h>
 #endif
 

src/map/mio/mio.c

@@ -16,9 +16,10 @@
 
 ***********************************************************************/
 
-#define _BSD_SOURCE
+//#define _BSD_SOURCE
 
 #ifndef WIN32
+#define _DEFAULT_SOURCE
 #include <unistd.h>
 #endif
 

src/opt/dau/dauMerge.c

@@ -48,7 +48,7 @@ typedef struct Dau_Sto_t_ Dau_Sto_t;
 struct Dau_Sto_t_
 {
     int      iVarUsed;                          // counter of used variables
-    char     pOutput[DAU_MAX_STR];              // storage for reduced function
+    char     pOutput[2*DAU_MAX_STR+10];         // storage for reduced function
     char *   pPosOutput;                        // place in the output
     char     pStore[DAU_MAX_VAR][DAU_MAX_STR];  // storage for definitions
     char *   pPosStore[DAU_MAX_VAR];            // place in the store