Regenerate with newest flex, so that new gcc paranoia get dealt with

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6004 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/gras/DataDesc/ddt_parse.yy.c b/src/gras/DataDesc/ddt_parse.yy.c
index 31bef83..cfb0ee1 100644 (file)
--- a/src/gras/DataDesc/ddt_parse.yy.c
+++ b/src/gras/DataDesc/ddt_parse.yy.c
@@ -5,10 +5,29 @@
 
 /* A lexical scanner generated by flex */
 
 
 /* A lexical scanner generated by flex */
 

+#define yy_create_buffer gras_ddt_parse__create_buffer
+#define yy_delete_buffer gras_ddt_parse__delete_buffer
+#define yy_flex_debug gras_ddt_parse__flex_debug
+#define yy_init_buffer gras_ddt_parse__init_buffer
+#define yy_flush_buffer gras_ddt_parse__flush_buffer
+#define yy_load_buffer_state gras_ddt_parse__load_buffer_state
+#define yy_switch_to_buffer gras_ddt_parse__switch_to_buffer
+#define yyin gras_ddt_parse_in
+#define yyleng gras_ddt_parse_leng
+#define yylex gras_ddt_parse_lex
+#define yylineno gras_ddt_parse_lineno
+#define yyout gras_ddt_parse_out
+#define yyrestart gras_ddt_parse_restart
+#define yytext gras_ddt_parse_text
+#define yywrap gras_ddt_parse_wrap
+#define yyalloc gras_ddt_parse_alloc
+#define yyrealloc gras_ddt_parse_realloc
+#define yyfree gras_ddt_parse_free
+

 #define FLEX_SCANNER
 #define YY_FLEX_MAJOR_VERSION 2
 #define YY_FLEX_MINOR_VERSION 5
 #define FLEX_SCANNER
 #define YY_FLEX_MAJOR_VERSION 2
 #define YY_FLEX_MINOR_VERSION 5

-#define YY_FLEX_SUBMINOR_VERSION 33
+#define YY_FLEX_SUBMINOR_VERSION 35

 #if YY_FLEX_SUBMINOR_VERSION > 0
 #define FLEX_BETA
 #endif
 #if YY_FLEX_SUBMINOR_VERSION > 0
 #define FLEX_BETA
 #endif


@@ -30,7 +49,7 @@
 
 /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
 
 
 /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
 

-#if __STDC_VERSION__ >= 199901L
+#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L

 
 /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
  * if you want the limit (max/min) macros for int types. 
 
 /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
  * if you want the limit (max/min) macros for int types. 


@@ -53,7 +72,6 @@ typedef int flex_int32_t;
 typedef unsigned char flex_uint8_t; 
 typedef unsigned short int flex_uint16_t;
 typedef unsigned int flex_uint32_t;
 typedef unsigned char flex_uint8_t; 
 typedef unsigned short int flex_uint16_t;
 typedef unsigned int flex_uint32_t;

-#endif /* ! C99 */

 
 /* Limits of integral types. */
 #ifndef INT8_MIN
 
 /* Limits of integral types. */
 #ifndef INT8_MIN


@@ -84,6 +102,8 @@ typedef unsigned int flex_uint32_t;
 #define UINT32_MAX             (4294967295U)
 #endif
 
 #define UINT32_MAX             (4294967295U)
 #endif
 

+#endif /* ! C99 */
+

 #endif /* ! FLEXINT_H */
 
 #ifdef __cplusplus
 #endif /* ! FLEXINT_H */
 
 #ifdef __cplusplus


@@ -93,11 +113,12 @@ typedef unsigned int flex_uint32_t;
 
 #else  /* ! __cplusplus */
 
 
 #else  /* ! __cplusplus */
 

-#if __STDC__
+/* C99 requires __STDC__ to be defined as 1. */
+#if defined (__STDC__)

 
 #define YY_USE_CONST
 
 
 #define YY_USE_CONST
 

-#endif /* __STDC__ */
+#endif /* defined (__STDC__) */

 #endif /* ! __cplusplus */
 
 #ifdef YY_USE_CONST
 #endif /* ! __cplusplus */
 
 #ifdef YY_USE_CONST


@@ -177,14 +198,9 @@ extern FILE *gras_ddt_parse_in, *gras_ddt_parse_out;
 
 #define unput(c) yyunput( c, (yytext_ptr)  )
 
 
 #define unput(c) yyunput( c, (yytext_ptr)  )
 

-/* The following is because we cannot portably get our hands on size_t
- * (without autoconf's help, which isn't available because we want
- * flex-generated scanners to compile on their own).
- */
-

 #ifndef YY_TYPEDEF_YY_SIZE_T
 #define YY_TYPEDEF_YY_SIZE_T
 #ifndef YY_TYPEDEF_YY_SIZE_T
 #define YY_TYPEDEF_YY_SIZE_T

-typedef unsigned int yy_size_t;
+typedef size_t yy_size_t;

 #endif
 
 #ifndef YY_STRUCT_YY_BUFFER_STATE
 #endif
 
 #ifndef YY_STRUCT_YY_BUFFER_STATE


@@ -335,7 +351,7 @@ void gras_ddt_parse_free (void *  );
 
 /* Begin user sect3 */
 
 
 /* Begin user sect3 */
 

-#define gras_ddt_parse_wrap() 1
+#define gras_ddt_parse_wrap(n) 1

 #define YY_SKIP_YYWRAP
 
 typedef unsigned char YY_CHAR;
 #define YY_SKIP_YYWRAP
 
 typedef unsigned char YY_CHAR;


@@ -529,6 +545,35 @@ char *gras_ddt_parse_text;
 
 static int yy_init_globals (void );
 
 
 static int yy_init_globals (void );
 

+/* Accessor methods to globals.
+   These are made visible to non-reentrant scanners for convenience. */
+
+int gras_ddt_parse_lex_destroy (void );
+
+int gras_ddt_parse_get_debug (void );
+
+void gras_ddt_parse_set_debug (int debug_flag  );
+
+YY_EXTRA_TYPE gras_ddt_parse_get_extra (void );
+
+void gras_ddt_parse_set_extra (YY_EXTRA_TYPE user_defined  );
+
+FILE *gras_ddt_parse_get_in (void );
+
+void gras_ddt_parse_set_in  (FILE * in_str  );
+
+FILE *gras_ddt_parse_get_out (void );
+
+void gras_ddt_parse_set_out  (FILE * out_str  );
+
+int gras_ddt_parse_get_leng (void );
+
+char *gras_ddt_parse_get_text (void );
+
+int gras_ddt_parse_get_lineno (void );
+
+void gras_ddt_parse_set_lineno (int line_number  );
+

 /* Macros after this point can all be overridden by user definitions in
  * section 1.
  */
 /* Macros after this point can all be overridden by user definitions in
  * section 1.
  */


@@ -571,7 +616,7 @@ static int input (void );
 /* This used to be an fputs(), but since the string might contain NUL's,
  * we now use fwrite().
  */
 /* This used to be an fputs(), but since the string might contain NUL's,
  * we now use fwrite().
  */

-#define ECHO (void) fwrite( gras_ddt_parse_text, gras_ddt_parse_leng, 1, gras_ddt_parse_out )
+#define ECHO do { if (fwrite( gras_ddt_parse_text, gras_ddt_parse_leng, 1, gras_ddt_parse_out )) {} } while (0)

 #endif
 
 /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
 #endif
 
 /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,


@@ -1215,6 +1260,14 @@ static int yy_get_next_buffer (void)
        else
                ret_val = EOB_ACT_CONTINUE_SCAN;
 
        else
                ret_val = EOB_ACT_CONTINUE_SCAN;
 

+       if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
+               /* Extend the array by 50%, plus the number we really need. */
+               yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
+               YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) gras_ddt_parse_realloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size  );
+               if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
+                       YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
+       }
+

        (yy_n_chars) += number_to_move;
        YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
        YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
        (yy_n_chars) += number_to_move;
        YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
        YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;


@@ -1630,7 +1683,9 @@ static void gras_ddt_parse_ensure_buffer_stack (void)
                (yy_buffer_stack) = (struct yy_buffer_state**)gras_ddt_parse_alloc
                                                                (num_to_alloc * sizeof(struct yy_buffer_state*)
                                                                );
                (yy_buffer_stack) = (struct yy_buffer_state**)gras_ddt_parse_alloc
                                                                (num_to_alloc * sizeof(struct yy_buffer_state*)
                                                                );

-               
+               if ( ! (yy_buffer_stack) )
+                       YY_FATAL_ERROR( "out of dynamic memory in gras_ddt_parse_ensure_buffer_stack()" );
+                                                                 

                memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
                                
                (yy_buffer_stack_max) = num_to_alloc;
                memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
                                
                (yy_buffer_stack_max) = num_to_alloc;


@@ -1648,6 +1703,8 @@ static void gras_ddt_parse_ensure_buffer_stack (void)
                                                                ((yy_buffer_stack),
                                                                num_to_alloc * sizeof(struct yy_buffer_state*)
                                                                );
                                                                ((yy_buffer_stack),
                                                                num_to_alloc * sizeof(struct yy_buffer_state*)
                                                                );

+               if ( ! (yy_buffer_stack) )
+                       YY_FATAL_ERROR( "out of dynamic memory in gras_ddt_parse_ensure_buffer_stack()" );

 
                /* zero only the new slots.*/
                memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
 
                /* zero only the new slots.*/
                memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));