devel/cproto: Update 4.7x => 4.7y
2025/09/01 (4.7y)
- improve manpage discussion of limitations when using cproto's built-in
support for C preprocessor directives (Debian #1112126).
- modify makefile for installing manpage to show actual cpp (Debian #1112126).
- improve configure script checks, reducing warnings
PR: 292297
textproc/goldendict-ng: Unbreak EPWING option
Unbreak EPWING option as ftp server where japanese/eb files are hosted
is online but fragile as it needs several tries to get all files.
Keep EPWING option not as default.
lint: fix crash on switch statement with non-integer expression
Seen during experiments with strict <ctype.h> functions that return a
struct instead of an int if the argument has neither type 'unsigned
char' nor 'int'.
InstCombine: Add more tests for min/max SimplifyDemandedFPClass
Test some more refined cases, such as ordering with 0s and within
known positive and known negative cases.
InstCombine: Improve SimplifyDemandedFPClass min/max handling
Refine handling of minimum/maximum and minimumnum/maximumnum. The
previous folds to input were based on sign bit checks. This was too
conservative with 0s. This can now consider -0 as less than or equal
to +0 as appropriate, account for nsz. It additionally can handle
cases like one half is known positive normal and the other subnormal.
ADT: Add utility functions for comparing FPClassTest
Add utility functions for checking if less and greater queries
are known to not evaluate to true. This will permit more precise
folding of min/max intrinsics. The test is kind of a mess.
[clang] Add a valid begin source location for abbreviated function templates (#174723)
The begin source location for function templates is determined by the
source location of the template keyword.
Pure abbreviated function templates do not have the template keyword.
This results in an invalid begin source location for abbreviated
function templates.
Without a valid begin source location, comments cannot be attached to
the function template which leads to the bug described in
clangd/clangd#2565.
This patch introduces new begin locations for abbreviated function
templates (begin of the templated function) and generic lambdas (begin
of the introducer `[...]`) when creating the template parameter lists in
Sema.
Control spacing for attribute printing (#174197)
This was motivated by the decl printing for the alignas() keyword
attribute:
class alignas(1) Foo;
would be printed as:
class alignas(1) Foo;
with two spaces before class name.
Rather than trying to help `prettyPrintAttributes` guess what the caller
wants in terms of leading and trailing spaces, have it return an
`optional<string>` which is either the pretty-printed attributes for
Pos,
or `nullopt` if no attributes were found.
[3 lines not shown]
Update devel/why3 to version 1.8.2, add ocaml-zip build dependency.
Version 1.8.2, September 16, 2025
---------------------------
Compilation
* compatibility with OCaml 5.4 (MR !1228)
Provers
* fix soundness bug with floats in Alt-Ergo 2.6.x (issue #905)
Sessions
* fix issue with file identifiers in sessions (MR !1231)
Extraction
* restore compatibility of OCaml extraction with js_of_ocaml
Version 1.8.1, June 4, 2025
---------------------------
[9 lines not shown]
