[llvm] Allow empty range attribute and add assert for full range (PR #100601)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Wed Aug 7 06:00:05 PDT 2024


================
@@ -1675,7 +1675,8 @@ Currently, only the following parameter attributes are defined:
     -  The pair ``a,b`` represents the range ``[a,b)``.
     -  Both ``a`` and ``b`` are constants.
     -  The range is allowed to wrap.
-    -  The range should not represent the full or empty set. That is, ``a!=b``.
+    -  Only for the empty set is ``a`` and ``b`` allowed to be equal and
+       only for the value 0.
----------------
nikic wrote:

I found this a bit hard to understand, maybe like this?
```suggestion
    -  The empty range is represented using ``0,0``.
    -  Otherwise, ``a`` and ``b` are not allowed to be equal.
```

https://github.com/llvm/llvm-project/pull/100601


More information about the llvm-commits mailing list