15 lines
367 B
C
15 lines
367 B
C
#include <stdint.h>
|
|
#include <stdio.h>
|
|
|
|
__attribute__((noinline)) int guarded_divide(int numerator, int denominator) {
|
|
if (denominator == 0) {
|
|
return 0;
|
|
}
|
|
return numerator / denominator;
|
|
}
|
|
|
|
int main(int argc, char** argv) {
|
|
int denominator = argc > 1 ? (int)argv[1][0] : 3;
|
|
printf("%d\n", guarded_divide(42, denominator));
|
|
return 0;
|
|
}
|