synced to HEAD

diff --git a/check/exam_paranoia.cpp b/check/exam_paranoia.cpp
index 55dd9e85c7ac3313753dad46f0ae54f3178afcdc..4eeac03eea9091ad4c876a2f40ad218be10c74a8 100644 (file)
--- a/check/exam_paranoia.cpp
+++ b/check/exam_paranoia.cpp
@@ -426,6 +426,14 @@ static unsigned exam_paranoia16(void)
                ++result;
        }
 
+       e1 = a*(a+b);
+       e2 = pow(pow(e1, -1), -1);
+
+       if (e2.has(a*b)) {
+               clog << "double reciprocal expanded where it should not\n";
+               ++result;
+       }
+
        return result;
 }