/* TAGS: min */
/* VERIFY_OPTS: -o nofail:malloc */

// V: safety
// V: local    V_OPT: --nontermination local   ERR: error trace: critical section; stack: location: .*loop-single.*:17$
// V: global   V_OPT: --nontermination global ERR: error trace: .*

#include <mutex>

int main() {
    std::mutex mtx;
    {
        std::lock_guard< std::mutex > _g( mtx );
    }
    {
        std::lock_guard< std::mutex > _g( mtx );
        while ( true ) { }
    }
}