* src/SDCCast.c (isConformingBody): fixed bug 1505811, thanks Robert Larice