Branch: Tag:

2014-11-04

2014-11-04 15:07:12 by Stephen R. van den Berg <srb@cuci.nl>

push_integer() -> push_int().

437: Inside #if SIZEOF_FLOAT_TYPE != SIZEOF_INT_TYPE
   {   #if SIZEOF_FLOAT_TYPE != SIZEOF_INT_TYPE    if( UNLIKELY(arg2)==PIKE_T_INT ) -  push_integer( *(INT_TYPE*)ptr ); +  push_int( *(INT_TYPE*)ptr );    else    push_float( *(FLOAT_TYPE*)ptr );   #else