38
38
#include < stdio.h>
39
39
#include < stdlib.h>
40
40
41
- #define THRICE (o,t ) twice(o,t)
41
+ #define THRICE (o, t ) twice(o, t)
42
42
43
43
__attribute__ ((noinline)) extern "C" int twice(int o, int t) {
44
44
return o + t < 3 ;
@@ -57,7 +57,8 @@ int main(int argc, char *argv[]) {
57
57
int index = atoi (argv[1 ]);
58
58
int val = buf[index];
59
59
60
- printf (" index %d, abs(val) %d, THRICE(val,5) %d\n " , index, abs (val), THRICE (val,5 ));
60
+ printf (" index %d, abs(val) %d, THRICE(val,5) %d\n " , index, abs (val),
61
+ THRICE (val, 5 ));
61
62
// VERY-VERBOSE-PARAM-CHECK: Instruction that failed the shadow check: %{{.*}} = call noundef i32 @twice(i32 noundef %{{.*}}, i32 noundef 5)
62
63
// VERBOSE-PARAM-CHECK: Instruction that failed the shadow check: call twice
63
64
// PARAM-CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value
@@ -73,7 +74,7 @@ int main(int argc, char *argv[]) {
73
74
printf (" Variable is zero\n " );
74
75
75
76
int nextval = buf[index + 1 ];
76
- buf[nextval + abs (index)] = twice (index,6 );
77
+ buf[nextval + abs (index)] = twice (index, 6 );
77
78
// VERY-VERBOSE-STORE-CHECK: Instruction that failed the shadow check: store i32 %{{.*}}, ptr %{{.*}}
78
79
// VERBOSE-STORE-CHECK: Instruction that failed the shadow check: store
79
80
// STORE-CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value
0 commit comments