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

    <tr>
        <th>Summary</th>
        <td>
            clang crashes on valid code at -O1 and above: Assertion `DAG.isGuaranteedNotToBeUndefOrPoison(R, false) && "Can't create node that may be undef/poison!"' failed 
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    This appears to be a very recent regression. 

```
[513] % clangtk -v
clang version 16.0.0 (https://github.com/llvm/llvm-project.git 1bcf21ca7f3649387df9815e065be2a0435b5a39)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/10
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Candidate multilib: .;@m64
Selected multilib: .;@m64
[514] % 
[514] % clangtk -O1 small.c
clang-16: /local/suz-local/software/clangbuild/llvm-project/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp:13982: llvm::SDValue {anonymous}::DAGCombiner::visitFREEZE(llvm::SDNode*): Assertion `DAG.isGuaranteedNotToBeUndefOrPoison(R, false) && "Can't create node that may be undef/poison!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: /local/suz-local/software/local/clang-trunk/bin/clang-16 -cc1 -triple x86_64-unknown-linux-gnu -emit-obj --mrelax-relocations -disable-free -clear-ast-before-backend -main-file-name small.c -mrelocation-model pic -pic-level 2 -pic-is-pie -mframe-pointer=none -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -mllvm -treat-scalable-fixed-error-as-warning -debugger-tuning=gdb -fcoverage-compilation-dir=/local/suz-local/software/emitesting/bugs/20220827-clangtk-m64-O1-Weverything-pipe-fPIC-build-143226/delta -resource-dir /local/suz-local/software/local/clang-trunk/lib/clang/16.0.0 -I /usr/local/include/csmith -I /local/suz-local/software/local/include -internal-isystem /local/suz-local/software/local/clang-trunk/lib/clang/16.0.0/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/11/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O1 -fdebug-compilation-dir=/local/suz-local/software/emitesting/bugs/20220827-clangtk-m64-O1-Weverything-pipe-fPIC-build-143226/delta -ferror-limit 19 -fgnuc-version=4.2.1 -fcolor-diagnostics -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/small-d14fda.o -x c small.c
1.      <eof> parser at end of file
2.      Code generation
3.      Running pass 'Function Pass Manager' on module 'small.c'.
4.      Running pass 'X86 DAG->DAG Instruction Selection' on function '@main'
 #0 0x000056316cdaebf1 PrintStackTraceSignalHandler(void*) Signals.cpp:0:0
 #1 0x000056316cdac2e4 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007f39bfff4980 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12980)
 #3 0x00007f39bec21e87 raise /build/glibc-CVJwZb/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
 #4 0x00007f39bec237f1 abort /build/glibc-CVJwZb/glibc-2.27/stdlib/abort.c:81:0
 #5 0x00007f39bec133fa __assert_fail_base /build/glibc-CVJwZb/glibc-2.27/assert/assert.c:89:0
 #6 0x00007f39bec13472 (/lib/x86_64-linux-gnu/libc.so.6+0x30472)
 #7 0x000056316dd50ab7 (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x4d72ab7)
 #8 0x000056316ddf26ad (anonymous namespace)::DAGCombiner::combine(llvm::SDNode*) DAGCombiner.cpp:0:0
 #9 0x000056316ddf3f49 llvm::SelectionDAG::Combine(llvm::CombineLevel, llvm::AAResults*, llvm::CodeGenOpt::Level) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x4e15f49)
#10 0x000056316df11cc7 llvm::SelectionDAGISel::CodeGenAndEmitDAG() (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x4f33cc7)
#11 0x000056316df15e38 llvm::SelectionDAGISel::SelectAllBasicBlocks(llvm::Function const&) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x4f37e38)
#12 0x000056316df17e12 llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&) (.part.0) SelectionDAGISel.cpp:0:0
#13 0x000056316b7a317c (anonymous namespace)::X86DAGToDAGISel::runOnMachineFunction(llvm::MachineFunction&) X86ISelDAGToDAG.cpp:0:0
#14 0x000056316bf6bfb8 llvm::MachineFunctionPass::runOnFunction(llvm::Function&) (.part.0) MachineFunctionPass.cpp:0:0
#15 0x000056316c4c9433 llvm::FPPassManager::runOnFunction(llvm::Function&) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x34eb433)
#16 0x000056316c4c9661 llvm::FPPassManager::runOnModule(llvm::Module&) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x34eb661)
#17 0x000056316c4c9f55 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x34ebf55)
#18 0x000056316d1659fa clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::HeaderSearchOptions const&, clang::CodeGenOptions const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef, llvm::Module*, clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x41879fa)
#19 0x000056316e06d9c2 clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x508f9c2)
#20 0x000056316ed676e9 clang::ParseAST(clang::Sema&, bool, bool) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x5d896e9)
#21 0x000056316d91d7d1 clang::FrontendAction::Execute() (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x493f7d1)
#22 0x000056316d8a45de clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x48c65de)
#23 0x000056316d9e5558 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x4a07558)
#24 0x000056316a2d1b4d cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x12f3b4d)
#25 0x000056316a2cb6d3 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&) driver.cpp:0:0
#26 0x000056316a2ce196 clang_main(int, char**) (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x12f0196)
#27 0x00007f39bec04c87 __libc_start_main /build/glibc-CVJwZb/glibc-2.27/csu/../csu/libc-start.c:344:0
#28 0x000056316a2ca8aa _start (/local/suz-local/software/local/clang-trunk/bin/clang-16+0x12ec8aa)
clang-16: error: unable to execute command: Aborted
clang-16: error: clang frontend command failed due to signal (use -v to see invocation)
clang version 16.0.0 (https://github.com/llvm/llvm-project.git 1bcf21ca7f3649387df9815e065be2a0435b5a39)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
clang-16: note: diagnostic msg: 
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-16: note: diagnostic msg: /tmp/small-97c85b.c
clang-16: note: diagnostic msg: /tmp/small-97c85b.sh
clang-16: note: diagnostic msg: 

********************
[515] % 
[515] % cat small.c
int a, b, c;
long d;
void e() {}
int main() {
  int f = -1;
  unsigned g = -1, h = -1;
  short i;
  int j = a % h;
  d = 1L ^ (1 & a) ^ a;
  i = ~(1 | (1 & a) / f | ~(3 * (c & d)));
  if (a)
    e();
  if (a) {
    e();
    goto k;
  }
  i = 1;
l:
  b = j;
k:
  c = i % g;
  if (a)
    goto l;
  return 0;
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzlWt9T4zgS_mvCi8op_7bzwEMIYYYrZqGAnb3al5Qsy4kHx_ZZNgPz19_Xsh3skAFmF6626qYyxG5J3V-3Wt0tKVERPx7fblLFeFlKXilWFyySjLN7WT2ySgqZ1_haV1KptMinbGKeTsx599c3u0_76p14ljPxTtnE9pjIeL6u75hx37bqd2JLfJjlT82piY7hpq5LNXHmE_sMn3Vab5poKootXrLsvv8yyqr4JkU9RQdmRSKxLcGDxPHdmRMGcTILLU-avhdJm5uu40Ued2YTe9bKvuXVWtYQwh5Cf-W7RpPf5cX33MjSvHkw1nnT9dtUksdsW8Qyo95lodKHtuk8VzXPMhmfphU1Ea5C8Azfqvlh9M9FmTQ_fuAhSvN24FnR5DETPI_TmNeSfVosWNoy4zVM0TFrVEUs04iMIAT-pn7oDwDaZ-HfZNjpPmRpmR_A03p_nv4HsJx60w_QPvgAlh-DtHOnG5lhXcn4XeZ8sUO2bbI6pVHgMp04JxPX3PrunsiXOulo4vbR5BBtF2EuLaa2gD0Vg1BjWP4L61QVSf2dVxKPunfUpFm8F2sGEUhrv0BY-CRzPLUKwEan8094xd9FscWKl9VUlCXEWs4stEm8ZoDg5sxvTr_yrJFsEpzwvMgft0WjJsFp2zjg0BLuU5XWZ9fL5Z9LxMghl9-AYmLPKbaB_1wpWREShjAMLtNUfWp4xfNayvi3or4tTuTveSyTy-qqSBVm1Q6vJ_aCJTxT4DODgXx88GVj8iZ2UDOBIIgZzCGI1Rtesy1_pKTQEB-oW3aMLIzBALBKERenre2vLpbzmyVTTbRFpOYsatbIH2VR1ZRafi3YUxBUqpEKDwyeBfcUWaNRSaDkasMiLu7qigtJOpUQVBUCqQq-pYqmask0kitViJST01VNzpSo0rLuIN_UYMLiZksz15JMNM2uqmJd8S1D8mi2yIPqbf7Uk1ovrCHurssHPc3ymSGExdCYlpn8aVJihoQRjSL6xgxjW8mMPxj4C_4044oZcap4lEkjqaQEywwZ3OCqNiKZFJU0yDgSyhtbnuZGglkycr6V_WJhmmfHzdBJj5UpyPhjZPIer3b7kip8QcI2gT2kAQeAf8FTT-HIICdbXm8MWVV5gZekNESR06Qg457CM40kL4yKIlcK5akvOKGLgm1EXQBylnIloU_S5N_TPDZq0grmPoX8WuduQ5QN2cnwXZCaXGrCWmLBEOItuQ3ZE55rKNi_NUv6IGPCRTKUgfnJgQBmk_DKtayIEQiQs44jSBcFyhO-Bu9iW6ZtFISNSdHXp52mSqqa-GG2mzU5rW3athnagdGFKgPRDdHK-ENSeVVvyB5lWgLp1fnC0DHIsFzHpiV5humoOcOEt55MQP6y97UBTNMoWrfFl3E-iO_dsG6FUWcFhTZdpzcK7denof0j5xk851HVcvuuwF8TdFCjF7u-mtzss-n0-Z8DfZ9Lkw_0IJ5LfTL1Pp-XR_-6CJ0hjUS7_T_Kt5N2bWYp5QprBgK0F0a3SQA0d2pPLb0yM_SLU77OC-AQFCt4HKMblvPpaoXaZfV5_nW5Ov1jfn1mrxZn56v5zRdwwOiCDFIjukMninxGbLlJzKcIVg9MjEsHiwL_xFnIIpk4S1ZiSyQrhhxIcbRIGAXRtqdNPakkaKNQWzLpFodarptcB5sSmQfyg7Mm1xUDuyLCF54jzlSUPUFC6G2QBvDWY7GDLje5h3j9O_QZcr0BhPhi510kJe67yqRjnfRi8U7VFac01NWooDkmMx9M_PN8x_JFzGWUWOyqgmvprHhLqfUmXcPLPiONZgQ5vC_SuK1AWNukuqrH1P93vK093sKWLttnBkmvMrI7RtjvzaIkSdxZaLLVCpER2UOuUFqA0W4dH1iVaChrvbebqoICyIn5YNngstshkhhnKEYK25JhwCqeKpqas75CXIOZMBZf__X9z2j3ak9hVLiX1qIPD1iNsSxprSDNPLSEe40GyPCtWWOynblnjRV295A4AWaFR4XW9G1I6ri1hh6lhYR7QryxEMtxEg6rcl1RrqioW0X87bq343YPrcjZWKS_L9IN7DfMnaBZ8_WsOSaGjGYtGHpZHHsmj4Ke598v1LRQNw5scB2JDcdiE9vnMYnd1faMSi1V6tJ09pMqX7RvP63w2fOdxd7SmO3BcLA4hpuO4UZFUxYHRHa0Cyr5qGB-apnPr6XCJk1pPMOWbjN0Wdbtezd49t6ml5YHlXamp7AyillxYllCBD_R-fxGH-Q84Z3n8RLJRu_bwg-AmzgO0IzgWntwPQnneQ1uS51n2QlXqTgBgDs1mrNdPtGFtN7EfYAyAbCOlLH3lAkkSK8pAxGX-RcuUBPIHvdImWdtvTZTJOCaAvaM7bN-vh4InzPEFwXcsQLx2rJEOgXP2-I9MIMX8ej5HQbpjkAm-ERDj9jjTAXDANNBMC9a7gC_w7i8UcJ2xcxFThwIuaKhfenyy4je0TMdV0bANvJMfx-871tvAP9F117jme1IHwQcuEbAg33giecNgGdyzcVj-zxQ4XxbPnnq_xI-0I3gjxOh5XszlBHthk3DoXB70h5EXDZ12SBWhYPm06eafpmvdWbyKdMMunxG3SarG8krsUG-0UcfT1Fv1PUpK73Uq70OeKXTBZ4OdRkEuxp18vqazsSG5N7-8z2GnRHm3bJYMNRobQvKw_80clXWcMzFE6OKf1-V3ytsvVaKTja2o0GxTDgy8wpbKVnLVwY6S_q8f4awwgDTPfKHUUUiTT-eCfuAGRYwabPtl2K7H8BuI1ft1vT3PN1zlPnNLcbU2Ot-iGt7ZpgA6VAVe1RoyNgPfDkbqnJFu0PgGgO9kVve-UpUFNnT97tDjsMZEI0gj4uNmRUHsTWEfFaRDXde2K7QBymaWn5MQTRzEkAYYRzXECF3PWyiR4uYTigQ4ugyIkeiHqLsl0_4c6U-pBYKhe_FcqSHM7a19DwvHEW-FvGTOvfdWesY_TN129L_nfFzMwC8Ef5RGcLt2IrcmAlhrdpTgkFKmVcVf6RA5yzEhld9PJzroIIgN6KBMDgheF81LDtxgHKkhjdWQ0R-7LDe9gvrVq-94QaLzli-Sjp5bpPoAZ20B8VVen9o30VC_T2h0pr57dz31tMHG61ttCk-xhom5I6sEYy32KYrwgC7etpFIxmgJtT43rqpF6rpTzPaR92o-egNvuO6Y7uEe3bhIeesFfzuyksB5jvlh5d--liRHpqcLgLo5km2DoFp3m6RbKhxTkcjMn5hePubhaQLL_3Y7sKLxY3m3B76kHaNksy41zQpWTpY70OM_4e_gRgaNy-oWpmzp8NctlVrza7zor_xGfw4pbuInN_ezhef2e3nJTu7vLi4_OP8t0_s7PxiecNuLzX55PdP7Hp5dXl9O-mv_64OXSSGilbwTy8Tdx0qyfSlGlp5vWP5RhOMD6pngQi96NC19q-yUJu_MBPvNR90a-8duMnf0WCt8TE8gifjunLSMZR-GqDpWYH1E-9eKc-wXeESnNB9-m58F4f7pvbIjFFLwibOKTOsHR-GQEHLGFO27tsgd_O8n9rQIWw6oBDDb7oj17psBm2xplsXbOItaZ1bdNtOis00hQ_Z6K6TYNl2Cxb7_e0zwk103ccBhSY7FLqPTontZ8Az0UcfT-eW-NdZ62CvoZ0O9WRsXSC43Q1IO4v3GjwZK9v5PmORbvu2a7sbtAndlmrjrV9Br-Vng06VrJsqZ-aOtAO0-3HakTy2sOf2LdsN3aP42Ilnzowf1WmdyeM2IuvfEkhFFyb3PEsp0qMkhVPSxZle8VFxr9fKP-f3FuyoqbLjv_6DCi9wTftoc-wkoXBMP5Ihj32fB1zOAmklsfAcRyRhfJTxSGbqGCsW8nP5nWkWhMU7PUqP-3tAyzMt25nGAgW_Z3u-jRIklGLimtgPpdmUcEyLan1UHWtI-hrRNbNU1eqpEaGV1qHU4sCfNzVW3PGPDfIv1r5qjrT0Y43-v_fNaOs">