Searched refs:static_inv_checked (Results 1 – 1 of 1) sorted by relevance
47 bool static_inv_checked, cv_inv_checked, const_inv_checked; variable48 void u::static_invariant() { static_inv_checked = true; } in static_invariant()55 static_inv_checked = cv_inv_checked = const_inv_checked = false; in main()57 assert(static_inv_checked); in main()61 static_inv_checked = cv_inv_checked = const_inv_checked = false; in main()63 assert(static_inv_checked); in main()67 static_inv_checked = cv_inv_checked = const_inv_checked = false; in main()69 assert(static_inv_checked); in main()73 static_inv_checked = cv_inv_checked = const_inv_checked = false; in main()75 assert(static_inv_checked); in main()[all …]