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

#include <assert.h>
#include <stdlib.h>

extern "C" void * __lamp_lift_objid( void * p );

#define noinline __attribute__((__noinline__))

noinline void test( char * a, char * b ) { assert( a != b ); }

int main()
{
    char * x = (char *)__lamp_lift_objid( malloc(1) );
    char * y = (char *)__lamp_lift_objid( malloc(1) );
    if ( x && y )
        test( x, y );
    free( x );
    free( y );
}