// S : tags   sym c++  $TAGS
// S : expect --result valid
// S : cc     -o test.bc  $CC_OPT $file
// S : verify --symbolic --lart stubs $V_OPT test.bc

#include <sys/lamp.h>

#include <cstdint>
#include <cassert>

int foo( int val ) {
    return val;
}

extern int ibari( int val );

int main() {
    int val = __lamp_any_i32();
    if ( val < 0 ) {
        auto fn = val < 0 ? &foo : &ibari;
        int ret = fn( val );
        assert( val < 0 );
    }
}