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

    <tr>
        <th>Summary</th>
        <td>
            Assertion "isa<Argument>(Val) && \"Unknown live-in to the entry block\""
        </td>
    </tr>

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

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

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

<pre>
    We encountered a `clang crash`, and hit the following assertion error when we debugged it further.
```
#0  __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:49
#1  0x00007ffff7c84546 in __GI_abort () at abort.c:79
#2  0x00007ffff7c8442f in __assert_fail_base (fmt=0x7ffff7dfadf8 "%s%s%s:%u: %s%sAssertion `%s' failed.\n%n", assertion=0x8d4eb5 "isa<Argument>(Val) && \"Unknown live-in to the entry block\"", 
    file=0xeddbd0 "llvm/lib/Analysis/LazyValueInfo.cpp", line=679, function=<optimized out>) at assert.c:92
#3  0x00007ffff7c93222 in __GI___assert_fail (assertion=0x8d4eb5 "isa<Argument>(Val) && \"Unknown live-in to the entry block\"", file=0xeddbd0 "llvm/lib/Analysis/LazyValueInfo.cpp", line=679, 
    function=0x10aa1e0 "Optional<llvm::ValueLatticeElement> (anonymous namespace)::LazyValueInfoImpl::solveBlockValueNonLocal(llvm::Value *, llvm::BasicBlock *)") at assert.c:101
#4  0x0000000003335d2b in (anonymous namespace)::LazyValueInfoImpl::solveBlockValueNonLocal(llvm::Value*, llvm::BasicBlock*) ()
#5  0x000000000333598d in (anonymous namespace)::LazyValueInfoImpl::solveBlockValueImpl(llvm::Value*, llvm::BasicBlock*) ()
#6  0x000000000333587b in (anonymous namespace)::LazyValueInfoImpl::solveBlockValue(llvm::Value*, llvm::BasicBlock*) ()
#7  0x0000000003330516 in (anonymous namespace)::LazyValueInfoImpl::solve() ()
#8  0x000000000332b8d4 in (anonymous namespace)::LazyValueInfoImpl::getValueInBlock(llvm::Value*, llvm::BasicBlock*, llvm::Instruction*) ()
#9  0x000000000332b639 in llvm::LazyValueInfo::getConstant(llvm::Value*, llvm::Instruction*) ()
#10 0x0000000004840d57 in processMemAccess(llvm::Instruction*, llvm::LazyValueInfo*) ()
#11 0x00000000048404ab in runImpl(llvm::Function&, llvm::LazyValueInfo*, llvm::DominatorTree*, llvm::SimplifyQuery const&) ()
#12 0x00000000048401ae in llvm::CorrelatedValuePropagationPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) ()
```
I use the Fuchsia `Clang` toolchain that is build with https://github.com/llvm/llvm-project/commit/ec2de7490813a7593dad59f210c7ec41f1a29002
These are the `Cmake` commands that we use to build Fuchsia `Clang` toolchain.
https://logs.chromium.org/logs/fuchsia/buildbucket/cr-buildbucket/8815781522143202145/+/u/clang/configure/execution_details
Here's what I used to reproduce the error, and I'm attaching clang crash reproducer:

[clang-crash-reproducer.zip](https://github.com/llvm/llvm-project/files/8567441/clang-crash-reproducer.zip)
```
"../../../prebuilt/third_party/clang/linux-x64/bin/clang" "-cc1" "-triple" "x86_64-unknown-fuchsia" "-emit-obj" "-massembler-fatal-warnings" "--mrelax-relocations" "-disable-free" "-clear-ast-before-backend" "-disable-llvm-verifier" "-discard-value-names" "-main-file-name" "mkdtemp.c" "-mrelocation-model" "pic" "-pic-level" "2" "-fhalf-no-semantic-interposition" "-mframe-pointer=all" "-ffp-contract=on" "-fno-rounding-math" "-mconstructor-aliases" "-funwind-tables=2" "-target-cpu" "x86-64-v2" "-mllvm" "-x86-branches-within-32B-boundaries" "-tune-cpu" "generic" "-mllvm" "-treat-scalable-fixed-error-as-warning" "-debug-info-kind=constructor" "-dwarf-version=5" "-debugger-tuning=gdb" "-mllvm" "-crash-diagnostics-dir=clang-crashreports" "-ffunction-sections" "-fdata-sections" "-fprofile-instrument=llvm" "-fcoverage-compilation-dir=." "-sys-header-deps" "-D" "WITH_FRAME_POINTERS=1" "-D" "_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D" "TOOLCHAIN_VERSION=Gk7nAZCk45woBLqibJqlgjGh6mfhalxa3B3eLXutpygC" "-D" "ZX_ASSERT_LEVEL=2" "-D" "_ALL_SOURCE" "-D" "_XOPEN_SOURCE=700" "-O2" "-Wall" "-Wextra" "-Wconversion" "-Wextra-semi" "-Wimplicit-fallthrough" "-Wnewline-eof" "-Wstrict-prototypes" "-Wwrite-strings" "-Wno-sign-conversion" "-Wno-unused-parameter" "-Wnonportable-system-include-path" "-Wthread-safety" "-Werror" "-Wno-error=deprecated-declarations" "-Wno-sign-compare" "-Wno-implicit-fallthrough" "-Wno-strict-prototypes" "-Werror=incompatible-pointer-types" "-std=c11" "-fconst-strings" "-fdebug-compilation-dir=." "-ferror-limit" "19" "-fsanitize=safe-stack" "-ftrivial-auto-var-init=pattern" "-fgnuc-version=4.2.1" "-fsized-deallocation" "-fcolor-diagnostics" "-vectorize-loops" "-vectorize-slp" "-debug-info-kind=constructor" "-faddrsig" "-D__GCC_HAVE_DWARF2_CFI_ASM=1" "-x" "c" "mkdtemp-85b581.c"
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy9WFlz2zgS_jXyC4sqnjoe_CBLcqItxfbYnjg7LywQBCXEJMEBQVnOr98P4KHDTmazk1mVzQMNdH99oLvBWCSvl0_MYgUVdaGYZIlFrMHIoRkpNhaVpNribeDNLVIk1pYrS22ZlYosEy8cM0hVMam4KCwmpZDWy5YV1guzEhbXmw24YUVaSyySw4GzGDgzza75a14937GsKPqwiiThFbMG3qTim4G_0NfAYYWSr3gbDbypRZQ1HA686-q1SlhZ4aku-L4Z2OGW8aLWr4bTkA78WTDtxbiW5ewd_MYpfmM6CcJgZPGiEU5iIZUW3sox74bF-MDCe8Mi8NKGRWOIKCU8i2LS6JHmCsidfTM7SUmSTjDuDbyw6v99MA5r3KxuaNbb1JheD44tzZglw0E4LzBUGC7zg_mNnEkSsDjUEnhFBv58Jjd1DgMO_CXQfCaZ1m3gwZQjC4ww7_fiuRAvhZXxHbOhhxLGv8boVpwJ-tzMa8U1hrDwS4HGyGRJEieOlpllu9z4IMZ1VpDsteLaRWvy7RWya7YqUjGkZdkyg7M0ixHsi7e0LmirCJCLUvGcf0P8iLqB3zjFqGu8MvV6r_hnXpn6nuf1jj1xjfbK_9lmv9xSR0442MzZuw4hLjP8b0s9Cuj-3IhCiPkzw3hNlOKULTPW6mgMUojiNRd1ZRUkZ1VJKIPSzaoTSKu8zJrhSmQ7dqV1NcQbUawF1baanAkE_5lRoR--IhWnZmlDmxolz93rOm7v36Dzr_n5vh8mXqz9-w9j_wH0BnmbLnqg4Rug00nyy4Aawt8HOXoDcjL-ddb8BQDH5wCd0B39TYBtXj-TNDmT5MXIBv-7pA1T7Wir3c-a4pi0Kiol62Z7v2um6RvwI4wB_IHHCc4e41yANcHu_2t8fwnCdY5BBJPAScKxBlFKQVlVfWL5jOqHE2HnbOffxfy-UPdcaEBMBMu6eLNJrrscqVP4jwUdUxci5wVRQj5K9tYuDxxiePr6W82Q86k2qOH_Fqp3DtUl7NRJcyEly4hiiUFzJ0VJNkRDvkM-bOZAsf9Oqa6YfCIF2TB5UgD6RbqyvQV72patrBo9jK5r1zXdVtw0hXPdFOKOkicyuiW6-G2Rt3llxTXPEuuFq621Vaps2ppr_G0wVMdDKkzFawsfbjYi5CujsNs1aDnXD4x6CRsHU2fi-mQcTv2EJOE09VyHjhkN3NQl3tRx2sr_uGWASGQDU8PLyTPT8DRDtKtVgw7dqNFFtCB_qFDbpJ7qkIlNNaRbiZio86GQm3YMt7RhhifDPK7pMzM6Sft0YDJxwzH-Pc8NfM_BNTTMr3QTqxcYKNoYRco3tWTaHntGa-2yKGEK3UvVgPvINHVcodmGesZTiVZPMtg0qWljENOPd437CvNzlFhF6Fa37Uft_WGZ1Ao3wdBcwyszzzbz7MO84TdeDsIFwuenfa27IW23STgaB4HbKf6-iO_EJhoGcwo4XErJtLW1ALXlMolKItXrkVXNwcDejwLtKF4cKJ7ul2xK3e5RSV6iYWve9pNRNArsuun47N7ZzVSGqLVF_LV7z3X_kscZk3ZKFMnsFyILWLvqJti53ul7qImUb7Z4T0rQfWKlnZp006LKGJE2qZQds1RIZscEwVQk52uMiXdM8pTDhwciJTKxdzqp2KaGHXBy6AJHmOF2NH9OFMtLNF_drANKOxcJy1pCyfspeLQztutJXkdItyRL7ULYsAcqDaZxfbgsRcWbtNWKSCUA2KUwVHSxJMt6FmlpYy8oSag-RB0WpWArcVhNYFmoorY9N5OHdV0RsFrGcQjrVUanjONqYittMATsooeqiERNtGlZH3xuw-e7fkbeRHLzoqmxJAVF8rF1uoMpfe_KjjUiIvlBpKoLdsR2wwp4iL7LVElGlA1_ZU0McJwVbLN_4f0uinrH6pM17JkK-xkqQZcjvftJWJTqmKia40F4shqVQcPTTP3FJonfBdXsyISTTSEquLDCs_bR0X7FdsUh-WDk7jwCt9OT6E4T7Ie3o9jsJgy5wd-cSBbHGFIqoAMqGUIhL3nWRGODY9hNwtnf3jKSQKnmo0AzvGgfnlaPH6Pr-9mnZXR3u7p5XN4_YLV7Pi1ar67md3fR8mZ2tV5Gjx_vl7NF9DC7Xj7-O5rd3Nw-zh5Xtzfvrn28vV3PP85WN9FncMcsTPrwPC5mf8yfg_BFXK3_5PG__sw2Xz9sR7neHHviX_ls_aVW5etmfs7vjy_R7OFhef8YrZefl-vjcO3hztbr6OH29_v58g3py-3d8qYj-oux43RTbns-T0db7Yntsc36N4RTFzgnE_Rm5v2Q6YAoEmAKTgq1sd70O_GpYC_6zGozkfZjcDGnSpcCJdRredgoTy-SK2Zr-lGufNLZg28K-x04INWFrno28jwyiDqkPdAKHZRmIyEykNMQXjSrE-SZo2TxBMiIGbsiKdOVolO0KZoHOc2Av0BkSUZ1l4YgwxaQp-n7CG0OTOx4_MeWEvb3DdMJhwKareJaqTZb2idTK2USgduHZmqSwrlR0yZ5_GAzpU3aybjpyMyYO-2JFSmQwL_pjxHacGBP9NGlpULWjqPskVoJ1B0Jw3O9o4EcgA8JfFPU9Cg3BUNveMBd6a8-sDFs1VafI5UyQDvKSB1lx3Tuw0I7E6J8Z7jKyp9KnylJEqm_P3ZbK4o-zOfRx9nnZbR4mt1fe9H8eoVN-uk4Hezbhy7JtyXVnoRxOHFNZX23n7lILv1k6k_JheIqY5dH3__-ka9SF7XMLn-6c-NVVZvWLQxdL7zYXpJJGEzS1PPC0ZS6fuj66Zj5bsj0l6gJ8y9QzVhWXaKNhFCkBMuw0BjCxQW_RBPsOYE38nwvDIJhMgk94jhT6kw8GgaO_vaLTiUbahy66b6QlwYS_FeBmPFKVQciei_sP8aMOPBHEG6FvNzUWcryiuxwhLow8i8N_v8AcJMG4Q">