Checks
| Review area | Scans for |
|---|---|
| Header linkage | Removal of inline from changed C or C++ header definitions that can create externally linked definitions in more than one translation unit |
| Build-mode safety | Macros and language-version branches that make a declaration safe in some supported configurations but unsafe in others |
| One-definition rule | Concrete duplicate-definition, link, ABI, or visibility failures introduced by the change |
Reporting boundary
A deterministic inventory item is only a candidate. The adversary reports it only after an independent verification pass finds repository evidence that:
- the changed definition is in a header-like file;
- at least one supported build configuration removes every remaining inline or internal-linkage guarantee;
- the definition is not protected by a template, class-body definition,
static,constexpr,consteval, or an equivalent rule; and - including the header from multiple translation units can produce a concrete ODR or linker failure.
Silence is preferred when the repository does not prove those conditions.