Gibt es eine Garantie für die Reihenfolge, in der C ++ Stack-Variablen zerstört werden?

Betrachten Sie den folgenden Code:

Gibt es eine Garantie, dass der p2-Destruktor vor dem Verlassen des Oszilloskops aufgerufen wird? Der gesunde Menschenverstand sagt, dass die Stapelvariablen zuerst von der Spitze des Stapels zerstört werden sollten, aber der C ++ - Compiler kann die Zuordnungen neu anordnen.