`Z3Solver.cpp:942:40: error: use of undeclared identifier 'FloatStyle'` - on linu

[sylvestre]

Recent regression:

FAILED: lib/Support/CMakeFiles/LLVMSupport.dir/Z3Solver.cpp.o
/opt/sccache//sccache /build/source/build-llvm/./bin/clang++ -DLLVM_EXPORTS -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Ilib/Support -I/build/source/llvm/lib/Support -Iinclude -I/build/source/llvm/include -fstack-protector-strong -Wformat -Werror=format-security -Wno-unused-command-line-argument -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -pedantic -Wno-long-long -Wc++98-compat-extra-semi -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -ffile-prefix-map=/build/source/build-llvm/tools/clang/stage2-bins=../../../../ -ffile-prefix-map=/build/source/= -no-canonical-prefixes -Werror=global-constructors -O2 -DNDEBUG -g1 -std=c++17  -fno-exceptions -funwind-tables -MD -MT lib/Support/CMakeFiles/LLVMSupport.dir/Z3Solver.cpp.o -MF lib/Support/CMakeFiles/LLVMSupport.dir/Z3Solver.cpp.o.d -o lib/Support/CMakeFiles/LLVMSupport.dir/Z3Solver.cpp.o -c /build/source/llvm/lib/Support/Z3Solver.cpp
/build/source/llvm/lib/Support/Z3Solver.cpp:942:40: error: use of undeclared identifier 'FloatStyle'
  942 |       write_double(OS << K << ": ", V, FloatStyle::Fixed);
      |                                        ^
/build/source/llvm/lib/Support/Z3Solver.cpp:957:27: error: no member named 'make_scope_exit' in namespace 'llvm'
  957 |   auto StatsGuard = llvm::make_scope_exit([&C, &S] { Z3_stats_dec_ref(C, S); });
      |                           ^~~~~~~~~~~~~~~
2 errors generated.

On linux

[sylvestre]

is it fixed by ?

25642ea