Your message dated Mon, 29 Apr 2024 14:36:56 +0000
with message-id <[email protected]>
and subject line Bug#1069990: fixed in cbmc 5.95.1-5
has caused the Debian Bug report #1069990,
regarding cbmc: please add support for loong64
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1069990: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1069990
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: cbmc
Severity: normal
Tags: patch
User: [email protected]
Usertags: loong64
X-Debbugs-Cc: [email protected]
Dear Maintainer,
The cbmc package compiled incorrectly on loongarch, the attached patch has
fixed it.
Please merge the code from the attached patch into the repository.
wuruilong
-- System Information:
Debian Release: trixie/sid
APT prefers unreleased
APT policy: (500, 'unreleased'), (500, 'unstable')
Architecture: loong64 (loongarch64)
Kernel: Linux 5.10.0-60.96.0.126.oe2203.loongarch64 (SMP w/32 CPU threads)
Locale: LANG=C, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: unable to detect
Description: <short summary of the patch>
TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
cbmc (5.95.1-4) unstable; urgency=low
.
* Fix portability problems for hurd and sh4
Author: Michael Tautschnig <[email protected]>
---
The information above should follow the Patch Tagging Guidelines, please
checkout https://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:
Origin: (upstream|backport|vendor|other), (<patch-url>|commit:<commit-id>)
Bug: <upstream-bugtracker-url>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: (no|not-needed|<patch-forwarded-url>)
Applied-Upstream: <version>, (<commit-url>|commit:<commid-id>)
Reviewed-By: <name and email of someone who approved/reviewed the patch>
Last-Update: 2024-04-28
--- cbmc-5.95.1.orig/src/goto-cc/gcc_mode.cpp
+++ cbmc-5.95.1/src/goto-cc/gcc_mode.cpp
@@ -536,6 +536,7 @@ int gcc_modet::doit()
{"hexagon", "none" /* Hexagon */},
{"i386", "i386" /* (not in llc's list: 32-bit x86) */},
{"lanai", "none" /* Lanai */},
+ {"loongarch64", "loongarch64" /* 64-bit LOONGARCH */},
{"mips", "mips" /* MIPS (32-bit big endian) */},
{"mips64", "mips64" /* MIPS (64-bit big endian) */},
{"mips64el", "mips64el" /* MIPS (64-bit little endian) */},
--- cbmc-5.95.1.orig/src/util/config.cpp
+++ cbmc-5.95.1/src/util/config.cpp
@@ -350,6 +350,35 @@ void configt::ansi_ct::set_arch_spec_alp
}
}
+void configt::ansi_ct::set_arch_spec_loongarch64()
+{
+ set_LP64();
+ endianness = endiannesst::IS_LITTLE_ENDIAN;
+ long_double_width = 16 * 8;
+ char_is_unsigned = false;
+ NULL_is_zero = true;
+
+ switch(mode)
+ {
+ case flavourt::GCC:
+ defines.push_back("__loongarch__");
+ break;
+
+ case flavourt::VISUAL_STUDIO:
+ UNREACHABLE; // not supported by Visual Studio
+ break;
+
+ case flavourt::CODEWARRIOR:
+ case flavourt::CLANG:
+ case flavourt::ARM:
+ case flavourt::ANSI:
+ break;
+
+ case flavourt::NONE:
+ UNREACHABLE;
+ }
+}
+
void configt::ansi_ct::set_arch_spec_mips(const irep_idt &subarch)
{
if(subarch=="mipsel" ||
@@ -735,6 +764,8 @@ void configt::set_arch(const irep_idt &a
ansi_c.set_arch_spec_power(arch);
else if(arch == "riscv64")
ansi_c.set_arch_spec_riscv64();
+ else if(arch == "loongarch64")
+ ansi_c.set_arch_spec_loongarch64();
else if(arch=="sparc" ||
arch=="sparc64")
ansi_c.set_arch_spec_sparc(arch);
@@ -1395,6 +1426,8 @@ irep_idt configt::this_architecture()
#endif
#elif defined(__riscv)
this_arch = "riscv64";
+ #elif defined(__loongarch__)
+ this_arch = "loongarch64";
#elif defined(__sparc__)
#ifdef __arch64__
this_arch = "sparc64";
--- cbmc-5.95.1.orig/src/util/config.h
+++ cbmc-5.95.1/src/util/config.h
@@ -223,6 +224,7 @@ public:
void set_arch_spec_power(const irep_idt &subarch);
void set_arch_spec_arm(const irep_idt &subarch);
void set_arch_spec_alpha();
+ void set_arch_spec_loongarch64();
void set_arch_spec_mips(const irep_idt &subarch);
void set_arch_spec_riscv64();
void set_arch_spec_s390();
--- End Message ---
--- Begin Message ---
Source: cbmc
Source-Version: 5.95.1-5
Done: Michael Tautschnig <[email protected]>
We believe that the bug you reported is fixed in the latest version of
cbmc, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <[email protected]> (supplier of updated cbmc package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 29 Apr 2024 12:56:13 +0000
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 5.95.1-5
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Michael Tautschnig <[email protected]>
Description:
cbmc - bounded model checker for C and C++ programs
jbmc - bounded model checker for Java programs
Closes: 1069438 1069990
Changes:
cbmc (5.95.1-5) unstable; urgency=low
.
* Add fopen64 support (Closes: #1069438)
* Add loong64 support - thanks wuruilong for the patch (Closes: #1069990)
Checksums-Sha1:
ef9efca463b99f79ca1c0cbacfdb04a732cf2bf2 3061 cbmc_5.95.1-5.dsc
0c39a83a339b5f2fa27e39f6cc43a5363b22b1a2 16944 cbmc_5.95.1-5.debian.tar.xz
Checksums-Sha256:
59d0d9a22a86db411c0cdb0eceb3ede4e059e3d9741fad68015329dbb6354809 3061
cbmc_5.95.1-5.dsc
eb865cf8bbdf528a73a6cd6f6bd4885e185405a56885e2d71158273fb233a74c 16944
cbmc_5.95.1-5.debian.tar.xz
Files:
162b93dd6b16da530cc9b51e21b7ba7b 3061 science optional cbmc_5.95.1-5.dsc
e4b045e334cc786d094c2658a4917ac4 16944 science optional
cbmc_5.95.1-5.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmYvpKIOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHapA/+Ny6iYfqEYtAwe79d22Xh7D88kAXZzdDaYScv
6LxzE+1xggprVUHgcCNxBPgnmw+4AVydMs6ekuSMtKOjtvYFmBHN3CRhCU5Xf2Qs
efdXqdnUS1ru5ekr7GLCkMgZ7hoo2LFymGwaWI85Rr1wvCYGqzuLSNGEXr8huQ7d
J1kH6agvAuI+qW7R4rCsJcIV5S662PaOsFI+Rq5bdemvTCiyMqi5p4VIGNYqu1XI
dfgB+t0Fsbj4FJoy7J09k97lzwRRCt8IdudJVCS9DQ+TsuRF2g7FR7vdGN1gvZN5
wGDmnerk6IVat9XQ0aGGSvj9yk8JNhJjbiZtxFq+hRoKEQ21XvDySvj4aqVezYh1
C1aEQ6Ccf/Ynip9wR4MNbWDrYU/zpT3xE70qMWHd4iZhMGrFy9OuKjaZqzy08JET
G6TysI7744CGLVLKZLmthZ0syvDRuDUCu1/mhjXO7ZTBxejYJ7148ejixdYuOyxP
De5P4mF3pqUAbs3tH+o0EDQZflCGcPXf7QMSSZPwSdvpS8wSRctqqSlWboxlpJ65
uCIqTtGombzhVvVywbGqfgQeGSx796QZxjhNrFo2M/1XPTSRoIo7h/HsouCf5DRf
QVgKlHchDIAH9hBHxg7UkGhw9w6ODA8JyTRcjPDsGc0goikC/SVi0Z7sGlMlPy0H
P7ZZ6gA=
=X4Wi
-----END PGP SIGNATURE-----
pgpCkYCfxQCzb.pgp
Description: PGP signature
--- End Message ---
