<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/142921>142921</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            `Z3Solver.cpp:942:40: error: use of undeclared identifier 'FloatStyle'` - on linu
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            build-problem
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          sylvestre
      </td>
    </tr>
</table>

<pre>
    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 
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJysVl9v4zgO_zTKi8DAkeMmeciDG9eD4ppm0HQmd_MSKBLt6EaWfJKctvewn30hOzP9M8XuYruBYccU-SN_JEWLe69qg7gk2SXJihHvwtG6pX_SJ_TB4ehg5dPyDgWaQB3WDr1X1pA0J0l_XSTnK8nL_PrmqiBpTrU6EFZuu7a1LhBWrtb8O5ZKoyesvLn5uj4vjaVyhJXf0q3VJ3Rj0bZjG1FZadto6IXg4oiElc8vlLDy0Ckto8h2TuAPAWh9aggrx1GgDGGl0NzUhF0SdkmhiJ73V__-vLm731Io9p9uv-y3my93q6v4tt_eF6v9anO7vc9v7_frfHW32T4vlJu7df6r-OZ6ff0svX7FnML1e7Geo3yrqozQncQ_NvqpVPnAxXdonQ0ognXgg7OmprCrrGt4oLBD56wjaTEIwKPonApPFHbGQmc6jxKEbRpuJGhlELiruyYWGnaSB4SgGoxMy83d_XX5n3OuSFowCtXn6xWFyljw2HATlABlArrWehWUNRSqk_LqoLQKT6BMdODhqKRE8yK2F35-yjpTd9xJlMBPXGl-xjD4QGHHtY6qj8HxV0Ra7niDAR2F3YNTAWNClKk9hZ3gPsD_Oh4tG-W9MjVUCrUEZVRQXKv_o_MUWpQ9kwFYW1P3t4gw9NBiHhPW8gB9AJG6orBTTauVUAEqrnU4OtvVx2hkT-hQgn9QQRxBYsU7HQZwY_FRYBsgPLXYiwyclAsd1yCDjSwkagwI76z4rq7RB4j4TsVu2A1kQVhzQuf7_EeqGrmMcmUkmsCHwuxE4BIa_nRA6IwfGhAlhUoqXhvrgxIehNXRWVV1RkS72D_x6aMeD_zle6U0QuuwUo_Q8JakxZ_u0WCt9s87tPSB18jgoIwnaTGOW_jN7S_7IWlBwVgQ3FijBNdnE_QvmqzW9sB1TJgPros7yFPYMArFbXF1-eUThXpCwQdJ0uJc_cmMDh0_lO7MvTMPykgI_KCjg3VBYX3_sQlIYV1-DGEsKdiPBiHenbTvTa83xsME_1uWab6YMpLm0yR-R87FymnnkdqKdkai0NyhpCo2tKoUOkrYrNSWh2140kjYjCQ5pYspo2S2ov0s2EvbHeLafLOlJF2RdEX_9eMPYdFh_2Ar-jXeXsClOUnzUj2iJGxB0ssePP4iOMmuPsY1m5E0Z7NXXI2lDTYHdNTwBmWk1_DvuPfCtrjHRxUIm1Fl-mXfchG_iLPB4Zl7NuvDo5R3wdJt4MF_iiOVxq3Ra_a0foGdx1MAu1jFHBB2sSVZQcnskn5L9z6C7CWKvcOKsHmvsx1yQsmseD87v736kSRnA09PazToeEA5fnOKIEm-MVQr0z3SkVymcpEu-AiXk9l0MZlMskk6Oi6FnGfZbFolYi54lqXpHDNknM2raZalmRypJUtYllwkWTKfzNN0fFHxTDLkArNkNltMyTTBhis9jukYW1ePlPcdLidTtmCTkeYH1L4_FTE2DK7W2YPGJvZJVozcMhrCoas9mSZa-eCfoYIKGpfkIvnne_sioUDtkKBR5_TyGELrYz37M1KtwrE7jIVtXjRhDLR19r8oYg_2POMEOFM9LdnvAQAA__8XTUbn">