|
#include <stdint.h>
|
|
|
|
// A trivial function defined in Rust, returning a constant value. This should
|
|
// always be inlined.
|
|
uint32_t rust_always_inlined();
|
|
|
|
|
|
uint32_t rust_never_inlined();
|
|
|
|
int main(int argc, char** argv) {
|
|
return rust_never_inlined() + rust_always_inlined();
|
|
}
|