<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJylWN9z2jgQ_mvgRQNjyb8feCCJmXJNGgbSdK4vHtmSwVdheSSZHv3rbyUnhKTpQZKMAXut3e_Trna1SiHZfiLEbotKud3WZuBPEcMli4KqYizxycC7GnjT_nvJWyVZV3L0szYbGNqLkWwNGrVUa64H_tWAkKprSlPLZkASIWULP3XDdlTpAbm0ghHjgvcDUhBpJam7I2i046qu9iNd8t1oS1uNRqzWtBB8JDvTdgZdXMxHURiH3khxy4WNhXhOUnfCHMgBNzun8XhAZqIu4HvaULHXNXCZrUoqqMp2UnSWzbhsWxgc-F5odV68tSb96T0VHb-tKs3NgtZqxc09L41UaECm1o_9qFdV19ysLrN7ZwHQk1I22qAjJXhpzVhXAPwU_KmsNhpEnlPK_m3VDW3HpewaAwbus3FVK22c72JU0VqAO_p5L66z6SpDuisgqoiiolsjxVupDDISbYxptUUlM7jWEM2uALNb6yTLp_8ZQbj_gdnBY621Iz1DtGGobkrRMY7MhqNSUb1BBS1_GEVL_gC_MiBArNu2h0h48CpdKLlWdIuoWndb3hhLArjVgo0oxJHMihoWxez5inrfcvrQWnri79Y6jEd6vy2kQA3dcg1hSnijO8XRXnZoQ3fcBXLUD6p_cQVOsu8UWkzvPiFYILBinMN4s6uVbOzsEUzCRvf6-v4mX_19c3F7Pf-eLXOrAmIbqVbWjQtZbfp10fN71WVAKv_-JbBEfL3XOFwoUHZTubOxyZZfVjnGiv7MpTaK021WD8iF9y_xre3Q3jEvTJk_CK_egBMvu2ZVryGvPsHqEFzpbOfscn5k148CfsLuIwMWRoeRfd5GQf_bmg3wZmMtxx7QcChV5HuPOHFFOYH6Ra3sdROlVY5Aea0dZ2fDj48t4CrwmJ_EpyzQAvLJ6eMgeWmA0zg5ZaD3foVp9FI7srLztElIftO2snNjiMMX5Qr7z0pVtvgM6yawgqyHTNgjIC6LoPDYB7BiDgWEO6SZkluob9kC4MK-4jk8VhzDlUHxATg3jUvQsBXr_hNO4fYrlBnY2wSkCPsG2f4bAYB9YsD9OH4LA2enT4wLmCkmTjDXy-nXb-wYakXyfi2W-JA2QYwjhs9G6y1FTFrj2WLl5V_gg9OH2d1wQxk11E64nxmlx1A4oudkaJGSMD1Fqh-ZxJxWZ9NPVsvb6QLKPo4U_6lqwxcUtkAbuL52ebDHypLOYeN0gsDWekx66UrUJcwL5H6ePin2EST0EEJgFVL__BA-scK6FbXp0c4n5AhYhz3hJ1F8flCP8FXX3DZ_wu9zM47jI6Ai9uK3A8WAM9-2wmEks4ftt0f0r-S2bii0PHeKP2wpIfQqsFXaQZe03DxkjV95R0wYFPa3M_GByWsswscu7oY2dM3VfIXzv7KsB66OPQDbwSkP2JG-R0oav6GQYUvvEf0Zwf_jB59-SvC8hHXaxwz6zUMWBqwk4RmEC-JRfD5fEt9A6y74nXzkaflPGW0hkgcvR_2gM3xM0qPKERIvOKdyxLA7fcTHj_Te4eHkyMMlO9qZTxdwsGZ5LOqWi7px6OnKQGu1XvLqmdsWLkHuoLnl5gYSwY62MoJ72XVdKKr286aSLr3c-OBOSnHrGtIZNPDZKsntZUt3nkyVonuAmcNzZpETYJcb0MBer_MZemF4cZHDxmL73ZorJyrsX5-HQfTUIEBjVJxuDbbUPri9KAkOukVSpcGppiTP7VOuDRTg_GCnCp-3KH6VhuE5yzymOPHLw8Cp67iOjnsw6LUufrz-ZXVI8uaTTgUxsAedxEtSWzrI7E_2YUKOwpBNfJb6KR3SDo4KarKtf1AuNlJAjz_slJi8_7gV-qkXDjcTXrKwSjhmHq-KENMKh7ZgFV6Zel4VlkNBCy70BNwBx-iG_0TOBNyDG4YfZ1BPiEfgwjEOsI_JuMQ0CYqE-rRkrMTlABpeiLYYWztjqdZD5f6vMIKDp4aXotZGP72EfILmm3NHGBjCXi34xB773HkSTlj22AXHLPLuYzAhQzeJiZvBf4kDUvw>53905</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            opt crashes with "Assertion `ValueExprMap.count(VE.first)' failed."
        </td>
    </tr>

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

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

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

<pre>
    llvm commit: d1cd64ffdd832

Reproduce with:
 opt -passes="function(loop(indvars,loop-deletion),sroa)" -verify-scev-maps -disable-output BBI-65750-reduced.ll

Result:
opt: ../lib/Analysis/ScalarEvolution.cpp:4305: ScalarEvolution::ValueOffsetPairSetVector *llvm::ScalarEvolution::getSCEVValues(const llvm::SCEV *): Assertion `ValueExprMap.count(VE.first)' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: build-all/bin/opt -passes=function(loop(indvars,loop-deletion),sroa) -verify-scev-maps -disable-output BBI-65750-reduced.ll
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
build-all/bin/opt(_ZN4llvm3sys15PrintStackTraceERNS_11raw_ostreamEi+0x23)[0x2d059d3]
build-all/bin/opt(_ZN4llvm3sys17RunSignalHandlersEv+0xee)[0x2d0364e]
build-all/bin/opt[0x2d05d56]
/lib64/libpthread.so.0(+0xf630)[0x7fae21cda630]
/lib64/libc.so.6(gsignal+0x37)[0x7fae1f40d387]
/lib64/libc.so.6(abort+0x148)[0x7fae1f40ea78]
/lib64/libc.so.6(+0x2f1a6)[0x7fae1f4061a6]
/lib64/libc.so.6(+0x2f252)[0x7fae1f406252]
build-all/bin/opt(_ZN4llvm15ScalarEvolution13getSCEVValuesEPKNS_4SCEVE+0x28d)[0x1cb4b0d]
build-all/bin/opt(_ZN4llvm15ScalarEvolution17eraseValueFromMapEPNS_5ValueE+0xdb)[0x1cb4c4b]
build-all/bin/opt(_ZN4llvm15ScalarEvolution14SCEVCallbackVH19allUsesReplacedWithEPNS_5ValueE+0x1cb)[0x1ce377b]
build-all/bin/opt(_ZN4llvm15ValueHandleBase12ValueIsRAUWdEPNS_5ValueES2_+0x3c1)[0x24716d1]
build-all/bin/opt(_ZN4llvm5Value6doRAUWEPS0_NS0_19ReplaceMetadataUsesE+0xaa)[0x247116a]
build-all/bin/opt[0x2b92591]
build-all/bin/opt[0x2b87eaf]
build-all/bin/opt(_ZN4llvm8SROAPass16rewritePartitionERNS_10AllocaInstERNS_4sroa12AllocaSlicesERNS3_9PartitionE+0x12ab)[0x2b85a3b]
build-all/bin/opt(_ZN4llvm8SROAPass11splitAllocaERNS_10AllocaInstERNS_4sroa12AllocaSlicesE+0x591)[0x2b88671]
build-all/bin/opt(_ZN4llvm8SROAPass11runOnAllocaERNS_10AllocaInstE+0x2777)[0x2b8b707]
build-all/bin/opt(_ZN4llvm8SROAPass7runImplERNS_8FunctionERNS_13DominatorTreeERNS_15AssumptionCacheE+0x3f0)[0x2b8d2d0]
build-all/bin/opt(_ZN4llvm8SROAPass3runERNS_8FunctionERNS_15AnalysisManagerIS1_JEEE+0xf7)[0x2b8e217]
build-all/bin/opt[0x302ca7d]
build-all/bin/opt(_ZN4llvm11PassManagerINS_8FunctionENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_+0x205)[0x244dc25]
build-all/bin/opt[0xb20a1d]
build-all/bin/opt(_ZN4llvm27ModuleToFunctionPassAdaptor3runERNS_6ModuleERNS_15AnalysisManagerIS1_JEEE+0x29a)[0x245204a]
build-all/bin/opt[0x7ae17d]
build-all/bin/opt(_ZN4llvm11PassManagerINS_6ModuleENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_+0x208)[0x244cd78]
build-all/bin/opt(_ZN4llvm15runPassPipelineENS_9StringRefERNS_6ModuleEPNS_13TargetMachineEPNS_21TargetLibraryInfoImplEPNS_14ToolOutputFileES8_S8_S0_NS_8ArrayRefIS0_EENS_8opt_tool10OutputKindENSB_12VerifierKindEbbbbb+0x3462)[0x7a63b2]
build-all/bin/opt(main+0x3c84)[0x7b8f94]
/lib64/libc.so.6(__libc_start_main+0xf5)[0x7fae1f3f9555]
build-all/bin/opt[0x7a183c]
Abort

[BBI-65750-reduced.ll.gz](https://github.com/llvm/llvm-project/files/8089217/BBI-65750-reduced.ll.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJylWN9z2jgQ_mvgRQNjyb8feCCJmXJNGgbSdK4vHtmSwVdheSSZHv3rbyUnhKTpQZKMAXut3e_Trna1SiHZfiLEbotKud3WZuBPEcMli4KqYizxycC7GnjT_nvJWyVZV3L0szYbGNqLkWwNGrVUa64H_tWAkKprSlPLZkASIWULP3XDdlTpAbm0ghHjgvcDUhBpJam7I2i046qu9iNd8t1oS1uNRqzWtBB8JDvTdgZdXMxHURiH3khxy4WNhXhOUnfCHMgBNzun8XhAZqIu4HvaULHXNXCZrUoqqMp2UnSWzbhsWxgc-F5odV68tSb96T0VHb-tKs3NgtZqxc09L41UaECm1o_9qFdV19ysLrN7ZwHQk1I22qAjJXhpzVhXAPwU_KmsNhpEnlPK_m3VDW3HpewaAwbus3FVK22c72JU0VqAO_p5L66z6SpDuisgqoiiolsjxVupDDISbYxptUUlM7jWEM2uALNb6yTLp_8ZQbj_gdnBY621Iz1DtGGobkrRMY7MhqNSUb1BBS1_GEVL_gC_MiBArNu2h0h48CpdKLlWdIuoWndb3hhLArjVgo0oxJHMihoWxez5inrfcvrQWnri79Y6jEd6vy2kQA3dcg1hSnijO8XRXnZoQ3fcBXLUD6p_cQVOsu8UWkzvPiFYILBinMN4s6uVbOzsEUzCRvf6-v4mX_19c3F7Pf-eLXOrAmIbqVbWjQtZbfp10fN71WVAKv_-JbBEfL3XOFwoUHZTubOxyZZfVjnGiv7MpTaK021WD8iF9y_xre3Q3jEvTJk_CK_egBMvu2ZVryGvPsHqEFzpbOfscn5k148CfsLuIwMWRoeRfd5GQf_bmg3wZmMtxx7QcChV5HuPOHFFOYH6Ra3sdROlVY5Aea0dZ2fDj48t4CrwmJ_EpyzQAvLJ6eMgeWmA0zg5ZaD3foVp9FI7srLztElIftO2snNjiMMX5Qr7z0pVtvgM6yawgqyHTNgjIC6LoPDYB7BiDgWEO6SZkluob9kC4MK-4jk8VhzDlUHxATg3jUvQsBXr_hNO4fYrlBnY2wSkCPsG2f4bAYB9YsD9OH4LA2enT4wLmCkmTjDXy-nXb-wYakXyfi2W-JA2QYwjhs9G6y1FTFrj2WLl5V_gg9OH2d1wQxk11E64nxmlx1A4oudkaJGSMD1Fqh-ZxJxWZ9NPVsvb6QLKPo4U_6lqwxcUtkAbuL52ebDHypLOYeN0gsDWekx66UrUJcwL5H6ePin2EST0EEJgFVL__BA-scK6FbXp0c4n5AhYhz3hJ1F8flCP8FXX3DZ_wu9zM47jI6Ai9uK3A8WAM9-2wmEks4ftt0f0r-S2bii0PHeKP2wpIfQqsFXaQZe03DxkjV95R0wYFPa3M_GByWsswscu7oY2dM3VfIXzv7KsB66OPQDbwSkP2JG-R0oav6GQYUvvEf0Zwf_jB59-SvC8hHXaxwz6zUMWBqwk4RmEC-JRfD5fEt9A6y74nXzkaflPGW0hkgcvR_2gM3xM0qPKERIvOKdyxLA7fcTHj_Te4eHkyMMlO9qZTxdwsGZ5LOqWi7px6OnKQGu1XvLqmdsWLkHuoLnl5gYSwY62MoJ72XVdKKr286aSLr3c-OBOSnHrGtIZNPDZKsntZUt3nkyVonuAmcNzZpETYJcb0MBer_MZemF4cZHDxmL73ZorJyrsX5-HQfTUIEBjVJxuDbbUPri9KAkOukVSpcGppiTP7VOuDRTg_GCnCp-3KH6VhuE5yzymOPHLw8Cp67iOjnsw6LUufrz-ZXVI8uaTTgUxsAedxEtSWzrI7E_2YUKOwpBNfJb6KR3CjiP4xB5e3KkIzgn28ACHBfLuwxwhw06JyfsPbKGfeuFwM4lhMnHMqrCCCsOiNMK-l1A_pmlJisKrhoIWXOgJOBRAG_4TORNwD44c1hPiEbhwjAPsYzIuMU2CAgzQkrESlwNoeCHaYmx5jKVaD5X7v8IIDp4aXopaG_30EvIJmm_OHRzYpx0cstRkW_-gXGykgNPR0OFPHP__APRJPLQ">