From 6d4506fa201989698f643ec3a50b2b6201d829fe Mon Sep 17 00:00:00 2001 From: Luc Van Oostenryck Date: Tue, 16 Jun 2020 20:23:54 +0200 Subject: 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 --- Documentation/TODO.md | 1 - 1 file changed, 1 deletion(-) 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. -- cgit 1.2.3-korg