diff options
| author |  Reiner Herrmann <reiner@reiner-h.de> | 2020-08-08 14:26:57 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2020-08-08 14:26:57 +0200 |
| commit | ce1b254834788eca7546b8f720cdabdeb0f6fe8f (patch) | |
| tree | 33d9b068df7e0081f0038e80e1af86c7ff5c5acd /src/firejail/main.c | |
| parent | update release notes (diff) | |
| download | firejail-ce1b254834788eca7546b8f720cdabdeb0f6fe8f.tar.gz firejail-ce1b254834788eca7546b8f720cdabdeb0f6fe8f.tar.zst firejail-ce1b254834788eca7546b8f720cdabdeb0f6fe8f.zip | |
annotate some functions as non-returning (#3574)
Diffstat (limited to 'src/firejail/main.c')
| -rw-r--r-- | src/firejail/main.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/firejail/main.c b/src/firejail/main.c index 79e39b669..f37d1ca52 100644 --- a/src/firejail/main.c +++ b/src/firejail/main.c | |||
| @@ -1159,8 +1159,7 @@ int main(int argc, char **argv, char **envp) { | |||
| 1159 | 1159 | ||
| 1160 | // start the program directly without sandboxing | 1160 | // start the program directly without sandboxing |
| 1161 | run_no_sandbox(argc, argv); | 1161 | run_no_sandbox(argc, argv); |
| 1162 | // it will never get here! | 1162 | __builtin_unreachable(); |
| 1163 | assert(0); | ||
| 1164 | } | 1163 | } |
| 1165 | } | 1164 | } |
| 1166 | EUID_ASSERT(); | 1165 | EUID_ASSERT(); |