File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -11,7 +11,7 @@ void *malloc1(int b) { // NON_COMPLIANT - recursion
1111 return malloc1 (b - 1 );
1212}
1313
14- void *malloc2 (int b) __attribute__((no_caller_saved_registers, __malloc__));
14+ void *malloc2 (int b) __attribute__((__malloc__));
1515void *malloc2 (int b) { // NON_COMPLIANT - execution doesn't depend on b
1616
1717 for (int i = 0 ; i < 10 ; i++) {
Original file line number Diff line number Diff line change @@ -4,7 +4,7 @@ void *malloc1(int b) __attribute__((malloc));
44
55void *malloc1 (int b) { return nullptr ; } // NON_COMPLIANT
66
7- void *malloc3 (int b) __attribute__((no_caller_saved_registers, __malloc__));
7+ void *malloc3 (int b) __attribute__((__malloc__));
88void *malloc3 (int b) { return nullptr ; } // NON_COMPLIANT
99
1010void h1 () {} // NON_COMPLIANT
You can’t perform that action at this time.
0 commit comments