123456789101112131415161718192021222324252627282930313233343536373839 |
- GNSS_CFLAGS = [
- "-Werror",
- "-Wformat",
- "-Wformat-extra-args",
- "-Wunused-label",
- "-Wunused-variable",
- "-Wunused-function",
- "-Wimplicit-fallthrough",
- "-Wno-unused-parameter",
- "-Wno-error=unused-parameter",
- "-Wno-error=macro-redefined",
- "-Wno-error=reorder",
- "-Wno-error=missing-braces",
- "-Wno-error=self-assign",
- "-Wno-error=enum-conversion",
- "-Wno-error=logical-op-parentheses",
- "-Wno-error=null-arithmetic",
- "-Wno-error=null-conversion",
- "-Wno-error=parentheses-equality",
- "-Wno-error=undefined-bool-conversion",
- "-Wno-error=tautological-compare",
- "-Wno-error=switch",
- ]
- /* Activate the following for debug purposes only,
- comment out for production */
- GNSS_SANITIZE_DIAG = {
- /*
- diag: {
- cfi: true,
- misc_undefined: [
- "bounds",
- "null",
- "unreachable",
- "integer",
- ],
- },
- */
- }
|