[xen staging] coverage: add support for GCC 15

[patchbot@xxxxxxx]

commit ae8db766e95268fbeb5cfffd2f5f982d505a6fb1
Author:     Volodymyr Babchuk <volodymyr_babchuk@xxxxxxxx>
AuthorDate: Tue Jul 22 16:19:39 2025 +0200
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Tue Jul 22 16:19:39 2025 +0200

    coverage: add support for GCC 15
    
    GCC 15 (with commit "Add prime path coverage to gcc/gcov") added a
    new, tenth counter. Reflect this in gcc_4_7.c.
    
    Signed-off-by: Volodymyr Babchuk <volodymyr_babchuk@xxxxxxxx>
    Acked-by: Jan Beulich <jbeulich@xxxxxxxx>
---
 xen/common/coverage/gcc_4_7.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/xen/common/coverage/gcc_4_7.c b/xen/common/coverage/gcc_4_7.c
index f4c1802303..0d83f60180 100644
--- a/xen/common/coverage/gcc_4_7.c
+++ b/xen/common/coverage/gcc_4_7.c
@@ -30,8 +30,10 @@
 #define GCOV_COUNTERS 9
 #elif GCC_VERSION < 140000
 #define GCOV_COUNTERS 8
-#else
+#elif GCC_VERSION < 150000
 #define GCOV_COUNTERS 9
+#else
+#define GCOV_COUNTERS 10
 #endif
 
 #define GCOV_TAG_FUNCTION_LENGTH        3
--
generated by git-patchbot for /home/xen/git/xen.git#staging