Christoffer Lerno

Try getting Godbolt working with C3 and submit it to mainline godbolt: https://github.com/compiler-explorer/compiler-explorer

Add nullability annotation on parameter

1

Maybe "[in?]"? And [in] is by default non null.

When using $vaarg\_\*, make sure "@" is required when using ref or expr arguments.

LLVM 15.0.3 cmake file fails due to missing llvm-bolt

26

LLVMExports.cmake is "faulty", complaining of missing llvm-bolt install. ``` 2022-10-12T10:16:43.1944691Z -- The C compiler identification is Clang 15.0.3 2022-10-12T10:16:43.3702543Z -- The CXX compiler identification is Clang 15.0.3 2022-10-12T10:16:43.4881695Z -- Detecting...

When using Xcode 10 and linking against Mojave frameworks, the OpenGL main view refuses to render at all. I've tried the suggestions mentioned online (running an [OpenGLContext update], setting the...

MSVC detection sometimes goes wrong

5

``` -- INFO: Detected executable path at C:/Users/mlb/Documents/DEV/DEPS/c3/ -- INFO: Linker arguments: /OUT:../build/hello_world.exe /SUBSYSTEM:CONSOLE /DEBUG:FULL /LIBPATH:C:\Program Files (x86)\Windows Kits\10\Lib\10.0.22621.0\um\x64 /LIBPATH:C:\Program Files (x86)\Windows Kits\10\Lib\10.0.22621.0\ucrt\x64 /LIBPATH:C:\Program Files (x86)\Microsoft Visual Studio\2019\BuildTools\VC\Tools\MSVC\14.29.30133\lib\x64 /NOLOGO build/tmp/hello_world.obj...

enum with values / distinct const

77

Enums changed with #428 from classic C enums to ordinal based enums. This left a hole in the language, not the least in how to define C enums that aren't...

In order to separate capabilities for compilers, introducing formal verification levels of contracts could be useful. A simple example: V0: Contracts are only semantically checked. V1: `@require` may be compiled...

In order to work correctly with multiple statically compiled libraries, the stdlib should implicitly use weak odr.