Thiago Adams

```c int f1(void) {} int main() { f1( 10 ); } ```

missing error - case already used ```c int main() { int i = 0; switch (i) { case 0: break; case 0: break; } } ```

```c void func( int, float ); void func( int ); ```

```c int main() { double d = 0; d = ~d; } ```

```c int main() { int a= 0x; } ```

```c int main() { auto add = (int (void)){}; } ```

```c struct parser_ctx{int x;}; enum token_type type {A}; [[nodiscard]] int parser_match_tk(struct parser_ctx* ctx, enum token_type type) { } void call(void) { struct parser_ctx ctx; parser_match_tk(&ctx, A); } ```

global variables with -fanalyzer

2

The state of non const global variables used inside functions needs to be "reset" to "unknown" each time function starts. also static variables declared inside functions.

it needs to show an warning. ```c #include #include int main() { int size = 10; if (FILE* owner f = fopen("file.txt", "r"); f) { /*...*/ //fclose(f); } } ````

```c #define CONST(T) const T CONST(typeof(int)) b; ``` wrong output ```c #define CONST(T) const T CONST(typeof(int))int b; ```