diff --git a/src/util/rb_tree.h b/src/util/rb_tree.h index bc380d583d..36d335213f 100644 --- a/src/util/rb_tree.h +++ b/src/util/rb_tree.h @@ -5,7 +5,9 @@ Released under Apache 2.0 license as described in the file LICENSE. Author: Leonardo de Moura */ #pragma once +#if !defined(__has_warning) || __has_warning("-Wreturn-std-move") #pragma clang diagnostic ignored "-Wreturn-std-move" +#endif #include #include #include "runtime/optional.h"