From 9ca34ef98e1a9a8fc93c1b4a80334b809c77b698 Mon Sep 17 00:00:00 2001
From: Frank Denis <github@pureftpd.org>
Date: Mon, 19 Oct 2015 10:47:24 +0200
Subject: [PATCH] Work around a GCC VRP bug.

Spotted on:

gcc (SUSE Linux) 5.1.1 20150713 [gcc-5-branch revision 225736]
openSUSE 20151014 (armv7hl)
VERSION = 20151014
CODENAME = Tumbleweed
---
 src/libsodium/crypto_sign/ed25519/ref10/sc_muladd.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/libsodium/crypto_sign/ed25519/ref10/sc_muladd.c b/src/libsodium/crypto_sign/ed25519/ref10/sc_muladd.c
index ccf4a682..8d2f54ff 100644
--- a/src/libsodium/crypto_sign/ed25519/ref10/sc_muladd.c
+++ b/src/libsodium/crypto_sign/ed25519/ref10/sc_muladd.c
@@ -33,6 +33,7 @@ Output:
   where l = 2^252 + 27742317777372353535851937790883648493.
 */
 
+#pragma GCC optimize ("no-tree-vrp")
 void sc_muladd(unsigned char *s,const unsigned char *a,const unsigned char *b,const unsigned char *c)
 {
   crypto_int64 a0 = 2097151 & load_3(a);