Also fixes machdep-schema that was missing a type...

Basically fields corresponding to undefined macros will properly be
associated to null instead of the macro name itself.

We do it even for macros that are supposedly defined by a standard compliant
C library, so that we can cope with more exotic implementations

- sort imports
- avoid top-level import after code
- prefer 'sys.exit' instead of 'exit'
- avoid unnecessary '.keys()'
- '\w' in string is an anomalous backslash (W1401), "might be missing r prefix"

Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago

adds a test for avr_8 and avr_16. Turns out that embedded micro-controlers
have libc that are not exactly standard compliant

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

Notably __fc_machdep.h in result dir, that could be picked up by other
tests in the same session...

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

- fix various typos and inconsistencies
- add an option in make_machdep.py to validate an existing yaml file,
  and use it to validate manually written machdeps
- add macro with the name of the machdep (used in tests/syntax/assembly_gmp.c)
- add option to Frama-C to print the content of __fc_machdep.h on stdout
  and use that to compile our libc with gcc outside of Frama-C
  (as in tests/libc/runtime.c)

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

- remove ill-placed macro in stdio.h
- better error msg for custom yaml parsing