l0r3m1psum opened a new issue, #17798:
URL: https://github.com/apache/tvm/issues/17798
As the title says. In particular the following statement in
`very_well_formed.cc`
```
Verify(it == currently_defined_.end() || redefine_is_allowed)
<< "ValueError: "
<< "TIR is ill-formed, "
<< "due to multiple nested definitions of variable " << var
<< ". It was first defined at " << it->second << ", and was
re-defined at " << path;
```
allows for the espression `it->second` to be evaluated even when `it ==
currently_defined_.end()`.
This happens to me with MSVC 19.43.34808.
### Expected behavior
`it` should not be dereferenced.
### Actual behavior
`it` is dereferenced.
### Environment
I am running:
* Windows 11 build 26100.3476
* Python 3.11.0
* LLVM 15.0.0
* TVM commit `2c80e5c7a4d8d8c4125226beb16d792b964f3e5f`
### Steps to reproduce
See above.
### Triage
* needs-triage
* tir:analysis
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
