From 76abbe694e33d767455cc6ea61a0eac56b1c1401 Mon Sep 17 00:00:00 2001
From: Marc Glisse <marc.glisse@inria.fr>
Date: Fri, 11 Jan 2019 23:11:33 +0100
Subject: [PATCH] __builtin_shuffle appeared in gcc-4.7

__builtin_shufflevector was already in clang-3.1, and CGAL only supports
6+, so at least that is safe.
---
 Number_types/include/CGAL/FPU.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Number_types/include/CGAL/FPU.h b/Number_types/include/CGAL/FPU.h
index 62f551b83b3..2db408d5637 100644
--- a/Number_types/include/CGAL/FPU.h
+++ b/Number_types/include/CGAL/FPU.h
@@ -276,7 +276,8 @@ inline __m128d IA_opacify128_weak(__m128d x)
 inline __m128d swap_m128d(__m128d x){
 # ifdef __llvm__
   return __builtin_shufflevector(x, x, 1, 0);
-# elif defined __GNUC__ && !defined __INTEL_COMPILER
+# elif defined __GNUC__ && !defined __INTEL_COMPILER \
+  && __GNUC__ * 100 + __GNUC_MINOR__ >= 407
   return __builtin_shuffle(x, (__m128i){ 1, 0 });
 # else
   return _mm_shuffle_pd(x, x, 1);