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

    <tr>
        <th>Summary</th>
        <td>
            [Attributor] liveness.ll asserts when converted to opaque pointers
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            llvm:crash
      </td>
    </tr>

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

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

<pre>
    Converted test: https://gist.github.com/nikic/19ba0d547f970cb3ece03be26b5f283e

Asserts with the following trace:
```
opt: /home/npopov/repos/llvm-project/llvm/lib/IR/Value.cpp:922: llvm::Align llvm::Value::getPointerAlignment(const llvm::DataLayout&) const: Assertion `getType()->isPointerTy() && "must be pointer"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /home/npopov/repos/llvm-project/build/bin/opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-annotate-decl-cs -S
 #0 0x00000000068e871b llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/npopov/repos/llvm-project/build/bin/opt+0x68e871b)
 #1 0x00000000068e60ab llvm::sys::RunSignalHandlers() (/home/npopov/repos/llvm-project/build/bin/opt+0x68e60ab)
 #2 0x00000000068e61d5 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007faf35d7fb20 __restore_rt (/lib64/libc.so.6+0x3cb20)
 #4 0x00007faf35dcfe5c __pthread_kill_implementation /usr/src/debug/glibc-2.36-9.fc37.x86_64/nptl/pthread_kill.c:44:76
 #5 0x00007faf35d7fa76 gsignal /usr/src/debug/glibc-2.36-9.fc37.x86_64/signal/../sysdeps/posix/raise.c:27:6
 #6 0x00007faf35d697fc abort /usr/src/debug/glibc-2.36-9.fc37.x86_64/stdlib/abort.c:81:7
 #7 0x00007faf35d6971b _nl_load_domain.cold /usr/src/debug/glibc-2.36-9.fc37.x86_64/intl/loadmsgcat.c:1177:9
 #8 0x00007faf35d78656 (/lib64/libc.so.6+0x35656)
 #9 0x0000000006228ba0 llvm::Value::getPointerAlignment(llvm::DataLayout const&) const (/home/npopov/repos/llvm-project/build/bin/opt+0x6228ba0)
#10 0x0000000006322b45 (anonymous namespace)::AAAlignImpl::initialize(llvm::Attributor&) AttributorAttributes.cpp:0:0
#11 0x0000000006321153 llvm::AAAlign const* llvm::Attributor::getOrCreateAAFor<llvm::AAAlign>(llvm::IRPosition, llvm::AbstractAttribute const*, llvm::DepClassTy, bool, bool) AttributorAttributes.cpp:0:0
#12 0x0000000006322359 (anonymous namespace)::AAAlignCallSiteArgument::updateImpl(llvm::Attributor&) AttributorAttributes.cpp:0:0
#13 0x0000000006287926 llvm::AbstractAttribute::update(llvm::Attributor&) (/home/npopov/repos/llvm-project/build/bin/opt+0x6287926)
#14 0x000000000629a45b llvm::Attributor::updateAA(llvm::AbstractAttribute&) (/home/npopov/repos/llvm-project/build/bin/opt+0x629a45b)
#15 0x000000000629f639 llvm::Attributor::runTillFixpoint() (/home/npopov/repos/llvm-project/build/bin/opt+0x629f639)
#16 0x00000000062b4236 llvm::Attributor::run() (/home/npopov/repos/llvm-project/build/bin/opt+0x62b4236)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysl01vpDwSxz-N-2I1ApvXQx94kkE70iNtNIn22rKhoD0xNmubTLKffmVDuptkFG1mEyUB3KbqV_8qu9rMWjEogAPK_kKE_Ow0mB6MQ4Sg7HbHZnfS5qDEo2h3XHcvhxutnsA46LAD6xCt8cm5ySJaI9Ig0gzCumgQ7jTzqNUjIk14GZEmqTiLuywt-qqIW06hhZhyIDnPelJSQPEtiuvlf20tGGfxL-FO2J0A91pK_UuoATvDWvDulul5vP6GRz0FJESakx7BO5_0pJ8QaQxM2iLSSPk07iejf0Lr1kd_ERyR5vsPRJp_MTlD1E4TonVFiDcXJtEa0bqWYlBXz2HycjuAu9NCOTBh0gjKIVK2Wll39cItc-xv9qJnh0iOSIXDBO9kCVlohVEeD-AeXiZApESk2iP6TdjV-MPLMojD-zlGhIyzdZgDnpYZPnWkwD0TErpo0eXu72_1_TdsZz4Khxnm84C9IsZhp99l8Cp5r_psVRPWzuDVxEx1WKhWzh2EPLWG2RPmrH0MeVrd3zvWPuJuHqdz4uIIxdWd0YNhI2ZmmL1g9nPJ47OQnb8KhUijJ4f3jO0nMYEUChC95cyKds8Y3k_MWrCI3jLnjOCz0wbvL_f7kSnRg3X7IKFicvMpU0o75mDfQSv3rcX7-yUKjAiNcfwcv_7kJZRFwq8ybl_scnNnhHJBiYdQwqS8TDLs11FbZ4CNIa83WPjy8Vku_w89EPkrfl6REKkuzMkb5jxmv2X-Mat7MSgm_8FUJ8HYc_F9BZb3usEib7GSLsMbAETKVZll2K4rNQ5_Z0N0NVT0rKdZV_ScxPh4NGCdNnA0bo1ACp6ny7WNrI7ygEZbTuINWLq11_aQtfh4nNzJAOuOj0LKoxgnCb6K2bKKSTNbg0hjjd_9OuDz4FeXd7UnEc33VdS3tIiey_wYINTkJCLNtdGoRbROU0TrIr_QZG-jY0WOBxsE-QO_y4uINFHkn15sB5NP46StePZpZcJCICEFovUVSL4FyauibzHjOuj7aQzXLdtwMBD8lYmP_OKveOcv4fio5FFq1h07PTKholbL7g_cCxXU95ZGO7RsIUiSwsd8VQrlG_HLPMs_rqYsz_JNNVWbMiek5Cz-TFP5XTtZG8lVU_mSRbrAnen91rHd7yghPM28L6a0ehn1bLFiI9gp7HHV2jeXzvl9nOQyIJRwgknxn-0-WJ_33DWSy8DrHfxmyXus5A1WkmT0unOvvXuVadPUL05fRf-nuTHAHNR140dv3tlB9NsG_PuPO22FX_h-876azq1vhO5MfwbYzruF6UYya317v8Fca3m5fkYF8jY5NKv-x-TcMCnvhYN6bcbLh_PUMQchcV-UKLqt_rKoSP6RYtccHzN8ScEHnk3Bp1vgiqUZ_6B8FtK63rK-i-oLkQPRBjl7g9zntPoA2czqQUjZiOfwHfILm_ziesOWb9l46vvIh2xfyRPcXXhejw-77kC7ilZsB4ckL4uySEma7U6HPuFVyQkkZR-nedFWPcS8oCSjrMyqKtuJA4kJjXNSJDQrSBrxtqhImiYFqdI-JylKYxiZkJEnjLQZduHr8yGnWUZ3knGQdj1-rSqEL9HrCcwcQmB8HixKYymssxdDTjgZjm5XomW3WIonUGD9RMxeT1InCJvf6-FNYz2xf8_nU4PdzUYe_vwkEKL5bwAAAP__QhJefA">