-
- 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)
- 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)
machdep_msvc_x86_64.yaml 2.60 KiB
alignof_aligned: 1
alignof_double: 8
alignof_float: 4
alignof_fun: -1
alignof_int: 4
alignof_long: 4
alignof_longdouble: 8
alignof_longlong: 8
alignof_ptr: 8
alignof_short: 2
alignof_str: 1
char_is_unsigned: false
compiler: msvc
cpp_arch_flags:
- -m64
errno:
eperm: '1'
enoent: '2'
esrch: '3'
eintr: '4'
eio: '5'
enxio: '6'
e2big: '7'
enoexec: '8'
ebadf: '9'
echild: '10'
eagain: '11'
enomem: '12'
eacces: '13'
efault: '14'
ebusy: '16'
eexist: '17'
exdev: '18'
enodev: '19'
enotdir: '20'
eisdir: '21'
einval: '22'
enfile: '23'
emfile: '24'
enotty: '25'
etxtbsy: '139'
efbig: '27'
enospc: '28'
espipe: '29'
erofs: '30'
emlink: '31'
epipe: '32'
edom: '33'
erange: '34'
edeadlk: '36'
enametoolong: '38'
enolck: '39'
enosys: '40'
enotempty: '41'
eloop: '114'
ewouldblock: '140'
enomsg: '122'
eidrm: '111'
edeadlock: '36'
enostr: '125'
enodata: '120'
etime: '137'
enosr: '124'
enolink: '121'
eproto: '134'
ebadmsg: '104'
eoverflow: '132'
eilseq: '42'
enotsock: '128'
edestaddrreq: '109'