`isl.Set.move_dims` segfault when destination position is out of bounds
Open
bug
- Dominant language
- Python
- Stars
- 86
- Forks
- 22
- Avg merge
- 18h 16m
- Merged PRs (30d)
- 6
Description
**Describe the bug**
`isl.Set.move_dims` segfaults when destination position is greater than `isl.Set.dim` for a particular `isl.dim_type`.
**To Reproduce**
```python
import islpy as isl
s = isl.Set("{ [d_0, n] : d_0 >= 0 and n > d_0 }")
s = s.move_dims(
isl.dim_type.param, 1,
isl.dim_type.set, 0, 1
)
```
**Expected behavior**
Raise an error when destination is out of bounds.
**Environment (please complete the following information):**
- OS: Linux
- Python version: 3.13
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.