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

#include <assert.h>
#include <sys/lamp.h>

struct Base
{
    virtual int add( int a, int b ) = 0;
};

struct Derived : Base
{
    int add( int a, int b ) override { return a + b; }
};

int main()
{
    Base *adder = new Derived;

    int a = __lamp_any_i32();
    int b = 1;

    if ( a > 0 && a < 100 )
        assert( adder->add( a, b ) > 1 );
    else
        return 0;
}