| Issue | 76839 |
|---|---|
| Summary | Implement `insertVar` having `Identifier` parameter |
| Labels | new issue |
| Assignees | |
| Reporter | iambrj |
Currently, the `insertVar`s for `PresburgerSpace`, `IntegerRelation`, and `PresburgerRelation` insert a null identifier for the new var. It would be convenient to have an `insertVar` which also takes an `Identifier` parameter.
_______________________________________________ llvm-bugs mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
