[COMMITTED] pickles: improve endianness handling in btf-ext.pk

[Jose E. Marchesi]

2024-09-24  Jose E. Marchesi  <jemarch@gnu.org>

        * pickles/btf-ext.pk (BTF_Ext_Header): Improve constraint for
        `magic' so it handles endianness better.
---
 ChangeLog          | 5 +++++
 pickles/btf-ext.pk | 5 +++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 9ee9f142..f125eeff 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-09-24  Jose E. Marchesi  <jemarch@gnu.org>
+
+       * pickles/btf-ext.pk (BTF_Ext_Header): Improve constraint for
+       `magic' so it handles endianness better.
+
 2024-09-22  Jose E. Marchesi  <jemarch@gnu.org>
 
        * libpoke/pkl-ast.h (struct pkl_type): Remove unused field `name'
diff --git a/pickles/btf-ext.pk b/pickles/btf-ext.pk
index 7f3dc56a..ba96636f 100644
--- a/pickles/btf-ext.pk
+++ b/pickles/btf-ext.pk
@@ -119,8 +119,9 @@ type BTF_Ext_Core_Info_Sec =
 type BTF_Ext_Header =
   struct
   {
-    uint<16> magic : ((magic == 0x9feb && set_endian (ENDIAN_BIG))
-                        || (magic == 0xeb9f && set_endian (ENDIAN_LITTLE)));
+    uint<16> magic : (magic == 0xeb9f)
+                       || (magic == 0x9feb && set_endian (!get_endian))
+                   = 0xeb9f;
     uint<8> version;
     uint<8> flags;
     offset<uint<32>,B> hdr_len; /* == BTF_Ext_Header'size  */
-- 
2.30.2