aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-06-16 20:23:54 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-06-16 20:30:05 +0200
commit6d4506fa201989698f643ec3a50b2b6201d829fe (patch)
tree3303f09a58740a7b2608a810dca729de602eec41
parent729e241bf89a4c654594c10f193741c62c8a7f82 (diff)
downloadsparse-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.md1
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.