about summary refs log tree commit diff
path: root/src/test/incremental/thinlto
diff options
context:
space:
mode:
authorJosh Stone <jistone@redhat.com>2019-04-03 15:44:49 -0700
committerJosh Stone <jistone@redhat.com>2019-04-03 15:44:49 -0700
commitc2e0d7f1eb25bd9b4a8eaa7990cd0fd3a8c416bb (patch)
treef9e3adc79aa84e1dc9059233e789da70ea05ff05 /src/test/incremental/thinlto
parente008e4fde837313d4a72da603ef492a721afc998 (diff)
downloadrust-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