[openssl] OpenSSL_1_1_0-stable update
bernd.edlinger at hotmail.de
bernd.edlinger at hotmail.de
Sun Jul 21 08:11:00 UTC 2019
The branch OpenSSL_1_1_0-stable has been updated
via 92a2f01ea40ec52f8f77893ff433dc47c1f5b9ef (commit)
from 69ae4153af5a6e62369611b694748c846a461d02 (commit)
- Log -----------------------------------------------------------------
commit 92a2f01ea40ec52f8f77893ff433dc47c1f5b9ef
Author: Bernd Edlinger <bernd.edlinger at hotmail.de>
Date: Fri Jun 21 21:26:19 2019 +0200
Add value_barriers in constant time select functions
The barriers prevent the compiler from narrowing down the
possible value range of the mask and ~mask in the select
statements, which avoids the recognition of the select
and turning it into a conditional load or branch.
Reviewed-by: Paul Dale <paul.dale at oracle.com>
(Merged from https://github.com/openssl/openssl/pull/9418)
-----------------------------------------------------------------------
Summary of changes:
include/internal/constant_time_locl.h | 20 +++++++++++++++++++-
1 file changed, 19 insertions(+), 1 deletion(-)
diff --git a/include/internal/constant_time_locl.h b/include/internal/constant_time_locl.h
index 18d2f56..b702675 100644
--- a/include/internal/constant_time_locl.h
+++ b/include/internal/constant_time_locl.h
@@ -158,11 +158,29 @@ static ossl_inline unsigned char constant_time_eq_int_8(int a, int b)
return constant_time_eq_8((unsigned)(a), (unsigned)(b));
}
+/*
+ * Returns the value unmodified, but avoids optimizations.
+ * The barriers prevent the compiler from narrowing down the
+ * possible value range of the mask and ~mask in the select
+ * statements, which avoids the recognition of the select
+ * and turning it into a conditional load or branch.
+ */
+static ossl_inline unsigned int value_barrier(unsigned int a)
+{
+#if !defined(OPENSSL_NO_ASM) && defined(__GNUC__)
+ unsigned int r;
+ __asm__("" : "=r"(r) : "0"(a));
+#else
+ volatile unsigned int r = a;
+#endif
+ return r;
+}
+
static ossl_inline unsigned int constant_time_select(unsigned int mask,
unsigned int a,
unsigned int b)
{
- return (mask & a) | (~mask & b);
+ return (value_barrier(mask) & a) | (value_barrier(~mask) & b);
}
static ossl_inline unsigned char constant_time_select_8(unsigned char mask,
More information about the openssl-commits
mailing list