c-semantics

c-semantics copied to clipboard

Hi, I tested `kcc` with the following "simple" program: ``` #define _GNU_SOURCE #include #include int main(int argc, char **argv){ printf("Hello World\n"); return 0; } ``` It fails with the following...

diekmann

Handling floating point

1

1.0f translates to Float(#"1e+00") instead of Float(#"1e+00f") Generally, account for both float and double constants.

edgar-pek

Applications of K in systems lacking the ability to run K.

1

C often finds usages on systems that lack the ability to run anything else. Running K on such systems is often not an option. There can be many reasons behind...

msaxena2

Much of the C semantics was written long ago, when the K framework did not support many of its current features and was buggy. Now we should be able to...

grosu

inline definitions

1

It would appear the C semantics does not correctly handle inline definitions, but instead treats them as if they are external definitions, which they are not. It would be good...

dwightguth