Skip to content

Commit 8bfc092

Browse files
authored
Merge branch 'main' into jsinglet/language3
2 parents a293557 + 8a9c3be commit 8bfc092

File tree

6 files changed

+6
-27
lines changed

6 files changed

+6
-27
lines changed
Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
| test.c:11:20:11:26 | * ... | A FILE object is being copied. |
22
| test.c:18:21:18:30 | * ... | A FILE object is being copied. |
3-
| test.c:24:21:24:31 | * ... | A FILE object is being copied. |
4-
| test.c:30:15:30:21 | * ... | A FILE object is being copied. |
5-
| test.c:43:19:43:28 | * ... | A FILE object is being copied. |
3+
| test.c:24:15:24:21 | * ... | A FILE object is being copied. |
4+
| test.c:37:19:37:28 | * ... | A FILE object is being copied. |
Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
| test.c:4:20:4:26 | * ... | A FILE object is being copied. |
22
| test.c:11:21:11:30 | * ... | A FILE object is being copied. |
3-
| test.c:17:21:17:31 | * ... | A FILE object is being copied. |
4-
| test.c:23:15:23:21 | * ... | A FILE object is being copied. |
5-
| test.c:36:19:36:28 | * ... | A FILE object is being copied. |
3+
| test.c:17:15:17:21 | * ... | A FILE object is being copied. |
4+
| test.c:30:19:30:28 | * ... | A FILE object is being copied. |
Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
| test.c:4:20:4:26 | * ... | A FILE object is being copied. |
22
| test.c:11:21:11:30 | * ... | A FILE object is being copied. |
3-
| test.c:17:21:17:31 | * ... | A FILE object is being copied. |
4-
| test.c:23:15:23:21 | * ... | A FILE object is being copied. |
5-
| test.c:36:19:36:28 | * ... | A FILE object is being copied. |
3+
| test.c:17:15:17:21 | * ... | A FILE object is being copied. |
4+
| test.c:30:19:30:28 | * ... | A FILE object is being copied. |

c/cert/test/rules/FIO38-C/test.c

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -18,12 +18,6 @@ int f2(void) {
1818
FILE my_stdout2 = *my_stdout; // NON_COMPLIANT
1919
return fputs("Hello, World!\n", my_stdout);
2020
}
21-
int f2b(void) {
22-
FILE *const *my_stdout;
23-
my_stdout = &stdout; // COMPLIANT
24-
FILE my_stdout2 = **my_stdout; // NON_COMPLIANT
25-
return fputs("Hello, World!\n", *my_stdout);
26-
}
2721

2822
int f3(void) {
2923
FILE my_stdout;

c/cert/test/rules/FIO38-C/test.c.clang

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -11,12 +11,6 @@ int f2(void) {
1111
FILE my_stdout2 = *my_stdout; // NON_COMPLIANT
1212
return fputs("Hello, World!\n", my_stdout);
1313
}
14-
int f2b(void) {
15-
FILE *const *my_stdout;
16-
my_stdout = &stdout; // COMPLIANT
17-
FILE my_stdout2 = **my_stdout; // NON_COMPLIANT
18-
return fputs("Hello, World!\n", *my_stdout);
19-
}
2014

2115
int f3(void) {
2216
FILE my_stdout;

c/cert/test/rules/FIO38-C/test.c.gcc

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -11,12 +11,6 @@ int f2(void) {
1111
FILE my_stdout2 = *my_stdout; // NON_COMPLIANT
1212
return fputs("Hello, World!\n", my_stdout);
1313
}
14-
int f2b(void) {
15-
FILE *const *my_stdout;
16-
my_stdout = &stdout; // COMPLIANT
17-
FILE my_stdout2 = **my_stdout; // NON_COMPLIANT
18-
return fputs("Hello, World!\n", *my_stdout);
19-
}
2014

2115
int f3(void) {
2216
FILE my_stdout;

0 commit comments

Comments
 (0)