// S : tags   error pointers min sym  $TAGS
// S : expect --result error --location-comment ERROR
// S : cc     -o test.bc  $CC_OPT $file
// S : verify -o nofail:malloc --lamp pointers --symbolic $V_OPT test.bc

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

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

using ptr = int*;

int main() {
    int *x = ptr( malloc( sizeof( int ) ) );
    int *xp = ptr( __lamp_lift_objid( x ) );
    free( xp );
    int *y = ptr( malloc( sizeof( int ) ) );
    int *yp = ptr( __lamp_lift_objid( y ) );
    assert( xp == yp ); /* ERROR */
    free( yp );
}