[Octave-bug-tracker] [bug #64914] Bytecode VM crash with Symbolic package operation

[Arun Giridhar]

URL:
  <https://savannah.gnu.org/bugs/?64914>

                 Summary: Bytecode VM crash with Symbolic package operation
                   Group: GNU Octave
               Submitter: arungiridhar
               Submitted: Mon 20 Nov 2023 06:00:14 PM EST
                Category: Interpreter
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: Segfault, Bus Error, etc.
                  Status: None
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
                 Release: dev
         Discussion Lock: Any
        Operating System: GNU/Linux
           Fixed Release: None
         Planned Release: None


    _______________________________________________________

Follow-up Comments:


-------------------------------------------------------
Date: Mon 20 Nov 2023 06:00:14 PM EST By: Arun Giridhar <arungiridhar>
This crash doesn't happen for all inputs, but for this case and all larger
ones tested, it is consistent.

Test code:

load testadj.mat
whos

tic
pkg load symbolic
val = charpoly (sym (adj+0));
toc
whos


(The file testadj.mat is attached in text format so you can examine its
contents before downloading.)

Output without bytecode interpreter:

Variables visible from the current scope:

variables in scope: top scope

  Attr   Name        Size                     Bytes  Class
  ====   ====        ====                     =====  ===== 
         adj       120x120                    14400  logical

Total is 14400 elements using 14400 bytes

Symbolic pkg v3.1.1: Python communication link active, SymPy v1.12.
Elapsed time is 77.8366 seconds.
Variables visible from the current scope:

variables in scope: top scope

  Attr   Name        Size                     Bytes  Class
  ====   ====        ====                     =====  ===== 
         adj       120x120                    14400  logical
         val         1x121                    15735  sym

Total is 14401 elements using 30135 bytes


Output with the bytecode VM:

Variables visible from the current scope:

variables in scope: top scope

  Attr   Name        Size                     Bytes  Class
  ====   ====        ====                     =====  ===== 
         adj       120x120                    14400  logical

Total is 14400 elements using 14400 bytes

Symbolic pkg v3.1.1: Python communication link active, SymPy v1.12.
VM error 4688: Internal VM conistency check failed, m_stack0[i + stack_size].u
== stack_magic_int
VM error 8139: Exception in numeric_array_to_sym escaped the VM
double free or corruption (!prev)
fatal: caught signal Aborted -- stopping myself...

Aborted (core dumped)








    _______________________________________________________
File Attachments:


-------------------------------------------------------
Date: Mon 20 Nov 2023 06:00:14 PM EST  Name: testadj.mat  Size: 28KiB   By:
arungiridhar

<http://savannah.gnu.org/bugs/download.php?file_id=55344>

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?64914>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/