diff options
| author |  Googler <noreply@google.com> | 2018-07-25 01:38:15 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-07-25 01:40:00 -0700 |
| commit | fac9b3b47f241b1aab51e552b551146985ad833a (patch) | |
| tree | 763fbb0a66521d04e403f8d0b79bdde8875e192f /.gitignore | |
| parent | fe187cb2d5dde1448500201eb762b161a5fa238e (diff) | |
Prevent unnecessary file stats when looking at whether an include is in one of
the declared directories. Especially when doing validation during input
discovery, the discovery's over-approximation can lead to isDeclaredIn walking
the full path to the root without finding a declared include directory.
RELNOTES: None.
PiperOrigin-RevId: 205958078
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions