// S : tags   error todo sym c++  $TAGS
// S : expect --result error --location-comment ERROR
// S : cc     -o test.bc -O1 $CC_OPT $file
// S : verify --symbolic $V_OPT test.bc

#include <cassert>

extern "C" {
int __lamp_any_i32();
}

struct S { int a, b, c; };

S foo() {
    S s;
    s.b = __lamp_any_i32();
    return s;
}

int main() {
    assert( foo().b == 0 ); /* ERROR */
}