id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
2402,boost::spirit (boost-1.36.0) parsers fail to compile on MSVS 9.0 with struct member alignment being set to 1 byte,slava@…,Joel de Guzman,"When I try to compile the following code with MSVS 9.0 and boost-1.36.0 with struct member alignment being set to 1 byte, it fails with boost::STATIC_ASSERTION_FAILURE

The code:

{{{
parse_info<std::wstring::const_iterator> pi= parse(SrchNM.begin(), SrchNM.end(),
			as_lower_d[
			!(str_p(""w/""))[assign_a(prefix_is_w, true)] //prefix
			>> !list_p(
				(+(anychar_p - '=' - ',' - '@'))[assign_a(last_attr_name)]
				>> '=' 
				>> (+(anychar_p - '=' - ',' - '@'))[MapInserter<StrMap>(srch_attrs, last_attr_name)]
				,
				','
				)
			>> !ch_p('@')
			>> (*anychar_p)[assign_a(srch_word)]
			]);
}}}

The errors reported:

{{{
1>d:\users\slava\etap\external\boost\boost\type_traits\type_with_alignment.hpp(206) : error C2027: use of undefined type 'boost::STATIC_ASSERTION_FAILURE<x>'
1>        with
1>        [
1>            x=false
1>        ]
1>        d:\users\slava\etap\external\boost\boost\type_traits\type_with_alignment.hpp(218) : see reference to class template instantiation 'boost::detail::type_with_alignment_imp<Align>' being compiled
1>        with
1>        [
1>            Align=2
1>        ]
1>        d:\users\slava\etap\external\boost\boost\optional\optional.hpp(112) : see reference to class template instantiation 'boost::type_with_alignment<Align>' being compiled
1>        with
1>        [
1>            Align=2
1>        ]
1>        d:\users\slava\etap\external\boost\boost\optional\optional.hpp(113) : see reference to class template instantiation 'boost::optional_detail::aligned_storage<T>::dummy_u' being compiled
1>        with
1>        [
1>            T=unsigned short
1>        ]
1>        d:\users\slava\etap\external\boost\boost\optional\optional.hpp(448) : see reference to class template instantiation 'boost::optional_detail::aligned_storage<T>' being compiled
1>        with
1>        [
1>            T=unsigned short
1>        ]
1>        d:\users\slava\etap\external\boost\boost\optional\optional.hpp(455) : see reference to class template instantiation 'boost::optional_detail::optional_base<T>' being compiled
1>        with
1>        [
1>            T=unsigned short
1>        ]
1>        d:\users\slava\etap\external\boost\boost\spirit\home\classic\core\match.hpp(69) : see reference to class template instantiation 'boost::optional<T>' being compiled
1>        with
1>        [
1>            T=unsigned short
1>        ]
1>        d:\users\slava\etap\external\boost\boost\spirit\home\classic\core\composite\optional.hpp(56) : see reference to class template instantiation 'boost::spirit::match<T>' being compiled
1>        with
1>        [
1>            T=unsigned short
1>        ]
1>        d:\users\slava\etap\external\boost\boost\spirit\home\classic\core\composite\sequence.hpp(56) : see reference to function template instantiation 'boost::spirit::match<boost::spirit::nil_t> boost::spirit::optional<S>::parse<ScannerT>(const ScannerT &) const' being compiled
1>        with
1>        [
1>            S=boost::spirit::chlit<char>,
1>            ScannerT=boost::spirit::scanner<std::_String_iterator<wchar_t,std::char_traits<wchar_t>,std::allocator<wchar_t>>,boost::spirit::scanner_policies<boost::spirit::inhibit_case_iteration_policy<boost::spirit::iteration_policy>,boost::spirit::match_policy,boost::spirit::action_policy>>
1>        ]
1>        d:\users\slava\etap\external\boost\boost\spirit\home\classic\core\composite\sequence.hpp(55) : see reference to function template instantiation 'boost::spirit::match<boost::spirit::nil_t> boost::spirit::sequence<A,B>::parse<ScannerT>(const ScannerT &) const' being compiled
1>        with
1>        [
1>            A=boost::spirit::sequence<boost::spirit::optional<boost::spirit::action<boost::spirit::strlit<const char *>,boost::spirit::ref_const_ref_actor<bool,bool,boost::spirit::assign_action>>>,boost::spirit::optional<boost::spirit::list_parser<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>,boost::spirit::chlit<char>>,boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,`anonymous-namespace'::MapInserter<StrMap>>>,boost::spirit::chlit<char>,boost::spirit::no_list_endtoken,boost::spirit::binary_parser_category>>>,
1>            B=boost::spirit::optional<boost::spirit::chlit<char>>,
1>            ScannerT=boost::spirit::scanner<std::_String_iterator<wchar_t,std::char_traits<wchar_t>,std::allocator<wchar_t>>,boost::spirit::scanner_policies<boost::spirit::inhibit_case_iteration_policy<boost::spirit::iteration_policy>,boost::spirit::match_policy,boost::spirit::action_policy>>
1>        ]
1>        d:\users\slava\etap\external\boost\boost\spirit\home\classic\core\composite\impl\directives.ipp(141) : see reference to function template instantiation 'boost::spirit::match<boost::spirit::nil_t> boost::spirit::sequence<A,B>::parse<boost::spirit::scanner<IteratorT,PoliciesT>>(const ScannerT &) const' being compiled
1>        with
1>        [
1>            A=boost::spirit::sequence<boost::spirit::sequence<boost::spirit::optional<boost::spirit::action<boost::spirit::strlit<const char *>,boost::spirit::ref_const_ref_actor<bool,bool,boost::spirit::assign_action>>>,boost::spirit::optional<boost::spirit::list_parser<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>,boost::spirit::chlit<char>>,boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,`anonymous-namespace'::MapInserter<StrMap>>>,boost::spirit::chlit<char>,boost::spirit::no_list_endtoken,boost::spirit::binary_parser_category>>>,boost::spirit::optional<boost::spirit::chlit<char>>>,
1>            B=boost::spirit::action<boost::spirit::kleene_star<boost::spirit::anychar_parser>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>,
1>            IteratorT=std::_String_iterator<wchar_t,std::char_traits<wchar_t>,std::allocator<wchar_t>>,
1>            PoliciesT=boost::spirit::scanner_policies<boost::spirit::inhibit_case_iteration_policy<boost::spirit::iteration_policy>,boost::spirit::match_policy,boost::spirit::action_policy>,
1>            ScannerT=boost::spirit::scanner<std::_String_iterator<wchar_t,std::char_traits<wchar_t>,std::allocator<wchar_t>>,boost::spirit::scanner_policies<boost::spirit::inhibit_case_iteration_policy<boost::spirit::iteration_policy>,boost::spirit::match_policy,boost::spirit::action_policy>>
1>        ]
1>        d:\users\slava\etap\external\boost\boost\spirit\home\classic\core\composite\directives.hpp(163) : see reference to function template instantiation 'RT boost::spirit::impl::inhibit_case_parser_parse<result_t,T,ScannerT>(const ST &,const ScannerT &,const boost::spirit::iteration_policy &)' being compiled
1>        with
1>        [
1>            RT=result_t,
1>            T=boost::spirit::sequence<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::optional<boost::spirit::action<boost::spirit::strlit<const char *>,boost::spirit::ref_const_ref_actor<bool,bool,boost::spirit::assign_action>>>,boost::spirit::optional<boost::spirit::list_parser<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>,boost::spirit::chlit<char>>,boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,`anonymous-namespace'::MapInserter<StrMap>>>,boost::spirit::chlit<char>,boost::spirit::no_list_endtoken,boost::spirit::binary_parser_category>>>,boost::spirit::optional<boost::spirit::chlit<char>>>,boost::spirit::action<boost::spirit::kleene_star<boost::spirit::anychar_parser>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>>,
1>            ScannerT=boost::spirit::scanner<std::_String_iterator<wchar_t,std::char_traits<wchar_t>,std::allocator<wchar_t>>,boost::spirit::scanner_policies<>>,
1>            ST=boost::spirit::sequence<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::optional<boost::spirit::action<boost::spirit::strlit<const char *>,boost::spirit::ref_const_ref_actor<bool,bool,boost::spirit::assign_action>>>,boost::spirit::optional<boost::spirit::list_parser<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>,boost::spirit::chlit<char>>,boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,`anonymous-namespace'::MapInserter<StrMap>>>,boost::spirit::chlit<char>,boost::spirit::no_list_endtoken,boost::spirit::binary_parser_category>>>,boost::spirit::optional<boost::spirit::chlit<char>>>,boost::spirit::action<boost::spirit::kleene_star<boost::spirit::anychar_parser>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>>
1>        ]
1>        d:\users\slava\etap\external\boost\boost\spirit\home\classic\core\impl\parser.ipp(30) : see reference to function template instantiation 'boost::spirit::match<boost::spirit::nil_t> boost::spirit::inhibit_case<ParserT>::parse<boost::spirit::scanner<IteratorT,PoliciesT>>(const ScannerT &) const' being compiled
1>        with
1>        [
1>            ParserT=boost::spirit::sequence<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::optional<boost::spirit::action<boost::spirit::strlit<const char *>,boost::spirit::ref_const_ref_actor<bool,bool,boost::spirit::assign_action>>>,boost::spirit::optional<boost::spirit::list_parser<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>,boost::spirit::chlit<char>>,boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,`anonymous-namespace'::MapInserter<StrMap>>>,boost::spirit::chlit<char>,boost::spirit::no_list_endtoken,boost::spirit::binary_parser_category>>>,boost::spirit::optional<boost::spirit::chlit<char>>>,boost::spirit::action<boost::spirit::kleene_star<boost::spirit::anychar_parser>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>>,
1>            IteratorT=std::_String_iterator<wchar_t,std::char_traits<wchar_t>,std::allocator<wchar_t>>,
1>            PoliciesT=boost::spirit::scanner_policies<>,
1>            ScannerT=boost::spirit::scanner<std::_String_iterator<wchar_t,std::char_traits<wchar_t>,std::allocator<wchar_t>>,boost::spirit::scanner_policies<>>
1>        ]
1>        d:\users\slava\etap\projects\tagged\tgtproc\tgtproc.cpp(1329) : see reference to function template instantiation 'boost::spirit::parse_info<IteratorT> boost::spirit::parse<std::_String_iterator<_Elem,_Traits,_Alloc>,boost::spirit::inhibit_case<ParserT>>(const IteratorT &,const IteratorT &,const boost::spirit::parser<DerivedT> &)' being compiled
1>        with
1>        [
1>            IteratorT=std::_String_iterator<wchar_t,std::char_traits<wchar_t>,std::allocator<wchar_t>>,
1>            _Elem=wchar_t,
1>            _Traits=std::char_traits<wchar_t>,
1>            _Alloc=std::allocator<wchar_t>,
1>            ParserT=boost::spirit::sequence<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::optional<boost::spirit::action<boost::spirit::strlit<const char *>,boost::spirit::ref_const_ref_actor<bool,bool,boost::spirit::assign_action>>>,boost::spirit::optional<boost::spirit::list_parser<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>,boost::spirit::chlit<char>>,boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,`anonymous-namespace'::MapInserter<StrMap>>>,boost::spirit::chlit<char>,boost::spirit::no_list_endtoken,boost::spirit::binary_parser_category>>>,boost::spirit::optional<boost::spirit::chlit<char>>>,boost::spirit::action<boost::spirit::kleene_star<boost::spirit::anychar_parser>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>>,
1>            DerivedT=boost::spirit::inhibit_case<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::optional<boost::spirit::action<boost::spirit::strlit<const char *>,boost::spirit::ref_const_ref_actor<bool,bool,boost::spirit::assign_action>>>,boost::spirit::optional<boost::spirit::list_parser<boost::spirit::sequence<boost::spirit::sequence<boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>,boost::spirit::chlit<char>>,boost::spirit::action<boost::spirit::positive<boost::spirit::difference<boost::spirit::difference<boost::spirit::difference<boost::spirit::anychar_parser,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>,boost::spirit::chlit<char>>>,`anonymous-namespace'::MapInserter<StrMap>>>,boost::spirit::chlit<char>,boost::spirit::no_list_endtoken,boost::spirit::binary_parser_category>>>,boost::spirit::optional<boost::spirit::chlit<char>>>,boost::spirit::action<boost::spirit::kleene_star<boost::spirit::anychar_parser>,boost::spirit::ref_value_actor<std::wstring,boost::spirit::assign_action>>>>
1>        ]
1>d:\users\slava\etap\external\boost\boost\type_traits\type_with_alignment.hpp(207) : error C2027: use of undefined type 'boost::STATIC_ASSERTION_FAILURE<x>'
1>        with
1>        [
1>            x=false
1>        ]
}}}

Increasing struct member alignment to 2 or more bytes solves the problem. The same code gives no errors with boost-1.35.0 even with alignment=1byte.",Bugs,closed,Boost 1.37.0,spirit,Boost 1.36.0,Problem,invalid,,