branch master updated: * info/session.c (info_handle_pointer): abort if the input label is not one of the expected labels. It should never happen as the callers set the label explicitely.

[Patrice Dumas]

This is an automated email from the git hooks/post-receive script.

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new b9c9837170 * info/session.c (info_handle_pointer): abort if the input 
label is not one of the expected labels.  It should never happen as the callers 
set the label explicitely.
b9c9837170 is described below

commit b9c98371708a10bb78cec2e1fc6ea756d57374b9
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Fri Oct 11 11:53:59 2024 +0200

    * info/session.c (info_handle_pointer): abort if the input label is
    not one of the expected labels.  It should never happen as the callers
    set the label explicitely.
---
 ChangeLog      | 6 ++++++
 info/session.c | 2 ++
 2 files changed, 8 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 81fce10b40..602fe137bb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2024-11-10  Patrice Dumas  <pertusus@free.fr>
+
+       * info/session.c (info_handle_pointer): abort if the input label is
+       not one of the expected labels.  It should never happen as the callers
+       set the label explicitely.
+
 2024-11-10  Patrice Dumas  <pertusus@free.fr>
 
        * tp/Texinfo/XS/parsetexi/handle_commands.c (parse_rawline_command):
diff --git a/info/session.c b/info/session.c
index e6529f6d0d..20b33dee44 100644
--- a/info/session.c
+++ b/info/session.c
@@ -2958,6 +2958,8 @@ info_handle_pointer (const char *label, WINDOW *window)
     description = window->node->next;
   else if (!strcmp (label, "Prev"))
     description = window->node->prev;
+  else /* Should not happen */
+    abort ();
 
   if (!description)
     {