Re: [creduce-dev] [creduce] Fixed compilation with trunk of Clang. (#16)

[John Regehr]

I'm aware that creduce targets stable releases, however I think this
patch can be useful for upgrade to 3.3

Thanks!

Yang, you might as well move over to pre-3.3 at some point-- there's a 
release branch already so I would expect it's not going to change much now.

Konstantin, we will be getting back to do some more active C-Reduce 
development soon.  Are there any particular passes that you've noticed 
are missing?

The testcases below seem to indicate that we are doing OK for real-world 
C++ but that there's a bit of obvious room for improvement in giving 
short names to methods and to classes inside templates.

John





class A;
class B
{
    void ForcePFrame ();
    void FrameDualPrimeCand (A[][0]);
};
void
B::ForcePFrame ()
{
}






template < int >class A
{
    class PixelSorterBranchNode;
    class PixelSorterBranchNode
    {
        enum
        { m_knBranches };
        PixelSorterBranchNode *m_apBranches[m_knBranches];
    };
    PixelSorterBranchNode m_oPixelSorter;
};
class B
{
    A < 0 > m_oSearchWindow;
};