| Paul Sokolovsky | 3486b4e | 2022-09-06 13:33:57 +0300 | [diff] [blame] | 1 | -eval_file=toolchain.ecl |
| 2 | |
| 3 | -eval_file=public_APIs.ecl |
| 4 | -public_files+=api:public |
| 5 | |
| Paul Sokolovsky | 2a28541 | 2023-04-18 11:35:08 +0300 | [diff] [blame] | 6 | -eval_file=external_sources.ecl |
| Paul Sokolovsky | 3486b4e | 2022-09-06 13:33:57 +0300 | [diff] [blame] | 7 | |
| 8 | -doc="Build version file is autogenerated and piped directly to compiler, captured by ECLAIR as /dev/pipe/XXX, changing from build to build, leading to spurious diffs." |
| 9 | #-file_tag+={external, "^_ROOT/dev/pipe/.*$"} |
| 10 | #-file_tag+={external, "^/dev/pipe/.*$"} |
| 11 | -source_files={hide, "^/dev/pipe/.*$"} |
| 12 | |
| 13 | -doc="FIXME: cite the compiler manual section describing support for __asm__." |
| 14 | -config=MC3R1.R1.2,reports+={hide,"category(^STD.tokenext/__asm__$)"} |
| 15 | |
| 16 | -doc="FIXME: cite the compiler manual section describing support for __attribute__." |
| 17 | -config=MC3R1.R1.2,reports+={hide,"category(^STD.tokenext/__attribute__$)"} |
| 18 | |
| 19 | -doc="FIXME: cite the compiler manual section describing support for __typeof__." |
| 20 | -config=MC3R1.R1.2,reports+={hide,"category(^STD.tokenext/__typeof__$)"} |
| 21 | |
| 22 | -doc_begin="Unless specified otherwise, a function with a non-const pointer argument is assumed not to read the pointee before writing it and it is assumed to write something to it before returning." |
| 23 | -default_call_properties+="pointee_read(1..=never)" |
| 24 | -default_call_properties+="pointee_write(1..=always)" |
| 25 | -doc_end |
| 26 | |
| 27 | |
| 28 | -doc="Unless specified otherwise, a function is assumed to not save/preserve the pointers received as arguments." |
| 29 | -default_call_properties+="taken()" |
| 30 | |
| 31 | -remap_rtag={safe, hide} |
| 32 | # Hide known TODOs for now |
| 33 | -remap_rtag={todo, hide} |