Searched refs:cv_inv_checked (Results 1 – 1 of 1) sorted by relevance
47 bool static_inv_checked, cv_inv_checked, const_inv_checked; variable49 void u::invariant() const volatile { cv_inv_checked = true; } in invariant()55 static_inv_checked = cv_inv_checked = const_inv_checked = false; in main()58 assert(cv_inv_checked); in main()61 static_inv_checked = cv_inv_checked = const_inv_checked = false; in main()64 assert(!cv_inv_checked); in main()67 static_inv_checked = cv_inv_checked = const_inv_checked = false; in main()70 assert(!cv_inv_checked); in main()73 static_inv_checked = cv_inv_checked = const_inv_checked = false; in main()76 assert(cv_inv_checked); in main()[all …]