Add BOTAN_ASSERT_IMPLICATION macro

1 files changed, 13 insertions, 0 deletions

diff --git a/src/utils/assert.h b/src/utils/assert.h
index d92b41111..04b8ce4ed 100644
--- a/src/utils/assert.h
+++ b/src/utils/assert.h
@@ -46,6 +46,19 @@ void assertion_failure(const char* expr_str,
    } while(0)
 
 /**
+* Assert that expr1 (if true) implies expr2 is also true
+*/
+#define BOTAN_ASSERT_IMPLICATION(expr1, expr2, msg)        \
+   do {                                                    \
+     if((expr1) && !(expr2))                               \
+       Botan::assertion_failure(#expr1 " implies " #expr2, \
+                                msg,                       \
+                                  __func__,                \
+                                  __FILE__,                \
+                                  __LINE__);               \
+   } while(0)
+
+/**
 * Assert that a pointer is not null
 */
 #define BOTAN_ASSERT_NONNULL(ptr)                          \