diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-23 17:27:05 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-23 17:27:05 -0500 |
commit | 0faead1572109c1d7cb3d67647da02d0b4600a20 (patch) | |
tree | e0bd28feb049be6a36a63fd73df37f9d3cc7aa54 /src/fix-install-headers.sh | |
parent | eaf29fee0871f1b7a8c9cc7c208c6b6d5570bae5 (diff) |
Infer emptiness instead of splitting when a string equality rewrites to a constant (#3218)
Diffstat (limited to 'src/fix-install-headers.sh')
0 files changed, 0 insertions, 0 deletions