Thiago Adams

extensions - empty struct

1

gcc and lang accept ```c struct X {}; int main() { struct X {}; } ```

At the current version cakeconfig.h is used together with the cake executable. the idea is to search for cakeconfig.h from each file we compile going up on directories until we...

Missing checks for uninitialized object

9

```c struct Z{ int dummy; }; struct Y{ int dummy; struct Z * _Owner pZ; }; struct X{ struct Y * _Owner pY; }; struct X * _Owner newX(); void...

```c struct X { alignas(16) float a[4]; }; ```

__asm__ is not implemented ```c //en.cppreference.com/w/c/language/asm.html #include extern int func(void); // the definition of func is written in assembly language __asm__(".globl func\n\t" ".type func, @function\n\t" "func:\n\t" ".cfi_startproc\n\t" "movl $7, %eax\n\t"...

The objective of cake is parsing the same code MSVC . sqlite3 stopped to work because __try MSVC extension is not implemented in cake. ```c __try ``` (sqlite3 is assuming...

error in flow analysis

2

```c void* _Owner malloc(unsigned long size); void free(void* _Owner ptr); struct X{ struct X* _Owner next; }; void x_delete(struct X * _Owner); struct X* _Owner new_x(); struct X* _Owner f(int...

This should compile ```c int main(void) { typedef int foo; foo:; } ``` today "error: empty declarator name?? unexpected"

rename static_debug to static_print ?

1

What static debug does is printing the information flow analysis have about expressions. Should it be renamed to static\_print?