From 887ebe0b50ee78aa445cbee5ecbc478b77d67a2c Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Thu, 8 Feb 2024 13:46:03 +0200
Subject: [PATCH] Add end locations and synthetic flag to node locations in
 HTML

---
 g2html                          | 2 +-
 src/framework/analysisResult.ml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/g2html b/g2html
index b18424d114..4b5e1bc630 160000
--- a/g2html
+++ b/g2html
@@ -1 +1 @@
-Subproject commit b18424d114c7838698b4323b49537d8e59faf55f
+Subproject commit 4b5e1bc630f2260ad3f05af557bc65f707af1a6d
diff --git a/src/framework/analysisResult.ml b/src/framework/analysisResult.ml
index 09ece868c1..e53ed37192 100644
--- a/src/framework/analysisResult.ml
+++ b/src/framework/analysisResult.ml
@@ -52,7 +52,7 @@ struct
       (* Not using Node.location here to have updated locations in incremental analysis.
          See: https://github.com/goblint/analyzer/issues/290#issuecomment-881258091. *)
       let loc = UpdateCil.getLoc n in
-      BatPrintf.fprintf f "<call id=\"%s\" file=\"%s\" line=\"%d\" order=\"%d\" column=\"%d\">\n" (Node.show_id n) loc.file loc.line loc.byte loc.column;
+      BatPrintf.fprintf f "<call id=\"%s\" file=\"%s\" line=\"%d\" order=\"%d\" column=\"%d\" endLine=\"%d\" endColumn=\"%d\" synthetic=\"%B\">\n" (Node.show_id n) loc.file loc.line loc.byte loc.column loc.endLine loc.endColumn loc.synthetic;
       BatPrintf.fprintf f "%a</call>\n" Range.printXml v
     in
     iter print_one xs