[PATCH] Fix the --enable-shared build

[Rafael Espíndola]

On 21 July 2014 14:48, Sanjoy Das <sanjoy at playingwithpointers.com> wrote:
> (Sorry for the delay, I was on vacation.)

Same reason for the delay on my side :-)

>> Given that it is a bug in recent gcc versions, wouldn't it be better
>> to test for it in cmake/configure and disable the optimization if it
>> is present?
>
> I'm not clear on what you mean by this: disable what optimization?

Passing -fno-devirtualize to broken gcc versions.

Cheers,
Rafael