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

#include <assert.h>

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

int main() {
    void *p = nullptr;
    auto *x = __lamp_lift_objid( p );

    struct S { int x, y; } s;
    auto *y = __lamp_lift_objid( &s.y );
}