Re: [Opencxx-users] Re: [Synopsis-devel] constant expression anal yzer and 'sizeof'

[David A. <da...@bo...>]

Stefan Seefeld <sse...@ar...> writes:

> Hi David,
>
> David Abrahams wrote:
>
>>  sizeof(char) == 1
>>  sizeof(char[2]) == 2
>>  sizeof(char(&)[2]) == 2
>>  sizeof(char[3]) == 3
>>  sizeof(X[N]) == N * sizeof(X)
>>
>>There are programs that rely on these relationships.
>
> This is the kind of invariants I'm looking for, thanks !
>
>>You're going to need to build in full overload resolution and
>>template instantiation capability, which is no small job.
>
> [...]
>
>>Even though it's a big job, it would be a great service to the C++
>>community.  I could probably find people to help you with it.
>
> That would be more than welcome. I'm currently refactoring
> the C++ parser code adding support for this kind of analysis.
> Progress can be tracked via the various unit tests I'm putting
> into place.
>
> I'd very much appreciate any help I could get in defining
> what exactly needs to be done, and of course, in designing and
> implementing it.

Why don't you put out a call for volunteers on the boost-devel list?  I
will immediately follow up with an endorsement.

-- 
Dave Abrahams
Boost Consulting
http://www.boost-consulting.com