Description: GCC inconsistently defines __BIG_ENDIAN__
 It does so on HPPA.
 .
 cbmc (5.84.0-6) unstable; urgency=low
 .
   * Fix further portability problems (Closes: #1038866)
Author: Michael Tautschnig <mt@debian.org>
Bug-Debian: https://bugs.debian.org/1038866

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: 2023-06-25

--- cbmc-5.84.0.orig/regression/cbmc/Pointer_array7/big-endian.desc
+++ cbmc-5.84.0/regression/cbmc/Pointer_array7/big-endian.desc
@@ -1,6 +1,6 @@
 CORE new-smt-backend
 main.c
---big-endian -D__BIG_ENDIAN__
+--big-endian -DUSE_BIG_ENDIAN
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
--- cbmc-5.84.0.orig/regression/cbmc/Pointer_array7/main.c
+++ cbmc-5.84.0/regression/cbmc/Pointer_array7/main.c
@@ -1,13 +1,13 @@
 #include <assert.h>
 #include <stdint.h>
 
-#if !defined(__LITTLE_ENDIAN__) && !defined(__BIG_ENDIAN__)
+#if !defined(USE_LITTLE_ENDIAN) && !defined(USE_BIG_ENDIAN)
 
 #  if defined(__avr32__) || defined(__hppa__) || defined(__m68k__) ||          \
     defined(__mips__) || defined(__powerpc__) || defined(__s390__) ||          \
     defined(__s390x__) || defined(__sparc__)
 
-#    define __BIG_ENDIAN__
+#    define USE_BIG_ENDIAN
 
 #  endif
 
@@ -21,7 +21,7 @@ int main()
   uint8_t *y = (uint8_t *)x;
   uint16_t z = *((uint16_t *)(y + 1));
 
-#ifdef __BIG_ENDIAN__
+#ifdef USE_BIG_ENDIAN
   assert(z == 256u);
 #else
   assert(z == 512u);
--- cbmc-5.84.0.orig/regression/cbmc/Pointer_array7/test.desc
+++ cbmc-5.84.0/regression/cbmc/Pointer_array7/test.desc
@@ -1,6 +1,6 @@
 CORE new-smt-backend
 main.c
---little-endian -D__LITTLE_ENDIAN__
+--little-endian -DUSE_LITTLE_ENDIAN
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
