GCC diagnostic pragma: targeted warning suppression in embedded C builds

Targeted Warning Suppression

Yes, placing #pragma GCC diagnostic ignored "-Wunused-variable" within a push/pop pair prevents that specific warning from being promoted to an error by -Werror, while ensuring all other warnings in the file remain subject to the global error-on-warning policy.

Behavioral Analysis

The GCC diagnostic stack operates as a state machine. When #pragma GCC diagnostic push is called, the current diagnostic state is saved. The subsequent ignored pragma modifies the active state for the current translation unit. Because -Werror acts on the result of the diagnostic check, a warning that is explicitly ignored is never triggered, and therefore cannot be promoted to an error.

Regarding scope: any warning emitted before the push or after the matching pop is processed using the global compiler flags. If -Werror is active, a warning emitted after the pop will trigger a build error, confirming that the suppression is strictly localized to the block.

Implementation for Embedded Toolchains

To maintain compatibility across different embedded compilers (such as IAR or Keil) and to support Clang (which shares GCC's pragma syntax), wrap the pragmas in a guarded header. This prevents non-GCC compilers from attempting to process unknown pragmas.

/* diag_utils.h */
#if defined(__GNUC__) || defined(__clang__)
    #define DIAG_PUSH() _Pragma("GCC diagnostic push")
    #define DIAG_POP()  _Pragma("GCC diagnostic pop")
    #define DIAG_IGNORE_UNUSED() _Pragma("GCC diagnostic ignored \"-Wunused-variable\"")
#else
    #define DIAG_PUSH()
    #define DIAG_POP()
    #define DIAG_IGNORE_UNUSED()
#endif

Usage Pattern:

#include "diag_utils.h"

DIAG_PUSH();
DIAG_IGNORE_UNUSED();
#include "legacy_third_party_header.h"
DIAG_POP();

Verification Steps

To verify the localized scope and -Werror interaction, use the following test case:

1. Create a file with an unused variable before the push, one inside the block, and one after the pop.
2. Compile with: gcc -Wall -Werror test.c.
3. Expected Result: The compiler should error on the first and third variables, but remain silent on the second.

Assumptions and Constraints

• GCC Version: This behavior is stable in GCC 5.0 and later. In versions prior to GCC 5, some ignored warnings were still promoted to errors under -Werror.
• Pragma Syntax: _Pragma is used in the macros instead of #pragma because _Pragma can be defined within a macro, whereas #pragma must appear at the start of a line.