diff options
Diffstat (limited to 'config/gnu-warnings/developer-12')
| -rw-r--r-- | config/gnu-warnings/developer-12 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/gnu-warnings/developer-12 b/config/gnu-warnings/developer-12 new file mode 100644 index 0000000..0835d96 --- /dev/null +++ b/config/gnu-warnings/developer-12 @@ -0,0 +1,4 @@ +# Enable GCC's static analyzer for GCC 12+ +# (Temporarily disabled as the analyzer currently adds significant +# compile time overhead for a few test files like cache.c) +# -fanalyzer |