From 48d8c1086c7a14a6d5fb49cfbedcbb2334d07e65 Mon Sep 17 00:00:00 2001
From: Thibault Martin <twenty2bar@gmail.com>
Date: Fri, 22 Mar 2024 14:23:45 +0100
Subject: [PATCH] [tests] Update test oracles
---
.../tests/sarif/oracle/std_string.sarif | 576 +++++++++---------
.../tests/sarif/oracle/with-libc.sarif | 372 +++++------
.../multiple_decls_contracts.0.res.oracle | 4 +-
.../multiple_decls_contracts.1.res.oracle | 4 +-
.../multiple_decls_contracts.2.res.oracle | 4 +-
5 files changed, 480 insertions(+), 480 deletions(-)
diff --git a/src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif b/src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif
index a27314ede4b..222b73c887b 100644
--- a/src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif
+++ b/src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif
@@ -2958,10 +2958,10 @@
},
"region": {
"startLine": 50,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 50,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 31,
+ "byteLength": 18
}
}
}
@@ -5427,10 +5427,10 @@
},
"region": {
"startLine": 583,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 583,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -5496,10 +5496,10 @@
},
"region": {
"startLine": 583,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 583,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -5684,10 +5684,10 @@
},
"region": {
"startLine": 386,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 386,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -5707,10 +5707,10 @@
},
"region": {
"startLine": 386,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 386,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -5730,10 +5730,10 @@
},
"region": {
"startLine": 386,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 386,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -5914,10 +5914,10 @@
},
"region": {
"startLine": 386,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 386,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -6035,10 +6035,10 @@
},
"region": {
"startLine": 386,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 386,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -6058,10 +6058,10 @@
},
"region": {
"startLine": 386,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 386,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -6081,10 +6081,10 @@
},
"region": {
"startLine": 386,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 386,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -6948,10 +6948,10 @@
},
"region": {
"startLine": 526,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 526,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -7017,10 +7017,10 @@
},
"region": {
"startLine": 526,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 526,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8166,10 +8166,10 @@
},
"region": {
"startLine": 404,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 404,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8189,10 +8189,10 @@
},
"region": {
"startLine": 404,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 404,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8212,10 +8212,10 @@
},
"region": {
"startLine": 404,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 404,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8373,10 +8373,10 @@
},
"region": {
"startLine": 404,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 404,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8544,10 +8544,10 @@
},
"region": {
"startLine": 404,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 404,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8567,10 +8567,10 @@
},
"region": {
"startLine": 404,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 404,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8590,10 +8590,10 @@
},
"region": {
"startLine": 404,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 404,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8995,10 +8995,10 @@
},
"region": {
"startLine": 268,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 275,
"endColumn": 1,
- "byteLength": 225
+ "byteLength": 224
}
}
}
@@ -9018,10 +9018,10 @@
},
"region": {
"startLine": 268,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 275,
"endColumn": 1,
- "byteLength": 225
+ "byteLength": 224
}
}
}
@@ -9041,10 +9041,10 @@
},
"region": {
"startLine": 268,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 275,
"endColumn": 1,
- "byteLength": 225
+ "byteLength": 224
}
}
}
@@ -9271,10 +9271,10 @@
},
"region": {
"startLine": 268,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 275,
"endColumn": 1,
- "byteLength": 225
+ "byteLength": 224
}
}
}
@@ -9551,10 +9551,10 @@
},
"region": {
"startLine": 30,
- "startColumn": 4,
+ "startColumn": 6,
"endLine": 42,
"endColumn": 1,
- "byteLength": 379
+ "byteLength": 377
}
}
}
@@ -9900,10 +9900,10 @@
},
"region": {
"startLine": 88,
- "startColumn": 4,
+ "startColumn": 6,
"endLine": 118,
"endColumn": 1,
- "byteLength": 1223
+ "byteLength": 1221
}
}
}
@@ -10788,10 +10788,10 @@
},
"region": {
"startLine": 45,
- "startColumn": 4,
+ "startColumn": 6,
"endLine": 58,
"endColumn": 1,
- "byteLength": 396
+ "byteLength": 394
}
}
}
@@ -11137,10 +11137,10 @@
},
"region": {
"startLine": 134,
- "startColumn": 4,
+ "startColumn": 6,
"endLine": 141,
"endColumn": 1,
- "byteLength": 144
+ "byteLength": 142
}
}
}
@@ -12964,10 +12964,10 @@
},
"region": {
"startLine": 453,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 453,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -12987,10 +12987,10 @@
},
"region": {
"startLine": 453,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 453,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -13010,10 +13010,10 @@
},
"region": {
"startLine": 453,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 453,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -13033,10 +13033,10 @@
},
"region": {
"startLine": 453,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 453,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -13263,10 +13263,10 @@
},
"region": {
"startLine": 453,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 453,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -13309,10 +13309,10 @@
},
"region": {
"startLine": 453,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 453,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -13509,10 +13509,10 @@
},
"region": {
"startLine": 453,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 453,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -13532,10 +13532,10 @@
},
"region": {
"startLine": 453,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 453,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -13555,10 +13555,10 @@
},
"region": {
"startLine": 453,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 453,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -13578,10 +13578,10 @@
},
"region": {
"startLine": 453,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 453,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -13603,10 +13603,10 @@
},
"region": {
"startLine": 489,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 489,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 25,
+ "byteLength": 12
}
}
}
@@ -13628,10 +13628,10 @@
},
"region": {
"startLine": 489,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 489,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 25,
+ "byteLength": 12
}
}
}
@@ -13653,10 +13653,10 @@
},
"region": {
"startLine": 489,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 489,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 25,
+ "byteLength": 12
}
}
}
@@ -13676,10 +13676,10 @@
},
"region": {
"startLine": 489,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 489,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 25,
+ "byteLength": 12
}
}
}
@@ -13929,10 +13929,10 @@
},
"region": {
"startLine": 489,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 489,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 25,
+ "byteLength": 12
}
}
}
@@ -14104,10 +14104,10 @@
},
"region": {
"startLine": 489,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 489,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 25,
+ "byteLength": 12
}
}
}
@@ -14127,10 +14127,10 @@
},
"region": {
"startLine": 489,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 489,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 25,
+ "byteLength": 12
}
}
}
@@ -14150,10 +14150,10 @@
},
"region": {
"startLine": 489,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 489,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 25,
+ "byteLength": 12
}
}
}
@@ -14173,10 +14173,10 @@
},
"region": {
"startLine": 489,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 489,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 25,
+ "byteLength": 12
}
}
}
@@ -14198,10 +14198,10 @@
},
"region": {
"startLine": 807,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 807,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -14221,10 +14221,10 @@
},
"region": {
"startLine": 807,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 807,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -14246,10 +14246,10 @@
},
"region": {
"startLine": 807,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 807,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -14271,10 +14271,10 @@
},
"region": {
"startLine": 807,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 807,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -14296,10 +14296,10 @@
},
"region": {
"startLine": 807,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 807,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -14321,10 +14321,10 @@
},
"region": {
"startLine": 807,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 807,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -14896,10 +14896,10 @@
},
"region": {
"startLine": 807,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 807,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -15292,10 +15292,10 @@
},
"region": {
"startLine": 807,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 807,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -15317,10 +15317,10 @@
},
"region": {
"startLine": 807,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 807,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -15342,10 +15342,10 @@
},
"region": {
"startLine": 807,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 807,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -15365,10 +15365,10 @@
},
"region": {
"startLine": 308,
- "startColumn": 22,
+ "startColumn": 23,
"endLine": 308,
- "endColumn": 23,
- "byteLength": 1
+ "endColumn": 29,
+ "byteLength": 6
}
}
}
@@ -15981,10 +15981,10 @@
},
"region": {
"startLine": 230,
- "startColumn": 4,
+ "startColumn": 6,
"endLine": 237,
"endColumn": 1,
- "byteLength": 141
+ "byteLength": 139
}
}
}
@@ -16309,10 +16309,10 @@
},
"region": {
"startLine": 255,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 255,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 23,
+ "byteLength": 10
}
}
}
@@ -16401,10 +16401,10 @@
},
"region": {
"startLine": 255,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 255,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 23,
+ "byteLength": 10
}
}
}
@@ -16449,10 +16449,10 @@
},
"region": {
"startLine": 195,
- "startColumn": 4,
+ "startColumn": 6,
"endLine": 204,
"endColumn": 1,
- "byteLength": 174
+ "byteLength": 172
}
}
}
@@ -16754,10 +16754,10 @@
},
"region": {
"startLine": 251,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 258,
"endColumn": 1,
- "byteLength": 158
+ "byteLength": 157
}
}
}
@@ -16777,10 +16777,10 @@
},
"region": {
"startLine": 251,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 258,
"endColumn": 1,
- "byteLength": 158
+ "byteLength": 157
}
}
}
@@ -16800,10 +16800,10 @@
},
"region": {
"startLine": 251,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 258,
"endColumn": 1,
- "byteLength": 158
+ "byteLength": 157
}
}
}
@@ -16823,10 +16823,10 @@
},
"region": {
"startLine": 251,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 258,
"endColumn": 1,
- "byteLength": 158
+ "byteLength": 157
}
}
}
@@ -17076,10 +17076,10 @@
},
"region": {
"startLine": 251,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 258,
"endColumn": 1,
- "byteLength": 158
+ "byteLength": 157
}
}
}
@@ -17124,10 +17124,10 @@
},
"region": {
"startLine": 195,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 195,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 22,
+ "byteLength": 9
}
}
}
@@ -17193,10 +17193,10 @@
},
"region": {
"startLine": 195,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 195,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 22,
+ "byteLength": 9
}
}
}
@@ -17498,10 +17498,10 @@
},
"region": {
"startLine": 220,
- "startColumn": 4,
+ "startColumn": 6,
"endLine": 227,
"endColumn": 1,
- "byteLength": 137
+ "byteLength": 135
}
}
}
@@ -17849,10 +17849,10 @@
},
"region": {
"startLine": 316,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 326,
"endColumn": 1,
- "byteLength": 159
+ "byteLength": 158
}
}
}
@@ -17872,10 +17872,10 @@
},
"region": {
"startLine": 316,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 326,
"endColumn": 1,
- "byteLength": 159
+ "byteLength": 158
}
}
}
@@ -17895,10 +17895,10 @@
},
"region": {
"startLine": 316,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 326,
"endColumn": 1,
- "byteLength": 159
+ "byteLength": 158
}
}
}
@@ -18079,10 +18079,10 @@
},
"region": {
"startLine": 316,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 326,
"endColumn": 1,
- "byteLength": 159
+ "byteLength": 158
}
}
}
@@ -18102,10 +18102,10 @@
},
"region": {
"startLine": 316,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 326,
"endColumn": 1,
- "byteLength": 159
+ "byteLength": 158
}
}
}
@@ -18248,10 +18248,10 @@
},
"region": {
"startLine": 316,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 326,
"endColumn": 1,
- "byteLength": 159
+ "byteLength": 158
}
}
}
@@ -18411,10 +18411,10 @@
},
"region": {
"startLine": 302,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 313,
"endColumn": 1,
- "byteLength": 217
+ "byteLength": 216
}
}
}
@@ -18503,10 +18503,10 @@
},
"region": {
"startLine": 302,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 313,
"endColumn": 1,
- "byteLength": 217
+ "byteLength": 216
}
}
}
@@ -19230,10 +19230,10 @@
},
"region": {
"startLine": 207,
- "startColumn": 4,
+ "startColumn": 6,
"endLine": 218,
"endColumn": 1,
- "byteLength": 233
+ "byteLength": 231
}
}
}
@@ -19253,10 +19253,10 @@
},
"region": {
"startLine": 207,
- "startColumn": 4,
+ "startColumn": 6,
"endLine": 218,
"endColumn": 1,
- "byteLength": 233
+ "byteLength": 231
}
}
}
@@ -19276,10 +19276,10 @@
},
"region": {
"startLine": 207,
- "startColumn": 4,
+ "startColumn": 6,
"endLine": 218,
"endColumn": 1,
- "byteLength": 233
+ "byteLength": 231
}
}
}
@@ -19913,10 +19913,10 @@
},
"region": {
"startLine": 239,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 249,
"endColumn": 1,
- "byteLength": 198
+ "byteLength": 197
}
}
}
@@ -19936,10 +19936,10 @@
},
"region": {
"startLine": 239,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 249,
"endColumn": 1,
- "byteLength": 198
+ "byteLength": 197
}
}
}
@@ -19959,10 +19959,10 @@
},
"region": {
"startLine": 239,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 249,
"endColumn": 1,
- "byteLength": 198
+ "byteLength": 197
}
}
}
@@ -20262,10 +20262,10 @@
},
"region": {
"startLine": 329,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 344,
"endColumn": 1,
- "byteLength": 291
+ "byteLength": 290
}
}
}
@@ -20285,10 +20285,10 @@
},
"region": {
"startLine": 329,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 344,
"endColumn": 1,
- "byteLength": 291
+ "byteLength": 290
}
}
}
@@ -20310,10 +20310,10 @@
},
"region": {
"startLine": 329,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 344,
"endColumn": 1,
- "byteLength": 291
+ "byteLength": 290
}
}
}
@@ -20496,10 +20496,10 @@
},
"region": {
"startLine": 329,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 344,
"endColumn": 1,
- "byteLength": 291
+ "byteLength": 290
}
}
}
@@ -20519,10 +20519,10 @@
},
"region": {
"startLine": 329,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 344,
"endColumn": 1,
- "byteLength": 291
+ "byteLength": 290
}
}
}
@@ -20669,10 +20669,10 @@
},
"region": {
"startLine": 329,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 344,
"endColumn": 1,
- "byteLength": 291
+ "byteLength": 290
}
}
}
@@ -20901,10 +20901,10 @@
},
"region": {
"startLine": 234,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 234,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -20993,10 +20993,10 @@
},
"region": {
"startLine": 234,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 234,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -21041,10 +21041,10 @@
},
"region": {
"startLine": 260,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 266,
"endColumn": 1,
- "byteLength": 165
+ "byteLength": 164
}
}
}
@@ -21064,10 +21064,10 @@
},
"region": {
"startLine": 260,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 266,
"endColumn": 1,
- "byteLength": 165
+ "byteLength": 164
}
}
}
@@ -21087,10 +21087,10 @@
},
"region": {
"startLine": 260,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 266,
"endColumn": 1,
- "byteLength": 165
+ "byteLength": 164
}
}
}
@@ -21110,10 +21110,10 @@
},
"region": {
"startLine": 260,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 266,
"endColumn": 1,
- "byteLength": 165
+ "byteLength": 164
}
}
}
@@ -21317,10 +21317,10 @@
},
"region": {
"startLine": 260,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 266,
"endColumn": 1,
- "byteLength": 165
+ "byteLength": 164
}
}
}
@@ -21413,10 +21413,10 @@
},
"region": {
"startLine": 350,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 350,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -21555,10 +21555,10 @@
},
"region": {
"startLine": 348,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 359,
"endColumn": 1,
- "byteLength": 224
+ "byteLength": 223
}
}
}
@@ -21647,10 +21647,10 @@
},
"region": {
"startLine": 348,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 359,
"endColumn": 1,
- "byteLength": 224
+ "byteLength": 223
}
}
}
@@ -21908,10 +21908,10 @@
},
"region": {
"startLine": 286,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 298,
"endColumn": 1,
- "byteLength": 380
+ "byteLength": 379
}
}
}
@@ -22000,10 +22000,10 @@
},
"region": {
"startLine": 286,
- "startColumn": 5,
+ "startColumn": 6,
"endLine": 298,
"endColumn": 1,
- "byteLength": 380
+ "byteLength": 379
}
}
}
@@ -23038,10 +23038,10 @@
},
"region": {
"startLine": 299,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 299,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -23061,10 +23061,10 @@
},
"region": {
"startLine": 299,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 299,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -23084,10 +23084,10 @@
},
"region": {
"startLine": 299,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 299,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -23633,10 +23633,10 @@
},
"region": {
"startLine": 299,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 299,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -23656,10 +23656,10 @@
},
"region": {
"startLine": 299,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 299,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -23679,10 +23679,10 @@
},
"region": {
"startLine": 343,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 343,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -23702,10 +23702,10 @@
},
"region": {
"startLine": 343,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 343,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -23725,10 +23725,10 @@
},
"region": {
"startLine": 343,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 343,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -24343,10 +24343,10 @@
},
"region": {
"startLine": 343,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 343,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -24366,10 +24366,10 @@
},
"region": {
"startLine": 343,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 343,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
diff --git a/src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif b/src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif
index 98c607be9ec..65daf9d5b74 100644
--- a/src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif
+++ b/src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif
@@ -1319,10 +1319,10 @@
},
"region": {
"startLine": 88,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 88,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -1342,10 +1342,10 @@
},
"region": {
"startLine": 88,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 88,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -1365,10 +1365,10 @@
},
"region": {
"startLine": 88,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 88,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -1595,10 +1595,10 @@
},
"region": {
"startLine": 88,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 88,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -1875,10 +1875,10 @@
},
"region": {
"startLine": 104,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 104,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -2086,10 +2086,10 @@
},
"region": {
"startLine": 127,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 127,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -2274,10 +2274,10 @@
},
"region": {
"startLine": 117,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 117,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -2485,10 +2485,10 @@
},
"region": {
"startLine": 137,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 137,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -2650,10 +2650,10 @@
},
"region": {
"startLine": 421,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 421,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -2978,10 +2978,10 @@
},
"region": {
"startLine": 255,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 255,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 23,
+ "byteLength": 10
}
}
}
@@ -3070,10 +3070,10 @@
},
"region": {
"startLine": 255,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 255,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 23,
+ "byteLength": 10
}
}
}
@@ -3118,10 +3118,10 @@
},
"region": {
"startLine": 436,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 436,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -3375,10 +3375,10 @@
},
"region": {
"startLine": 189,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 189,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -3398,10 +3398,10 @@
},
"region": {
"startLine": 189,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 189,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -3421,10 +3421,10 @@
},
"region": {
"startLine": 189,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 189,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -3444,10 +3444,10 @@
},
"region": {
"startLine": 189,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 189,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -3697,10 +3697,10 @@
},
"region": {
"startLine": 189,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 189,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -3745,10 +3745,10 @@
},
"region": {
"startLine": 195,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 195,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 22,
+ "byteLength": 9
}
}
}
@@ -3814,10 +3814,10 @@
},
"region": {
"startLine": 195,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 195,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 22,
+ "byteLength": 9
}
}
}
@@ -4119,10 +4119,10 @@
},
"region": {
"startLine": 376,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 376,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -4470,10 +4470,10 @@
},
"region": {
"startLine": 500,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 500,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -4493,10 +4493,10 @@
},
"region": {
"startLine": 500,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 500,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -4516,10 +4516,10 @@
},
"region": {
"startLine": 500,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 500,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -4700,10 +4700,10 @@
},
"region": {
"startLine": 500,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 500,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -4723,10 +4723,10 @@
},
"region": {
"startLine": 500,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 500,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -4869,10 +4869,10 @@
},
"region": {
"startLine": 500,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 500,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -4892,10 +4892,10 @@
},
"region": {
"startLine": 363,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 363,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -4984,10 +4984,10 @@
},
"region": {
"startLine": 363,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 363,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -5665,10 +5665,10 @@
},
"region": {
"startLine": 460,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 460,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -5688,10 +5688,10 @@
},
"region": {
"startLine": 460,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 460,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -5711,10 +5711,10 @@
},
"region": {
"startLine": 460,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 460,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -6300,10 +6300,10 @@
},
"region": {
"startLine": 394,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 394,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -6323,10 +6323,10 @@
},
"region": {
"startLine": 394,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 394,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -6346,10 +6346,10 @@
},
"region": {
"startLine": 394,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 394,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -6649,10 +6649,10 @@
},
"region": {
"startLine": 522,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 522,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -6672,10 +6672,10 @@
},
"region": {
"startLine": 522,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 522,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -6697,10 +6697,10 @@
},
"region": {
"startLine": 522,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 522,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -6883,10 +6883,10 @@
},
"region": {
"startLine": 522,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 522,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -6906,10 +6906,10 @@
},
"region": {
"startLine": 522,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 522,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -7056,10 +7056,10 @@
},
"region": {
"startLine": 522,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 522,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -7196,10 +7196,10 @@
},
"region": {
"startLine": 234,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 234,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -7288,10 +7288,10 @@
},
"region": {
"startLine": 234,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 234,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -7336,10 +7336,10 @@
},
"region": {
"startLine": 211,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 211,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -7359,10 +7359,10 @@
},
"region": {
"startLine": 211,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 211,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -7382,10 +7382,10 @@
},
"region": {
"startLine": 211,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 211,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -7405,10 +7405,10 @@
},
"region": {
"startLine": 211,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 211,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -7612,10 +7612,10 @@
},
"region": {
"startLine": 211,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 211,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 20,
+ "byteLength": 7
}
}
}
@@ -7660,10 +7660,10 @@
},
"region": {
"startLine": 350,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 350,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -7802,10 +7802,10 @@
},
"region": {
"startLine": 539,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 539,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 22,
+ "byteLength": 9
}
}
}
@@ -7894,10 +7894,10 @@
},
"region": {
"startLine": 539,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 539,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 22,
+ "byteLength": 9
}
}
}
@@ -8107,10 +8107,10 @@
},
"region": {
"startLine": 245,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 245,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8199,10 +8199,10 @@
},
"region": {
"startLine": 245,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 245,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8247,10 +8247,10 @@
},
"region": {
"startLine": 299,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 299,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8270,10 +8270,10 @@
},
"region": {
"startLine": 299,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 299,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8293,10 +8293,10 @@
},
"region": {
"startLine": 299,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 299,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8842,10 +8842,10 @@
},
"region": {
"startLine": 299,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 299,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8865,10 +8865,10 @@
},
"region": {
"startLine": 299,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 299,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 19,
+ "byteLength": 6
}
}
}
@@ -8888,10 +8888,10 @@
},
"region": {
"startLine": 343,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 343,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -8911,10 +8911,10 @@
},
"region": {
"startLine": 343,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 343,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -8934,10 +8934,10 @@
},
"region": {
"startLine": 343,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 343,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -9552,10 +9552,10 @@
},
"region": {
"startLine": 343,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 343,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
@@ -9575,10 +9575,10 @@
},
"region": {
"startLine": 343,
- "startColumn": 12,
+ "startColumn": 13,
"endLine": 343,
- "endColumn": 13,
- "byteLength": 1
+ "endColumn": 21,
+ "byteLength": 8
}
}
}
diff --git a/tests/syntax/oracle/multiple_decls_contracts.0.res.oracle b/tests/syntax/oracle/multiple_decls_contracts.0.res.oracle
index 18dcb7d1e98..85066ca2e5b 100644
--- a/tests/syntax/oracle/multiple_decls_contracts.0.res.oracle
+++ b/tests/syntax/oracle/multiple_decls_contracts.0.res.oracle
@@ -1,8 +1,8 @@
[kernel] Parsing FRAMAC_SHARE/libc/string.h (with preprocessing)
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
-[kernel] multiple_decls_contracts.c:10: Warning:
- dropping duplicate def'n of func strdup at multiple_decls_contracts.c:10 in favor of that at multiple_decls_contracts.c:10
+[kernel] multiple_decls_contracts.c:11: Warning:
+ dropping duplicate def'n of func strdup at multiple_decls_contracts.c:11 in favor of that at multiple_decls_contracts.c:11
/* Generated by Frama-C */
#include "errno.h"
#include "stddef.h"
diff --git a/tests/syntax/oracle/multiple_decls_contracts.1.res.oracle b/tests/syntax/oracle/multiple_decls_contracts.1.res.oracle
index ac9847f5831..5fdd62d57cc 100644
--- a/tests/syntax/oracle/multiple_decls_contracts.1.res.oracle
+++ b/tests/syntax/oracle/multiple_decls_contracts.1.res.oracle
@@ -1,8 +1,8 @@
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
[kernel] Parsing FRAMAC_SHARE/libc/string.h (with preprocessing)
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
-[kernel] multiple_decls_contracts.c:10: Warning:
- dropping duplicate def'n of func strdup at multiple_decls_contracts.c:10 in favor of that at multiple_decls_contracts.c:10
+[kernel] multiple_decls_contracts.c:11: Warning:
+ dropping duplicate def'n of func strdup at multiple_decls_contracts.c:11 in favor of that at multiple_decls_contracts.c:11
/* Generated by Frama-C */
#include "errno.h"
#include "stddef.h"
diff --git a/tests/syntax/oracle/multiple_decls_contracts.2.res.oracle b/tests/syntax/oracle/multiple_decls_contracts.2.res.oracle
index 9f8c64afd7c..d356d972232 100644
--- a/tests/syntax/oracle/multiple_decls_contracts.2.res.oracle
+++ b/tests/syntax/oracle/multiple_decls_contracts.2.res.oracle
@@ -1,8 +1,8 @@
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
[kernel] Parsing FRAMAC_SHARE/libc/string.h (with preprocessing)
-[kernel] multiple_decls_contracts.c:10: Warning:
- dropping duplicate def'n of func strdup at multiple_decls_contracts.c:10 in favor of that at multiple_decls_contracts.c:10
+[kernel] multiple_decls_contracts.c:11: Warning:
+ dropping duplicate def'n of func strdup at multiple_decls_contracts.c:11 in favor of that at multiple_decls_contracts.c:11
/* Generated by Frama-C */
#include "errno.h"
#include "stddef.h"
--
GitLab