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

    <tr>
        <th>Summary</th>
        <td>
            [Linker Diff 2][DeadArgumentEliminationPass] before and after opt
        </td>
    </tr>

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

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

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

<pre>
    like the issue https://github.com/llvm/llvm-project/issues/67138
but in contrary position:
```cpp
#include <vector>

static int varargs_func2(int X,...) {
    int result = 0;
    int arr[] = {4, 5, 6};
    result += arr[0] - arr[X];
    return result;
}

int main() {
    int result = varargs_func2(1);
    return result;
}
```

our command is:
```
    commands = {
        "clang++": ["clang++", "-O0", "-mllvm", "--debug", "a.cpp", "-S", "-emit-llvm", "-o", file]
        "opt":[ "opt", file, "-O3", "--debug", "-mtriple=x86_64-unknown-linux-gnu", "-o", file_after_opt],
 "llc_before":[ "llc", file, "-O3","-filetype=obj", "--debug", "-mtriple=x86_64-unknown-linux-gnu", "-o", exe_before_opt + ".o"],
 "llc_after":[ "llc", file_after_opt, "-O3","-filetype=obj", "--debug", "-mtriple=x86_64-unknown-linux-gnu", "-o", exe_after_opt + ".o"],
        "linker_before":["clang", exe_before_opt + ".o", "-o", exe_before_opt],
        "linker_after":["clang", exe_after_opt + ".o", "-o", exe_after_opt],
    }
```
the linker before output is 1, but the linker after output is 0.

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzEVcuOozgU_ZrLxgKBHV4LFpXQWbU0o5lNzyoyYIi7jI38qK76-5GBVKh0J6XRjDQRIrbv65xj40uN4YNkrIJ0D2kdUGfPSldf__irKPM0DxrVvVWCPzNkzwxxYxxDZ2snA-QJ8BHwceD27JqoVSPgoxAvl79w0uo7ay3g4xxmAB-zPCEFxDXET42ziEvUKmk11W9oUoZbrqTPOztAFi9PO03rCiZctsJ1DAE5vLDWKg3ky2qc38ZSy1vEpUUvVFM9mFPvZIsBF37tG-BDFEWASwT5fglBCM3-mhknLAJSoxjIjZFqvQg02yHf7wAfUOpfGeT1B_9LIrz3vktk7EPDdfIN0tsI67RcA98tPu-GmocxUi4BF5_hv6WeAC7_UcGL9Nv6ymnUqnGkskPc_LxN1-yrl7lodbX4H2DcCioHr49_MJAn5MX9aR0fvHP4W7yZjMsJe5-HHWvccF2gkT8uV_ufmzEbuQ1v4tU67rlgfltuoarJLhAh3W_ml4gLRPIAUjhazSfBgNSvRXbKdqGTz1L9kKHg0r2Gg3R3AJ1ob5k--ZppDfiwogOMhWhPDeuVZh_QCdE-QOfHft2-TR6Mar7_56jZK1txedT-G_DmaDb_gsLM7wGDjQD_D5f3-vepXM-K4PKZ6dt9uZ7rTxV6KObjoh-V_EXNO0wecb6teO9-8J1hgYEWuEg5O_n73aDEZ_V3_cZpLrDxiaMlT9BVpCtJSQNWJVmZkjJJSBqcK1zs0raPSdYR0hNKCKZ5RgrKEtaWfUwCXuEYk7jEOCFpkaZRmhOSlF2ZJVnMkhbDLmYj5SLyn3-k9BDMPanyDakMBG2YMNUinGQ_lj63bHSgq7mbNW4wsIsFN9Zcs1huxdw7vy7Uat73aD4f6b5mtHvSgxuZtF8EH7mkvsH9To3x3WCVyl-nqyCTDZwW1b9rr-XfAQAA__9XCjEg">