diff options
| author | David Gibson <david@gibson.dropbear.id.au> | 2025-04-02 14:13:17 +1100 |
|---|---|---|
| committer | Stefano Brivio <sbrivio@redhat.com> | 2025-04-02 08:28:57 +0200 |
| commit | 8e32881ef1d6d5867223a164052f8ff39d4ebb4e (patch) | |
| tree | b7d61bcd63935e9bdd2d697e3e8e0faa1a921500 | |
| parent | 2ed2d59def758b049f42e7c75bfb48957a73bd39 (diff) | |
| download | passt-8e32881ef1d6d5867223a164052f8ff39d4ebb4e.tar passt-8e32881ef1d6d5867223a164052f8ff39d4ebb4e.tar.gz passt-8e32881ef1d6d5867223a164052f8ff39d4ebb4e.tar.bz2 passt-8e32881ef1d6d5867223a164052f8ff39d4ebb4e.tar.lz passt-8e32881ef1d6d5867223a164052f8ff39d4ebb4e.tar.xz passt-8e32881ef1d6d5867223a164052f8ff39d4ebb4e.tar.zst passt-8e32881ef1d6d5867223a164052f8ff39d4ebb4e.zip | |
platform requirements: Add attributes to die() function
Add both format string and ((noreturn)) attributes to the version of die()
used in the test programs in doc/platform-requirements. As well as
potentially catching problems in format strings, this means that the
compiler and static checkers can properly reason about the fact that it
will exit, preventing bogus warnings.
Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
Signed-off-by: Stefano Brivio <sbrivio@redhat.com>
| -rw-r--r-- | doc/platform-requirements/common.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/platform-requirements/common.h b/doc/platform-requirements/common.h index 8844b1e..e85fc2b 100644 --- a/doc/platform-requirements/common.h +++ b/doc/platform-requirements/common.h @@ -15,6 +15,7 @@ #include <stdio.h> #include <stdlib.h> +__attribute__((format(printf, 1, 2), noreturn)) static inline void die(const char *fmt, ...) { va_list ap; |