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

    <tr>
        <th>Summary</th>
        <td>
            valgrind error in llvm::ConstantExpr::getGetElementPtr
        </td>
    </tr>

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

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

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

<pre>
    For this C code:

typedef struct SSegment SSegment;
struct SSegment {
  SSegment *Pred, *Suc};
int Groups() {
  SSegment *SS = 0;
  (SS)->Suc ;
}

does this with recent clang trunk:

cvise $ valgrind -q --trace-children=yes ~/llvm/results/bin/clang -c -O1 -w /tmp/bug35.c
==1545470== Conditional jump or move depends on uninitialised value(s)
==1545470==    at 0x1CC9A60: llvm::ConstantExpr::getGetElementPtr(llvm::Type*, llvm::Constant*, llvm::ArrayRef<llvm::Value*>, bool, std::optional<unsigned int>, llvm::Type*) (in /home/dcb38/llvm/results.20240222/bin/clang-19)
==1545470==    by 0x1392D51: (anonymous namespace)::SymbolicallyEvaluateGEP(llvm::GEPOperator const*, llvm::ArrayRef<llvm::Constant*>, llvm::DataLayout const&, llvm::TargetLibraryInfo const*) (in /home/dcb38/llvm/results.20240222/bin/clang-19)

The bug first seems to occur sometime between git hash
65066c02770cc3da3b5154fbb7ed9df78ab94b93 and 
2147a2a4f3ef344a561677b55444ce4d028ec59f, which is 110 commits.


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyslEuP2zYQxz8NfRnYoEg9Dzo4fiwKBMiiDnrnYyQxlUiVpHajSz97QXuzTwRtgVxkmUP--Z_fjEaEYHqL2JLiEymOG7HEwflWK8mzfCOdXtuz8xAHE-AAymkkfE_okdCnZ1xn1NhBiH5RES4X7Ce0Ly-Ef7ptfL-BVE8BeLXG9vceNWGH9HpZFKmOzwLGRrjzbpkDYTVhzc8ULhcg_Aj0-SAAYfXlQlizJfx0WRQ8h5L-q2S0w3DL9dHEATyqpKlGYXuIfrF_vktePZiAQFgOD2LsvbEatn_Bdhu9ULhVgxm1R0v4ccUAfxN2HseHibCzx7CMMRB2lsYSdr7dsFWw_ZLB9hEIO8dpTuGl58VOPd3Jj4QfsyIv8ore_sDBWW2icVaM8G2ZZnAeJveAoHFGqwM4C4s11kQjRhNQJ6cLElYHwpqf6wKAiEC_Z4dDsy8p4Xu4eud7wvcHZ0MUNp6-z_620mO8w3gaMRXhPnrC6pftX9cZCdunqn7U-BDYey_W37Ej_PCy-MfN9J7wU9otnRvTb4j6FnfzjQHhh8VeO1qDSc13eiv-bKVJPWFsIj24CQk7p5avP5RoxyjLKWPsba22WfNv-OSa8PGGHYss4SOsFtbZdXJLACsmDLNQmFSuzi7rJN1olBjH9ZRqJCLene7fgLw73X-Z0YvoPKjE77_Be436PZCjiOKzWN0SfyiW74gJ32P8bKQXfv3Ndu7Vzb8S4vX5dUCQSw-d8SFCQJwCRAdOqcVDcBNGMyFIjI-IFnoTYRBhuJ0tC1qWirKqokpxLbgssiLvpKxQN7qraiGbXDYchNVwO8KyvBJM5B3Hjue5KMqsrCpZFHmeK8w1ZTWqoukSkcfBqAFMgCyjoNw0mRh2r71vdMt1wxuxwTaraF0yzmi-GVolpC6pbErJKylzzKu6q5lsqKq7rtT1xrQ_-GQV5yzfUUbrhjeZyGhXVhWSnOIkzLhLWHfO9xsTwoJtzcqi3oxC4hiuA5wxi49wDRLG0jz3bTqzlUsfSE5HE2J4UYkmjtg-jy703nkw9n996ZvFj-0Q4xxSnJ0JO_cmDovcKTe9dMLVxezdN1SRsPPVYpp_1xT-CQAA__-5vvac">