Bug avec boost::spirit::qi et flag -O2

Bug avec boost::spirit::qi et flag -O2 - C++ - Programmation

Marsh Posté le 11-03-2014 à 14:49:51    

Hi there :hello:

 

J'ai écris un parseur de fichier texte en utilisant boost::spirit::qi qui marche très bien.
Je viens d'essayer de compiler en release (avec le flag -O2) et là, il est incapable de me parser mon fichier :sweat:

 

Voilà la class qui gère les règles :

 

(mp::Property est une structure, mp::Type est un enum, MaterialInfo est la structure renvoyée )

 
Code :
  1. //-------------------------------------------------------
  2. // Material parser
  3. // Performs the parsing
  4. template < typename iterator_t, typename skipper_t >
  5. class MaterialParser : public qi::grammar< iterator_t, Graphic::MaterialInfo(), skipper_t >
  6. {
  7.     private:
  9.         //----------------------------------------------------
  10.         // Rules
  11.         qi::rule< iterator_t, std::string() > GenericStringRule;
  12.         qi::rule< iterator_t, mp::Property(), skipper_t > PropertyRule;
  13.         qi::rule< iterator_t, std::vector<mp::Property>(), skipper_t > PropertiesGroupRule; 
  15.         qi::rule< iterator_t, Graphic::MaterialInfo(), skipper_t > MaterialRule;
  16.         //-----------------------------------------------------
  18.         //-----------------------------------------------------
  19.         // Symbols
  20.         qi::symbols< char, mp::Type > PropertyTypeSymbols;
  21.         //-----------------------------------------------------
  23.     public:
  24.         MaterialParser() : MaterialParser::base_type( MaterialRule )
  25.         {
  26.             //-----------------------------------
  27.             // Set-up symbols ( properties types )
  28.             PropertyTypeSymbols.add
  29.                   ("int", mp::TYPE_int)
  30.                  ("uint", mp::TYPE_uint)
  31.                 ("float", mp::TYPE_float)
  33.                 ("ivec2", mp::TYPE_ivec2)
  34.                 ("ivec3", mp::TYPE_ivec3)
  35.                 ("ivec4", mp::TYPE_ivec4)
  37.                 ("uvec2", mp::TYPE_uvec2)
  38.                 ("uvec3", mp::TYPE_uvec3)
  39.                 ("uvec4", mp::TYPE_uvec4)
  41.                  ("vec2", mp::TYPE_vec2)
  42.                  ("vec3", mp::TYPE_vec3)
  43.                  ("vec4", mp::TYPE_vec4);
  44.             //-----------------------------------
  46.             //-----------------------------------
  47.             // Generic string rule
  48.             // a-z, A-Z, 0-9, _
  49.             GenericStringRule = +(ascii::char_("a-zA-Z0-9_" ));
  50.             GenericStringRule.name("string" );
  51.             //-----------------------------------
  53.             //-----------------------------------
  54.             // Property rule
  55.             // {type} {name};
  56.             PropertyRule = (PropertyTypeSymbols) > (GenericStringRule) > (qi::lit(";" ));
  57.             //-----------------------------------
  59.             //-----------------------------------
  60.             // Group rule
  61.             // name { [...] }
  62.             PropertiesGroupRule = (qi::lit("properties" )) > (qi::lit("{" )) > (*PropertyRule) > (qi::lit("}" ));
  63.             //-----------------------------------
  65.             MaterialRule = +( (PropertiesGroupRule[ phx::bind( &Graphic::MaterialInfo::SetProperties, qi::_val, qi::_1 ) ]) );
  66.         }
  68. };
  69. //-------------------------------------------------------
 

Pour ce qui est de l'invocation, ça se passe comme ça :

 
Code :
  1. Graphic::MaterialInfo ParseMaterial( std::istream& Input, const std::string& RefFileName )
  2. {
  3.     //-------------------------------------------------------------------------
  4.     // Aliases declaration
  5.     using base_iterator_type = std::istreambuf_iterator<char> ;
  6.     using forward_iterator_type = boost::spirit::multi_pass<base_iterator_type>;
  7.     using pos_iterator_type = classic::position_iterator2<forward_iterator_type>;
  8.     //-------------------------------------------------------------------------
  10.     //-------------------------------------------------------------------------
  11.     // Generate all iterators, initialize them
  12.     base_iterator_type InputIt ( Input );
  14.     forward_iterator_type fwd_first = boost::spirit::make_default_multi_pass( InputIt );
  15.     forward_iterator_type fwd_last;
  17.     pos_iterator_type pos_first(fwd_first, fwd_last, RefFileName );
  18.     pos_iterator_type pos_last;
  19.     //-------------------------------------------------------------------------
  21.     Graphic::MaterialInfo Result;
  22.     MaterialParser<pos_iterator_type, ascii::space_type > Parser;
  24.     try
  25.     {
  26.         //-------------------------
  27.         // Perform the actual parse
  28.         bool r = qi::phrase_parse(
  29.                 pos_first, pos_last,
  30.                 Parser,
  31.                 ascii::space,
  32.                 Result
  33.         );
  34.         //-------------------------
  36.         //-------------------------------
  37.         // Check for completeness
  38.         if (!r || pos_first != pos_last)
  39.         {
  40.             std::stringstream Message;
  41.             const classic::file_position_base<std::string>& Pos = pos_first.get_position();
  42.             Message<<"Line # "<<Pos.line <<" at position "<< Pos.column<<std::endl;
  43.             Message<<pos_first.get_currentline()<<std::endl;
  44.             for ( int i=1;i<Pos.column;++i) Message<<' ';
  45.             Message<<"^ here"<<std::endl;
  47.             throw std::runtime_error( Message.str() );
  48.         }
  49.         //-------------------------------
  50.     }
  51.     // Pas le catch ici, l'erreur est reportée dans la condition if !r || pos_first != post_last )
  53.     return Result;
  54. }
 

Toutes les structures parsées par les règles sont adaptés à boost::spirit::qi avec BOOST_FUSION_ADAPT_STRUCT (certaine le sont partiellement ceci-dit, j'ai des attributs de ces structures qui ne sont pas utilisés par le parseur, ça peut être gênant ? :??:)

 

Mon fichier d'entrée :

 
Code :
  1. properties {
  2.         int i;
  3.         uint u;
  4.         float f;
  5. }
 

Et le parser se stop dès le première caractère, il m'affiche ça :

 


Line # 1 at position 1
properties {
^ here

 

Je sais pas tellement ce qui se passe, on dirait que le compilateur optimise les opérateurs utilisés pour générer les règles, mais j'ai pas trouvé grand chose sur internet :/

 

Merci à vous :jap:

 

edit : J'ai oublié de préciser, les namespace boost sont ré-associés pour raccourcir un peu (dans le cpp) :

 
Code :
  1. namespace qi = boost::spirit::qi;
  2. namespace ascii = boost::spirit::ascii;
  3. namespace classic = boost::spirit::classic;
  4. namespace phx = boost::phoenix;


Message édité par Terminapor le 11-03-2014 à 14:51:29

---------------
Perhaps you don't deserve to breathe
Reply

Marsh Posté le 11-03-2014 à 14:49:51   

Reply

Marsh Posté le 11-03-2014 à 16:27:33    

Je up vite fait, j'ai trouvé la source du problème.

 

Ca vient de classic::position_iterator2 apparemment :

 
Code :
  1. using base_iterator_type = std::istreambuf_iterator<char> ;
  2. using forward_iterator_type = boost::spirit::multi_pass<base_iterator_type>;
  3. using pos_iterator_type = classic::position_iterator<forward_iterator_type>;
  5. base_iterator_type Input_ ( Input );
  7. forward_iterator_type fwd_first = boost::spirit::make_default_multi_pass( Input_ );
  8. forward_iterator_type fwd_last;
  10. pos_iterator_type pos_first(fwd_first, fwd_last, fName );
  11. pos_iterator_type pos_last;
 

Si j'utilise pos_first / pos_last dans boost::qi::phrase_parse, ça marche sans optimisation, mais -O2 ruine tout (testé sur un exemple tout simple de parsing de nombres "1, 2, 3, etc" ).
Si j'utilise fwd_first / fwd_last, là les deux sont bons.

 

J'utilise Boost 1.54, je vais tenter de recompiler cet exemple avec -O2 sur la version 1.55 et je mettrai à jour ce post. :jap:

 

edit : Recompilé avec Boost 1.55, aucun soucis en debug/release :jap:


Message édité par Terminapor le 11-03-2014 à 16:52:23

---------------
Perhaps you don't deserve to breathe
Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed