diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-27 15:01:21 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-27 16:46:22 -0400 |
| commit | 5d5038723c202b04272f14abc64e7b6a0bbe2979 (patch) | |
| tree | 714d8586095c986eccc684859fd34c61874f2869 /src/parser/bounded_token_buffer.cpp | |
| parent | a399bd138c387820e0d441372a7dbe7bee1dd0f4 (diff) | |
Remove macros EXPECT_TRUE / EXPECT_FALSE from cvc4_public.h so that they don't escape to user space
Thanks to Alex Horn for raising the issue on the CVC-BUGS mailing list.
Diffstat (limited to 'src/parser/bounded_token_buffer.cpp')
| -rw-r--r-- | src/parser/bounded_token_buffer.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/bounded_token_buffer.cpp b/src/parser/bounded_token_buffer.cpp index 88a7c6463..112d9b0ed 100644 --- a/src/parser/bounded_token_buffer.cpp +++ b/src/parser/bounded_token_buffer.cpp @@ -241,7 +241,7 @@ static pANTLR3_COMMON_TOKEN tokLT(pANTLR3_TOKEN_STREAM ts, ANTLR3_INT32 k) { } /* Initialize the buffer on our first call. */ - if( EXPECT_FALSE(buffer->empty == ANTLR3_TRUE) ) { + if( __builtin_expect( (buffer->empty == ANTLR3_TRUE), false ) ) { assert( buffer->tokenBuffer != NULL ); buffer->tokenBuffer[ 0 ] = nextToken(buffer); buffer->maxIndex = 0; |