From b76941b6785aca53ecafaef7eb165dbc6ea23fc3 Mon Sep 17 00:00:00 2001 From: Vighnesh Date: Fri, 11 Oct 2024 15:21:25 -0700 Subject: [PATCH] annotate this optional use --- Analysis/src/Differ.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Analysis/src/Differ.cpp b/Analysis/src/Differ.cpp index 25687e119..899327a2b 100644 --- a/Analysis/src/Differ.cpp +++ b/Analysis/src/Differ.cpp @@ -944,11 +944,15 @@ std::vector>::const_reverse_iterator DifferEnvironment return visitingStack.crend(); } +#pragma GCC diagnostic push +#pragma GCC diagnostic ignored "-Wmaybe-uninitialized" DifferResult diff(TypeId ty1, TypeId ty2) { DifferEnvironment differEnv{ty1, ty2, std::nullopt, std::nullopt}; return diffUsingEnv(differEnv, ty1, ty2); } +#pragma GCC diagnostic pop + DifferResult diffWithSymbols(TypeId ty1, TypeId ty2, std::optional symbol1, std::optional symbol2) {