[Bug default/26515] Counterintuitive array comparison for trimmed arrays

[jose.marchesi at oracle dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=26515

Jose E. Marchesi <jose.marchesi at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jose.marchesi at oracle dot com
   Last reconfirmed|                            |2020-08-21
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Jose E. Marchesi <jose.marchesi at oracle dot com> ---
Hi Mohammad.
Thanks for the report.

This looks like a bug.  The type of an array trim should be, generally, an
unbounded array type having the same base type than the original array. So in:

defvar a = [1,2,3]
defvar b = a[0:1]

The type of `a' is int<32>[3]
The type of `b' is int<32>[]

-- 
You are receiving this mail because:
You are on the CC list for the bug.