Fix setting transaction end_status

Author: SpyCheese

crypto/block/transaction.cpp

@@ -3496,6 +3496,9 @@ bool Transaction::compute_state(const SerializeConfig& cfg) {
     if (frozen_hash == account.addr_orig) {
       // if frozen_hash equals account's "original" address (before rewriting), do not need storing hash
       CHECK(cb.store_long_bool(0, 2));  // account_uninit$00 = AccountState
+      if (cfg.global_version >= 13) {
+        acc_status = Account::acc_uninit;
+      }
     } else {
       CHECK(cb.store_long_bool(1, 2)              // account_frozen$01
             && cb.store_bits_bool(frozen_hash));  // state_hash:bits256
@@ -4238,6 +4241,7 @@ td::Status FetchConfigParams::fetch_config_params(
     action_phase_cfg->global_version = config.get_global_version();
   }
   {
+    serialize_cfg->global_version = config.get_global_version();
     serialize_cfg->extra_currency_v2 = config.get_global_version() >= 10;
     serialize_cfg->disable_anycast = config.get_global_version() >= 10;
     serialize_cfg->store_storage_dict_hash = config.get_global_version() >= 11;

crypto/block/transaction.h

@@ -186,6 +186,7 @@ struct ActionPhaseConfig {
 };
 
 struct SerializeConfig {
+  int global_version = 0;
   bool extra_currency_v2{false};
   bool disable_anycast{false};
   bool store_storage_dict_hash{false};

doc/GlobalVersions.md

@@ -290,4 +290,7 @@ The bounced message has the same 0th and 1st bits in `extra_flags` as the origin
 ## Version 13
 
 ### TVM changes
-- Instructions `LSHIFT`, `RSHIFT`, `LSHIFTDIV`, `MULRSHIFT`, `AND`, `OR` now correctly return an error (or `NaN`, if quiet) when one of the arguments is `NaN` (or out of bounds for shifts).
+- Instructions `LSHIFT`, `RSHIFT`, `LSHIFTDIV`, `MULRSHIFT`, `AND`, `OR` now correctly return an error (or `NaN`, if quiet) when one of the arguments is `NaN` (or out of bounds for shifts).
+
+### Transaction changes
+- `end_status` of a transaction is now correctly set to `uninit` when the account is frozen with `frozen_hash` equal to its address.

validator/impl/validate-query.cpp

@@ -1186,6 +1186,7 @@ bool ValidateQuery::fetch_config_params() {
     action_phase_cfg_.global_version = config_->get_global_version();
   }
   {
+    serialize_cfg_.global_version = config_->get_global_version();
     serialize_cfg_.extra_currency_v2 = config_->get_global_version() >= 10;
     serialize_cfg_.disable_anycast = config_->get_global_version() >= 10;
     serialize_cfg_.store_storage_dict_hash = config_->get_global_version() >= 11;