blob: 90f33f24dc42425b38b394c08354c4ef3ecd9d9a [file] [log] [blame]
#include <stdint.h>
uint32_t c_always_inlined() {
return 1234;
}
__attribute__((noinline)) uint32_t c_never_inlined() {
return 12345;
}