Yes, I think that abort should empty the control-flow stack and the floating-point stack, and the document should be amended to specify that. The former is easy to specify, the latter has the complication that the core system has no floating-point stack. I still would specify it with the core abort rather than having an additional FP version of abort; such redefinitions have produced confusion among readers of the standard document in the past.
