David Malcolm

DO-NOT-MERGE: libgccjit experiment (work-in-progress)

2

Inspired by Vladimir's talk at LPC, this is a proof-of-concept of populating a libgccjit context from a MIR module, and then compiling it with libgccjit. This could allow for libgccjit...

If I'm reading things correctly, https://github.com/regehr/itc-benchmarks/blob/master/01.w_Defects/free_null_pointer.c is a test that a verifier complains about a free of a NULL pointer. However, it's legal to call `free` on a NULL pointer;...

Fix const-prop/const-fold cross references

1

The "Constant Propagation" and "Constant Folding" sections each contain links to themselves; presumably they're meant to link to each other? Fixed in the following, I believe (though I messed up...

Experiment: add optional error codes to diagnostics

7

rustc has error codes to identify specific errors, with URLs documenting each error. In GCC 13 I've extended GCC's diagnostic subsystem so that a diagnostic can be associated with zero...

Example of -fanalyzer with gccrs

7

For fun, I tried running gccrs with `-fanalyzer `; it seems to work; here's an example of detecting a double-free in `unsafe `code: https://godbolt.org/z/3PrKTP8bs ``` // This doesn't seem to...

Travis: generalize matrix to cover python versions as well as gcc versions

3

Ideally we'd test for the matrix of all supported gcc versions vs all supported Python versions. (Help with this would be appreciated!)

EnumeralType not documented

1

gcc.EnumeralType seems to exist, but it is not documented.

FunctionDecl never finished

2

Consider this plugin: {{{ import gcc def decl_finished(decl, *args, **kwargs): print "DECLARING %s -> %s" % (type(decl), decl.name) gcc.register_callback(gcc.PLUGIN_FINISH_DECL, decl_finished) }}} ... and this C source file: {{{ void somefunction(void)...