about summary refs log tree commit diff homepage
path: root/lib/SMT/smtlib_lexer.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/SMT/smtlib_lexer.cpp')
-rw-r--r--lib/SMT/smtlib_lexer.cpp30
1 files changed, 8 insertions, 22 deletions
diff --git a/lib/SMT/smtlib_lexer.cpp b/lib/SMT/smtlib_lexer.cpp
index c25e7f9a..f8a2b329 100644
--- a/lib/SMT/smtlib_lexer.cpp
+++ b/lib/SMT/smtlib_lexer.cpp
@@ -73,6 +73,7 @@ typedef int flex_int32_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
@@ -103,8 +104,6 @@ typedef unsigned int flex_uint32_t;
 #define UINT32_MAX             (4294967295U)
 #endif
 
-#endif /* ! C99 */
-
 #endif /* ! FLEXINT_H */
 
 #ifdef __cplusplus
@@ -161,15 +160,7 @@ typedef unsigned int flex_uint32_t;
 
 /* Size of default input buffer. */
 #ifndef YY_BUF_SIZE
-#ifdef __ia64__
-/* On IA-64, the buffer size is 16k, not 8k.
- * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case.
- * Ditto for the __ia64__ case accordingly.
- */
-#define YY_BUF_SIZE 32768
-#else
 #define YY_BUF_SIZE 16384
-#endif /* __ia64__ */
 #endif
 
 /* The state buf must be large enough to hold one state per character in the main buffer.
@@ -757,7 +748,7 @@ static std::string _string_lit;
 
 
 
-#line 761 "smtlib_lexer.cpp"
+#line 752 "smtlib_lexer.cpp"
 
 #define INITIAL 0
 #define COMMENT 1
@@ -840,12 +831,7 @@ static int input (void );
 
 /* Amount of stuff to slurp up with each read. */
 #ifndef YY_READ_BUF_SIZE
-#ifdef __ia64__
-/* On IA-64, the buffer size is 16k, not 8k */
-#define YY_READ_BUF_SIZE 16384
-#else
 #define YY_READ_BUF_SIZE 8192
-#endif /* __ia64__ */
 #endif
 
 /* Copy whatever the last rule matched to the standard output. */
@@ -853,7 +839,7 @@ static int input (void );
 /* This used to be an fputs(), but since the string might contain NUL's,
  * we now use fwrite().
  */
-#define ECHO do { if (fwrite( smtlibtext, smtlibleng, 1, smtlibout )) {} } while (0)
+#define ECHO fwrite( smtlibtext, smtlibleng, 1, smtlibout )
 #endif
 
 /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
@@ -864,7 +850,7 @@ static int input (void );
 	if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
 		{ \
 		int c = '*'; \
-		size_t n; \
+		unsigned n; \
 		for ( n = 0; n < max_size && \
 			     (c = getc( smtlibin )) != EOF && c != '\n'; ++n ) \
 			buf[n] = (char) c; \
@@ -949,7 +935,7 @@ YY_DECL
 #line 126 "smtlib.lex"
 
 
-#line 953 "smtlib_lexer.cpp"
+#line 939 "smtlib_lexer.cpp"
 
 	if ( !(yy_init) )
 		{
@@ -1404,7 +1390,7 @@ YY_RULE_SETUP
 #line 221 "smtlib.lex"
 ECHO;
 	YY_BREAK
-#line 1408 "smtlib_lexer.cpp"
+#line 1394 "smtlib_lexer.cpp"
 
 	case YY_END_OF_BUFFER:
 		{
@@ -2128,8 +2114,8 @@ YY_BUFFER_STATE smtlib_scan_string (yyconst char * yystr )
 
 /** Setup the input buffer state to scan the given bytes. The next call to smtliblex() will
  * scan from a @e copy of @a bytes.
- * @param yybytes the byte buffer to scan
- * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
+ * @param bytes the byte buffer to scan
+ * @param len the number of bytes in the buffer pointed to by @a bytes.
  * 
  * @return the newly allocated buffer state object.
  */