# 无警告（不推荐）
gcc -w -o hello main.c

# 基本警告（推荐起步级别）
gcc -Wall -o hello main.c

# 更多警告（推荐生产使用）
gcc -Wall -Wextra -o hello main.c

# 严格警告（推荐库开发）
gcc -Wall -Wextra -Wpedantic -o hello main.c

# 所有警告视为错误（推荐 CI）
gcc -Wall -Wextra -Werror -o hello main.c

# 基本格式检查
gcc -Wall -Wformat -o hello main.c

# 更严格的格式检查
gcc -Wformat=2 -o hello main.c
# 包含:
# -Wformat
# -Wformat-nonliteral（格式字符串不是字面量）
# -Wformat-security（安全相关的格式问题）

// -Wformat 示例
#include <stdio.h>

void bad_log(const char *msg) {
    printf(msg);     // ⚠️ -Wformat-nonliteral: 格式字符串不是字面量
                     // ⚠️ -Wformat-security: 可能的安全问题
}

void good_log(const char *msg) {
    printf("%s\n", msg);  // ✅ 安全
}

# 基本未初始化检测
gcc -Wall -Wuninitialized -o hello main.c

# 更强大的跨路径未初始化检测（需要 -O 优化级别）
gcc -Wall -O2 -Wuninitialized -o hello main.c

# 额外的未初始化警告（独立于 -Wall）
gcc -Wmaybe-uninitialized -o hello main.c

#include <stdio.h>

int example(int flag) {
    int x;              // 可能未初始化
    if (flag) {
        x = 42;
    }
    return x;           // ⚠️ -Wmaybe-uninitialized: 当 flag 为 0 时 x 未初始化
}

int correct(int flag) {
    int x = 0;          // ✅ 初始化
    if (flag) {
        x = 42;
    }
    return x;
}

# 隐式类型转换警告
gcc -Wconversion -o hello main.c

# 窄化转换（C++）
g++ -Wconversion -Wnarrowing -o hello main.cpp

# 整数和指针之间的转换
gcc -Wint-conversion -o hello main.c

#include <stdio.h>

void conversion_warnings(void) {
    int i = -1;
    unsigned int u = i;    // ⚠️ -Wsign-conversion: 有符号到无符号

    long long ll = 1000000000LL;
    int n = ll;            // ⚠️ -Wconversion: 可能丢失数据

    double d = 3.14;
    int j = d;             // ⚠️ -Wconversion: 浮点到整数
}

gcc -Wshadow -o hello main.c

#include <stdio.h>

int x = 10;              // 全局变量

void foo(int x) {        // ⚠️ -Wshadow: 参数 x 遮蔽了全局变量 x
    int y = x;            // 使用的是参数 x

    {
        int y = 20;       // ⚠️ -Wshadow: 内部 y 遮蔽了外部 y
        printf("%d\n", y);
    }
}

# switch fall-through 警告
gcc -Wimplicit-fallthrough -o hello main.c

# 缺少 default 分支
gcc -Wswitch-default -o hello main.c

# switch 所有可能的枚举值都覆盖了
gcc -Wswitch-enum -o hello main.c

enum Color { RED, GREEN, BLUE };

void handle_color(enum Color c) {
    switch (c) {
    case RED:
        printf("Red\n");
        __attribute__((fallthrough));  // 明确标记 fall-through
    case GREEN:
        printf("Red or Green\n");
        break;
    case BLUE:
        printf("Blue\n");
        break;
    // -Wswitch-enum 会提示缺少 case
    }
}

gcc -Wall -Wextra -Wpedantic -std=c11 -o hello main.c

#include <stdio.h>

// -Wpedantic 会警告非标准扩展
int main(void) {
    int arr[] = {[0] = 1, [2] = 3};  // ⚠️ 指定初始化器是 C99 标准，但某些扩展不标准

    // GCC 扩展：语句表达式
    int x = ({ int a = 1; int b = 2; a + b; });  // ⚠️ GNU 扩展

    // GCC 扩展：零长度数组
    struct Flex {
        int len;
        int data[0];  // ⚠️ GNU 扩展（应使用柔性数组成员 int data[]）
    };

    return 0;
}

# 所有警告视为错误
gcc -Wall -Wextra -Werror -o hello main.c

# 特定警告视为错误，其他保持警告
gcc -Wall -Wextra -Werror=return-type -Werror=format -o hello main.c

# 全部警告视为错误，但特定警告保持警告
gcc -Wall -Wextra -Werror -Wno-error=unused-parameter -o hello main.c

# 选择性禁用特定警告
gcc -Wall -Wextra -Wno-sign-compare -Wno-unused-parameter -o hello main.c

# 严格但合理的 CI 编译选项
CFLAGS_CI="-Wall -Wextra -Wpedantic -Werror \
    -Wshadow -Wconversion -Wformat=2 \
    -Wnull-dereference -Wdouble-promotion \
    -Wno-unused-parameter"

gcc $CFLAGS_CI -std=c17 -O2 -o hello main.c

# 启用静态分析器
gcc -fanalyzer -o hello main.c

# 分析器 + 警告选项
gcc -Wall -Wextra -fanalyzer -o hello main.c

#include <stdlib.h>
#include <stdio.h>

// -fanalyzer 会警告的问题
void leak_example(int condition) {
    char *p = malloc(100);
    if (condition) {
        return;     // ⚠️ 内存泄漏: p 未被释放
    }
    free(p);
}

void use_after_free(void) {
    char *p = malloc(100);
    free(p);
    p[0] = 'x';   // ⚠️ Use-after-free
}

void double_free(int condition) {
    char *p = malloc(100);
    if (condition) {
        free(p);
    }
    free(p);        // ⚠️ 可能的双重释放（当 condition 为真时）
}

# 查看所有分析器选项
gcc --help=analyzer

# 跳过系统头文件的分析
gcc -fanalyzer -fno-analyzer-feasibility -o hello main.c

# 控制分析深度（减少编译时间）
gcc -fanalyzer -fmax-analyzer-depth=25 -o hello main.c

# 禁用特定检查
gcc -fanalyzer -fno-analyzer-malloc-leaks -o hello main.c

# Makefile 中的推荐警告配置
CFLAGS = -std=c17
CFLAGS += -Wall -Wextra -Wpedantic
CFLAGS += -Wshadow -Wconversion -Wformat=2
CFLAGS += -Wdouble-promotion -Wnull-dereference
CFLAGS += -Wno-unused-parameter  # 函数指针回调常见

# Debug 特有
CFLAGS_DEBUG = -g3 -O0 -fsanitize=address,undefined
CFLAGS_DEBUG += -Wno-sanitize-recover=all

# Release 特有
CFLAGS_RELEASE = -O2 -DNDEBUG
CFLAGS_RELEASE += -Werror  # CI 中将警告视为错误

// mylib.h
#ifndef MYLIB_H
#define MYLIB_H

// 针对头文件禁用特定警告
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wpadded"  // 忽略结构体填充警告

typedef struct {
    char a;       // 1 byte + 3 padding
    int b;        // 4 bytes
    char c;       // 1 byte + 3 padding
} MyStruct;       // sizeof(MyStruct) = 12

#pragma GCC diagnostic pop

#endif

# 默认格式
gcc -Wall -o hello main.c
# main.c:5:5: warning: unused variable 'x' [-Wunused-variable]

# SARIF 格式（静态分析结果交换格式，GCC 13+）
gcc -fanalyzer -fdiagnostics-format=sarif-file -o hello main.c
# 生成 hello.sarif 文件

# JSON 格式
gcc -fdiagnostics-format=json -Wall -o hello main.c

# 不显示源代码行
gcc -fno-diagnostics-show-option -Wall -o hello main.c

# 彩色输出
gcc -fdiagnostics-color=always -Wall -o hello main.c

# 在终端宽度限制下换行
gcc -fdiagnostics-show-option -fmessage-length=80 -Wall -o hello main.c