- used by 8cc among others

The C standard explicitly states that these functions 'convert the initial
portion of the string pointed to by nptr ...'; therefore they do expect
_strings_ (NUL-terminated) as inputs.

Thanks to Mark Dascher for the fix.

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

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

some POSIX macros will get standard values by default and can
be customized at runtime by user, though

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

but keep it around a little bit until generation mechanism is completed

the `max` ensures is dubious, and does not seem to convince Eva to treat
the resulting string as a valid string, hence is probably not worth it.