diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-06-16 20:23:54 +0200 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-06-16 20:30:05 +0200 |
commit | 6d4506fa201989698f643ec3a50b2b6201d829fe (patch) | |
tree | 3303f09a58740a7b2608a810dca729de602eec41 | |
parent | 729e241bf89a4c654594c10f193741c62c8a7f82 (diff) | |
download | sparse-6d4506fa201989698f643ec3a50b2b6201d829fe.tar.gz |
doc: update TODO
Support for __builtin_unreachable() was added in commit
d2be323e25c3 ("teach sparse to linearize __builtin_unreachable()")
So, remove this item from the TODO list.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | Documentation/TODO.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Documentation/TODO.md b/Documentation/TODO.md index 4344a1dc..64c1523c 100644 --- a/Documentation/TODO.md +++ b/Documentation/TODO.md @@ -34,7 +34,6 @@ Misc ---- * GCC's -Wenum-compare / clangs's -Wenum-conversion -Wassign-enum * parse __attribute_((fallthrough)) -* add support for __builtin_unreachable() * add support for format(printf()) (WIP by Ben Dooks) * make use of UNDEFs (issues warnings, simplification, ... ?) * add a pass to inline small functions during simplification. |