Joel de Guzman — Fri, 10 Oct 2008 09:10:56 GMT

Seems more like a problem of boost optional than spirit. You can try isolating the code with using boost optional alone (without spirit). If the problem persists, then you can send the problem report to the optional author.

slava@… — Mon, 13 Oct 2008 08:03:41 GMT

Yes, it appears to be a problem with boost::optional. The following simple test fails if compiled with struct member alignment=1 or 2 bytes, and everything is OK when alignment is set to 4 or more bytes:

#include <boost/optional.hpp>
boost::optional<int> test_func(int i) {
	if(i) return boost::optional<int>(1234);
	else return boost::optional<int>();
}
int main(int argc, char* argv[])
{
	test_func(1);
	return 0;
}

The errors are:

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=4
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=4
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=int
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=int
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=int
1>        ]
1>        d:\users\slava\test\test.cpp(8) : see reference to class template instantiation 'boost::optional<T>' being compiled
1>        with
1>        [
1>            T=int
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>        ]

Joel de Guzman — Mon, 13 Oct 2008 08:24:42 GMT

Ok. I suggest you add a new trac ticket for boost optional and close this one.

slava@… — Mon, 13 Oct 2008 12:12:26 GMT

I've created ticket #2409, but I have no permission to close this one.

status changed; resolution set

Joel de Guzman — Mon, 13 Oct 2008 12:28:16 GMT

status new → closed
resolution → invalid

Boost C++ Libraries: Ticket #2402: boost::spirit (boost-1.36.0) parsers fail to compile on MSVS 9.0 with struct member alignment being set to 1 byte

status changed; resolution set