tpm2_context: replace static_cast with checked_cast_to

randombit · Dec 17, 2024 · b307ce8 · b307ce8
1 parent 54ef29e
commit b307ce8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/lib/prov/tpm2/tpm2_context.cpp b/src/lib/prov/tpm2/tpm2_context.cpp
@@ -12,6 +12,7 @@
 #include <botan/tpm2_session.h>
 
 #include <botan/internal/fmt.h>
+#include <botan/internal/int_utils.h>
 #include <botan/internal/loadstor.h>
 #include <botan/internal/stl_util.h>
 #include <botan/internal/tpm2_algo_mappings.h>
@@ -197,7 +198,7 @@ template <TPM2_CAP capability, typename ReturnT>
       const auto new_properties = extract(capability_data->data, count);
       BOTAN_ASSERT_NOMSG(new_properties.size() <= count);
       properties.insert(properties.end(), new_properties.begin(), new_properties.end());
-      count -= static_cast<uint32_t>(new_properties.size());
+      count -= checked_cast_to<uint32_t>(new_properties.size());
    }
 
    return properties;