From 4afc641fdd8c03bd708f50e0c3691b5de7ea1dba Mon Sep 17 00:00:00 2001 From: Mike Gabriel Date: Wed, 12 Jul 2017 13:35:57 +0200 Subject: nxcomp: Add __attribute__((noreturn)) to more functions where appropriate. --- nxcomp/src/Channel.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'nxcomp/src/Channel.h') diff --git a/nxcomp/src/Channel.h b/nxcomp/src/Channel.h index 93b022630..7e432416a 100644 --- a/nxcomp/src/Channel.h +++ b/nxcomp/src/Channel.h @@ -519,7 +519,7 @@ class Channel // Set up the split stores. // - void handleSplitStoreError(int resource); + void handleSplitStoreError(int resource) __attribute__((noreturn)); void handleSplitStoreAlloc(List *list, int resource); void handleSplitStoreRemove(List *list, int resource); -- cgit v1.2.3