[sr #108481] Assertion `!yytname_' failed.

[anonymous]

URL:
  <http://savannah.gnu.org/support/?108481>

                 Summary:  Assertion `!yytname_' failed.
                 Project: bison
            Submitted by: None
            Submitted on: Thu 23 Jan 2014 04:30:53 PM UTC
                Category: None
                Priority: 5 - Normal
                Severity: 3 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Originator Email: address@hidden
             Open/Closed: Open
         Discussion Lock: Any
        Operating System: GNU/Linux

    _______________________________________________________

Details:

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 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.

Cheers,
Antonio



    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Thu 23 Jan 2014 04:30:53 PM UTC  Name: assert_error.zip  Size: 34kB  
By: None
Example to reproduce the problem
<http://savannah.gnu.org/support/download.php?file_id=30354>

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/support/?108481>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/