diff options
author | 2018-07-23 01:44:10 -0700 | |
---|---|---|
committer | 2018-07-23 01:45:26 -0700 | |
commit | 5af3eeb44c4b387c02a5d1e4afc5d6c03d6274c3 (patch) | |
tree | 2c8ce526b7401b0c2adf584a4148955844ea8cc3 /src/test/java/com/google/devtools/build/lib | |
parent | f000996d0c12c1e239cce200c2792f226adcb89b (diff) |
Implement a way to do include validation as a part of input discovery. This
makes it possible to disable .d file scanning when input discovery is used
without allowing the usage of undeclared headers.
The way this is implemented relies on having a sand-boxed or remote execution
environment and simply removes undeclared files from discovered inputs. As a
result, the compiler cannot see them and can diagnose missing headers.
The input discovery itself cannot (usually) diagnose undeclared headers as it
is often implemented to be an over-approximation. It needs to find all used
headers, but it is allowed to find more. Diagnosing these additional headers
would not be useful.
RELNOTES: None.
PiperOrigin-RevId: 205628312
Diffstat (limited to 'src/test/java/com/google/devtools/build/lib')
0 files changed, 0 insertions, 0 deletions