sparse(1) on Linux
The text 5c1d8075b433, as Debian 13 (Trixie), Debian 12 (Bookworm) shipped it.
Semantic Parser for C
Flags it lists
-
--arch -
--os -
-Waddress-space -
-Wbitwise -
-Wbitwise-pointer -
-Wcast-from-as -
-Wcast-to-as -
-Wcast-truncate -
-Wconstant-suffix -
-Wconstexpr-not-const -
-Wcontext -
-Wdecl -
-Wdeclaration-after-statement -
-Wdefault-bitfield-sign -
-Wdesignated-init -
-Wdo-while -
-Wenum-mismatch -
-Wexternal-function-has-definition -
-Wflexible-array-array -
-Wflexible-array-nested -
-Wflexible-array-sizeof -
-Wflexible-array-union -
-Winit-cstring -
-Wmemcpy-max-count -
-Wnewline-eof -
-Wnon-pointer-null -
-Wold-initializer -
-Wone-bit-signed-bitfield -
-Wparen-string -
-Wpast-deep-designator -
-Wpointer-arith -
-Wptr-subtraction-blows -
-Wreturn-void -
-Wshadow -
-Wshift-count-negative -
-Wshift-count-overflow -
-Wsizeof-bool -
-Wsparse-all -
-Wsparse-error -
-Wtransparent-union -
-Wtypesign -
-Wundef -
-Wunion-cast -
-Wuniversal-initializer -
-fdiagnostic-prefix -
-fmax-errors -
-fmax-warnings -
-fmem-report -
-fmemcpy-max-count -
-ftabstop -
-gcc-base-dir -
-multiarch-dir