From e2d8a49c35e7820a2d982ee3527d2b38a698e0fa Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 3 Jun 2011 08:27:55 +0300 Subject: [PATCH] Support __builtin_unreachable() __builtin_unreachable() is the new way to tell gcc that code is unreachable. Signed-off-by: Dan Carpenter --- smatch_data/kernel.no_return_funcs | 1 + smatch_data/no_return_funcs | 1 + 2 files changed, 2 insertions(+) diff --git a/smatch_data/kernel.no_return_funcs b/smatch_data/kernel.no_return_funcs index 4a5c484c..9ae2d351 100644 --- a/smatch_data/kernel.no_return_funcs +++ b/smatch_data/kernel.no_return_funcs @@ -73,3 +73,4 @@ usb_stor_scan_thread usu_probe_thread wait_for_panic watchdog +__builtin_unreachable diff --git a/smatch_data/no_return_funcs b/smatch_data/no_return_funcs index 010dbbf5..56fa52bb 100644 --- a/smatch_data/no_return_funcs +++ b/smatch_data/no_return_funcs @@ -1,2 +1,3 @@ __assert_fail exit +__builtin_unreachable -- 2.11.4.GIT