diff options
| author | Josh Stone <jistone@redhat.com> | 2019-04-03 15:44:49 -0700 |
|---|---|---|
| committer | Josh Stone <jistone@redhat.com> | 2019-04-03 15:44:49 -0700 |
| commit | c2e0d7f1eb25bd9b4a8eaa7990cd0fd3a8c416bb (patch) | |
| tree | f9e3adc79aa84e1dc9059233e789da70ea05ff05 /src/test/incremental/thinlto | |
| parent | e008e4fde837313d4a72da603ef492a721afc998 (diff) | |
| download | rust-c2e0d7f1eb25bd9b4a8eaa7990cd0fd3a8c416bb.tar.gz rust-c2e0d7f1eb25bd9b4a8eaa7990cd0fd3a8c416bb.zip | |
Never return uninhabited values at all
Functions with uninhabited return values are already marked `noreturn`,
but we were still generating return instructions for this. When running
with `-C passes=lint`, LLVM prints:
Unusual: Return statement in function with noreturn attribute
The LLVM manual makes a stronger statement about `noreturn` though:
> This produces undefined behavior at runtime if the function ever does
dynamically return.
We now emit an `abort` anywhere that would have tried to return an
uninhabited value.
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions
