diff options
author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2017-07-12 13:35:57 +0200 |
---|---|---|
committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2017-07-26 10:12:45 +0200 |
commit | 4afc641fdd8c03bd708f50e0c3691b5de7ea1dba (patch) | |
tree | a0bcbfa2c4ae1111ad3d49390c7abd0ae3a9a2ed /nxcomp/src/Channel.h | |
parent | b3a3382ad8e162b0a63bc71ebb2238b14875cdc5 (diff) | |
download | nx-libs-4afc641fdd8c03bd708f50e0c3691b5de7ea1dba.tar.gz nx-libs-4afc641fdd8c03bd708f50e0c3691b5de7ea1dba.tar.bz2 nx-libs-4afc641fdd8c03bd708f50e0c3691b5de7ea1dba.zip |
nxcomp: Add __attribute__((noreturn)) to more functions where appropriate.
Diffstat (limited to 'nxcomp/src/Channel.h')
-rw-r--r-- | nxcomp/src/Channel.h | 2 |
1 files changed, 1 insertions, 1 deletions
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); |