The list in the note in [except.terminate]/p1 is missing one instance where terminate() can be called: when the wait* functions of condition_variable and condition_variable_any fail to meet their postcondition.