in reply to Re^7: perl inline::c sorting problem (implicit coercion)
in thread perl inline::c sorting problem

Hence, I attribute their absence to "the magic of XS".

With the test2() sub, the compiler sees it is *inevitable* that the conversion from IV/UV to double will occur - and warns accordingly.

With the test() sub, that inevitability does not exist (as there's the possibility that SvNSIV() defines an NV), and the compiler recognises this. Therefore the warning cannot be given.

For example, with this modification, the warning disappears: 
#define IIII(sv) (SvIOK(sv) ? SvIV(sv) : SvNV(sv))
#define UUUU(sv) (SvUOK(sv) ? SvUV(sv) : SvNV(sv))

void test2 ( SV *sv ) {
    double d = IIII( sv );
    double d2 = UUUU( sv );
    return;
}

[download]
Cheers,
Rob

Replies are listed 'Best First'.
Re^9: perl inline::c sorting problem (implicit coercion)
by BrowserUk (Patriarch) on May 03, 2009 at 10:41 UTC

    That does explain it. I was still leery of what goings on inside the SvIOK/SvUOK macros might be influencing it, so I substituted a volatile variable as the conditional: 

    volatile int n;

void test2 ( SV *sv ) {
    double d1 = n ? SvNV( sv ) : SvIV( sv );
    double d2 = n ? SvNV( sv ) : SvUV( sv );
    return;
}

    [download]

    And sure enough that silenced the warnings.

    Whilst that definitively takes XS off the hook, moving it to either the C/C++ standard or the compiler, it still leaves a bad taste in the mouth. Given this is a warning rather than an error; and that even the wording "possible loss of data" hedges its bets; I'd personally prefer the warning to be issued if there is the 'possibility of data loss', rather than not issued if there is the 'possibility that no data will be lost'.

    That said, given my enmity for things like const correctness and PerlCritic, I wonder if I'm in danger of asking for a similar level of cry-wolfism?

    Examine what is said, not who speaks -- Silence betokens consent -- Love the truth but pardon error.
    "Science is about questioning the status quo. Questioning authority".
    In the absence of evidence, opinion is indistinguishable from prejudice.
[reply]
[d/l]

In Section Seekers of Perl Wisdom