Assertion `!yytname_' failed.

[Antonio Correia]

Hi all, 

I was testing error recovery with bison and I'm getting this assertion here: 


/// Instantiate an empty \a T in here. 
template <typename T> 
T& 
build () 
{ 
YYASSERT (!yytname_); 
YYASSERT (sizeof (T) <= S); 
yytname_ = typeid (T).name (); 
return *new (yyas_<T> ()) T; 
} 

when using this simple grammar. 


%token <char> CHAR "char" 
%token <int> NUM "number" 
%token SEMICOLON ";" 
%token END 0 "end of file" 

%% 


stms : stms CHAR ";" 
| CHAR ";" 
| error ";" {yyerrok;} 
; 

%% 


I've used bison 3.0.2 and flex 2.5.37. 
I'm attaching all the code I used with this test. 

I was expecting two syntax error messages, and in fact I get those messages 
when I remove the parse.assert definition. 

I used g++ *.cpp -o test to compile the code, after bison and flex steps. 


Cheers, 
Antonio

assert_error.zip
Description: Binary data