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-dev-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. |