c-semantics

c-semantics copied to clipboard

This was added to prevent differences in error messages depending on whether that file was produced or not. It might not be needed anymore because I think we're chopping that...

charala1

To enable consecutive testing of different profiles, test output (`.out`, etc.) files are cleaned every time the tests are run. This is necessary because these files are output into the...

charala1

The name `isBaseClassOf` is a little misguiding.

h0nzZik

e.g. the following program should compile ``` struct A{ A(int){} }; void foo(A){} int main() { foo(1); } ``` The following applies: n4296 8.5/17.6.2 n4296 13.3.1.4

h0nzZik

Builds and a.out should find krun in $PATH

2

I built c-semantics on a computer running Ubuntu 18.04 and found some problems with file paths. I followed INSTALL.md. In step 3 "Install K" I ran into some difficulties building...

GJDitchfield

[C++] Extract references to standard documents

1

I will do that since I am working on a formatting script in Perl anyway, so I can reuse some code. The output will look like that: ``` [ {...

h0nzZik

Overload resolution bug in Clang

1

# Problem description [12.3.3.2/4.2](http://eel.is/c++draft/over.ics.rank#4.2) says: > A conversion that promotes an enumeration whose underlying type is fixed to its underlying type is better than one that promotes to the promoted...

h0nzZik

``` int main(){} ; //here ```

h0nzZik

In the following program, the assertion fails. ``` extern "C" void abort(); #define assert(x) if(!(x)) abort(); extern int alpha; int * foo() { return α } int alpha; int main()...

h0nzZik

The program ```cpp struct B {int x;}; struct C : B {}; int main() { C c; c.x = -1; B *rb = &c; static_cast(rb); ``` gets stuck: ``` isVirtualBaseClassOf(...

h0nzZik