inducer / inducer/islpy

`isl.Set.move_dims` segfault when destination position is out of bounds

Open
#201 1 comment 0 reactions 0 assignees View on GitHub
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.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.