struct MyObj {
    int id;
    ~MyObj() {}
};

void foo(bool cond) {
    MyObj b;
    for (; cond;) {
        MyObj a;
        MyObj* p = &b;
        if (cond) {
            p = &a; //  error: object whose reference is captured may not live long enough. <Bad!>
        }
        (void)*p; // note: later used here.
    } // note: destroyed here.
}