This is a fork of Hsiang-Ying Fu's slimcc. Many thanks to slimcc and its ancestors (chibicc and 8cc).
The keyword 'goto' is available as a function specifier to declare stackless functions. Stackless functions do not allocate any memory (on the stack or heap) when they are invoked.
Restrictions on stackless functions:
- the function 'main' cannot be a stackless function
- stackless functions cannot be recursive or mutually recursive
- stackless functions cannot be variadic
- Coroutines and effects by without boats: "The program stack is such a universal model of program execution today that we treat it as inevitable, but like everything else it had to be invented."
- Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches by Evan Ovadia.
- Traits: Composable Units of Behaviour by Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz & Andrew P. Black: "[C]lasses play two competing roles. A class has a primary role as a generator of instances: it must therefore be complete. But as a unit of reuse, a class should be small. These properties often conflict." My notes: stackful functions have two roles. As function calls they have a role in control flow. As stackful functions they have a role in memory allocation.
- How recursion got into programming: a tale of intrigue, betrayal, and advanced programming-language semantics by Maarten van Emden.
make builds the compiler. make test runs the test suite.
Should just work on recent (2.28+) glibc-based x86-64 Linux. Musl support is almost there.
- libtool doesn't generate the nessasary
-Wl,-fPICoption, if you see-sonameand PIC linker errors, try filling*_wl=*_pic=in configure scripts with*_wl='-Wl,'*_pic='-fPIC'