cbmc: fix compilation error on darwin - SemanticDiff

Commit

176 days ago

cbmc: fix compilation error on darwin Fixed #468915. (cherry picked from commit 825ed2a5f270eaeb2facbcea9968f5d89023ba4e)

References

#469151 - [Backport release-25.11] cbmc: fix compilation error on darwin

#469341 - [Backport release-25.11] fblog: 4.16.0 -> 4.17.0

#470049 - [Backport release-25.11] python3Packages.bugwarrior: 1.8.0 -> 2.0.0

#471493 - [Backport release-25.11] pam_pgsql: fix build; unstable-2020-05-05 -> 0-unstable-2025-01-24

#471926 - [Backport release-25.11] teapot: update src

#472115 - [Backport release-25.11] rpPPPoE: update src

#472117 - [Backport release-25.11] nixos/slurm: fix wrapper script variable expansion, and refactor

#472594 - [Backport release-25.11] code: 0.2.188 -> 0.6.5

#472707 - [Backport release-25.11] nixos/syncthing: Fix race condition when updating from 1.x to 2.x

#472908 - [Backport release-25.11] linuxPackages.nvidiaPackages.latest: 580.119.02 -> 590.48.01

#472983 - [Backport release-25.11] lk-jwt-service: fix deprecated envvar

#473134 - [Backport release-25.11] pyrseas: fix rev

#473948 - [Backport release-25.11] vigra: 1.12.2 -> 1.12.3

#474778 - [Backport release-25.11] reqable: 2.33.12 -> 3.0.30; fix settings schema; adopted

#475554 - [Backport release-25.11] cifs-utils: 7.4 -> 7.5

#475555 - [Backport release-25.11] mcpp: 2.7.2.2 -> 2.7.2.3

#475850 - [Backport release-25.11] fishPlugins.foreign-env: 0-unstable-2020-02-09 -> 0-unstable-2023-08-23

#476056 - [Backport release-25.11] rbw: 1.14.1 -> 1.15.0

#476244 - [Backport release-25.11] nixos/tests/fish: test nixos-env-preinit.fish

#476492 - [Backport release-25.11] wtfis: 0.13.0 -> 0.14.0

#476530 - [Backport release-25.11] claude-code-router: 1.0.64 -> 1.0.73

#477273 - [Backport release-25.11] treewide: use overlays to pass a custom stdenv to buildPythonPackage / bulidPythonApplication

#478090 - [Backport release-25.11] python3Packages.sipsimple: fix build with gcc15; refactor and modernize

#478713 - [Backport release-25.11] cnijfilter2: clean up, adopt & 6.40 -> 6.90-1

#478714 - [Backport release-25.11] openvscode-server: 1.103.1 -> 1.106.3

#479324 - [Backport release-25.11] gcc-arm-embedded: 14.3.rel1 -> 15.2.rel1

#479395 - [Backport release-25.11] tlp: add missing runtime dependency usbutils (#423866)

#479661 - [Backport release-25.11] phpExtensions.pcov: drop patch

#480327 - [Backport release-25.11] python313Packages.celery: skip tests that check group

#480328 - [Backport release-25.11] openconnect: 9.12-unstable-2025-01-14 -> 9.12-unstable-2025-11-03

#480388 - [Backport release-25.11] Add clang64 toolchain to pkgsCross

#480542 - [Backport release-25.11] nixVersions.nix_2_33: init

#480751 - [Backport release-25.11] gpd-pocket-4-pipewire: init at 0-unstable-2025-04-08

#481072 - [Backport release-25.11] wg-access-server: 0.12.1 -> 0.13.1

#481214 - [Backport release-25.11] nixosTests.dwl: fix on aarch64-linux

#481404 - [Backport release-25.11] mago: 1.0.0-beta.14 -> 1.0.3

#482361 - [Backport release-25.11] awstats: 7.9 -> 8.0

#483274 - [Backport release-25.11] iosevka: fix quoting issue in buildPhase

#483309 - [Backport release-25.11] nixos/podman: fix starting unprivileged containers with sdnotify=conmon

#484434 - [Backport release-25.11] dino: disable optional features per default as they are experimental

#484481 - [Backport release-25.11] keycloak.plugins: add new plugins from extensions page

#484827 - [Backport release-25.11] btop: 1.4.5 -> 1.4.6

#485029 - [Backport release-25.11] libqb: 2.0.8 -> 2.0.9, modernize, fixes hash mismatch

#485416 - [Backport release-25.11] nixos/osquery: add `package` option

#486839 - [Backport release-25.11] inkscape: Add missing dependencies

#487971 - [Backport release-25.11] gnomeExtensions: auto-update

#488143 - [Backport release-25.11] mariadb: 10.6.24, 10.11.15, 11.4.9, 11.8.5

#488903 - [Backport release-25.11] pixel2svg: fix build, modernise, move to by-name

#489033 - [Backport release-25.11] ncspot: 1.3.2 -> 1.3.3

#489198 - [Backport release-25.11] libsForQt5.qtstyleplugin-kvantum: 1.1.5 -> 1.1.6

#489880 - [Backport release-25.11] elmPackages.*: remove myself as maintainer from packages where I was

#490268 - [Backport release-25.11] m-cli: 2.0.5 -> 2.0.7

#490857 - [Backport release-25.11] flux9s: init at 0.7.2

#494414 - [Backport release-25.11] nixos/rspamd: Add extraArgs option to rspamd module

#495299 - [Backport release-25.11] jadx: 1.5.0 -> 1.5.3

#495379 - [Backport release-25.11] crowdsec-firewall-bouncer: use cscli from the nix store instead of /run/current-system/sw/bin

#495768 - [Backport staging-25.11] qemu: add fuse support

#495775 - [Backport release-25.11] snitch: init at 0.1.9

#496437 - [Backport release-25.11] nixos/sssd: fix sssd-kcm wrong command-line options

#496654 - [Backport release-25.11] pihole-ftl: fix build

#497040 - [Backport release-25.11] pupdate: 3.20.0 -> 4.7.0

#497152 - [Backport release-25.11] mercury: move to by-name

#497224 - [Backport release-25.11] davmail: Various tweaks to Davmail package

#497922 - [Backport release-25.11] nixos/mihomo: add an option for processes info

#498210 - [Backport release-25.11] flatpak: 1.16.2 -> 1.16.3

#499075 - [Backport release-25.11] nixos/tuned: add recommend option, fix ppdSupport, minor refactor

#499079 - [Backport release-25.11] tuned: 2.26.0 -> 2.27.0

#499778 - [Backport release-25.11] lock: 1.8.2 -> 1.9.3

#499812 - [Backport release-25.11] _7zz: add 7-zip to description for discoverability

#499927 - [Backport release-25.11] percona-server: 8.4.7-7 -> 8.4.8-8

#500537 - [Backport release-25.11] msbuild-structured-log-viewer: miscellaneous updates

#501467 - [Backport release-25.11] ddhx: init at 0.9.1

#503787 - [Backport release-25.11] flclash: 0.8.91 -> 0.8.92

#504177 - [Backport release-25.11] linkwarden: 2.13.5 -> 2.14.0

#504715 - [Backport release-25.11] fakedir: init at 0-unstable-2025-12-02

#505187 - [Backport release-25.11] ubootRaspberryPiAarch64: init

#505503 - [Backport release-25.11] python3Packages.tinytag: 2.2.0 -> 2.2.1

#506550 - [Backport release-25.11] openvr: 2.12.14 -> 2.15.6

#507269 - [Backport release-25.11] nix-user-chroot: init at 2.1.0

#507291 - [Backport release-25.11] nixos/roundcube: increase client_max_body_size for maxAttachmentSize

#507322 - [Backport release-25.11] nixos/crowdsec-firewall-bouncer: Fix missing systemd dependencies to firewall services

#507719 - [Backport release-25.11] motioneye: init at 0.43.1

#508015 - [Backport release-25.11] comaps: 2025.11.07-2 -> 2026.03.23-5

#508153 - [Backport release-25.11] unvanquished: 0.55.3 -> 0.56.1

#509215 - [Backport release-25.11] koreader: fix Japanese text selection with patched luajit

#509724 - [Backport release-25.11] openafs: improve CellServDB options and add test

#509829 - [Backport release-25.11] xfr: init at 0.9.6

#509952 - [Backport release-25.11] logisim-evolution: 4.0.0 -> 4.1.0

#510716 - [Backport release-25.11] galculator: fix build with C23

#510914 - [Backport release-25.11] hedgedoc: 1.10.7 -> 1.10.8

#511190 - [Backport release-25.11] picotool: add missing mbedtls

#511404 - [Backport release-25.11] go-tpc: init 1.0.12

#513235 - [Backport release-25.11] flare-signal: 0.20.2 -> 0.20.4

#513638 - [Backport release-25.11] firebird_3: 3.0.13 -> 3.0.14; firebird_4: 4.0.6 -> 4.0.7; firebird_5: init at 5.0.4

#514458 - [Backport release-25.11] rustPlatform.buildRustPackage: fix cargoDeps inherited attribute overriding

#514712 - [Backport release-25.11] doc/python: document fixed-point arguments (#271387)

#515166 - [Backport release-25.11] python3Packages.mike: 2.1.3 -> 2.2.0

#515175 - [Backport release-25.11] mopidy: add ffmpeg support

#517717 - [Backport release-25.11] depdendeny-track: 4.13.6 -> 4.14.1

#518289 - [Backport release-25.11] python3Packages.rchitect: 0.4.9 -> 0.4.10

Author

jiegec

jiegec

Committer

github-actions[bot]

github-actions[bot]

Parents

Loading