[DA] Fix overflow of calculation in weakCrossingSIVtest
This patch fixes a correctness issue where integer overflow in the
upper bound calculation of weakCrossingSIVtest caused the pass to
incorrectly prove independence.
The previous logic used `SCEV::getMulExpr` to calculate
`2 * ConstCoeff * UpperBound` and compared it to `Delta` using
`isKnownPredicate`. In the presence of overflow, this could yield
unsafe results.
This change replaces the SCEV arithmetic with `ConstantRange` and
its operation (`smul_fast`). If the calculation overflows,
`intersectWith(MLRange).isEmptySet()` would be false, ensures we
conservatively assume a dependence if the bounds cannot be proven
safe.
Signed-off-by: Ruoyu Qiu <cabbaken at outlook.com>
syslogd: Fix ereregex property filters and add test
This change fixes Bug 293879, where ereregex filters in syslogd
did not handle alternation correctly.
The issue appears to come from mixing up two different kinds of
flags: syslogd's internal serialized filter flags in
usr.sbin/syslogd/syslogd.h, and the regex compilation flags from
include/regex.h. ereregex was storing REG_EXTENDED in cmp_flags,
even though cmp_flags is meant to carry syslogd's own FILT_FLAG_*
values for configuration serialization and reconstruction.
REG_EXTENDED has the same bit value as FILT_FLAG_EXCLUDE, so the
filter could be reconstructed with the wrong semantics.
The fix stores FILT_FLAG_EXTENDED instead, allowing syslogd to
correctly REG_EXTENDED when compiling the regex.
A test was also added for both ereregex and !ereregex filters.
[7 lines not shown]
tex-fmtcount{,-doc}: update to 3.12
3.11
* Improve documentation
* Fix bug in italian capitalized ordinals
3.12
* Implement ordinals for Dutch
* Add polyglossia tests for every language
* Fix polyglossia language detection
tex-flowfram{,-doc}: update to 2.1
2.0
Version 2.0 has been mostly rewritten using LaTeX3 commands and
updated to take into account changes to the output routine in the
LaTeX kernel. Some defaults have changed.
If there are any compatibility issues you can rollback to v1.18
or v1.17.
New supplementary package flowframtkutils.sty included for use
with FlowframTk (distributed separately). This doesn’t automatically
load flowfram.sty as it may only be required for exported images.
2.1
- corrected misspelt function name (three arguments not four)
\flowfram_frame_set_bool_true:nnn
- trigger error if a flow frame is defined with zero or negative
dimensions
- changed no-page1-col warning to info
[2 lines not shown]
[compiler-rt][msan] Fix 32-bit overflow in CheckMemoryLayoutSanity (#189199)
Use start + (end - start) / 2 instead of (start + end) / 2 to compute
the midpoint address. The original expression overflows when start + end
exceeds UPTR_MAX, which happens on 32-bit targets whose memory layout
includes regions above 0x80000000.
[compiler-rt][sanitizer] Add struct_rlimit64_sz for musl (#189197)
On musl, rlimit64 is an alias for rlimit rather than a distinct type
provided by glibc. Add a SANITIZER_MUSL elif branch so that
struct_rlimit64_sz is defined for musl-based Linux targets.
tex-cweb{,-doc}: update to 4.3.73848
* CTANGLE purges trailing whitespace in preprocessor macros.
* CWEAVE warns about @=verbatim@> material outside C code.
* It most likely will serve as the basis for TeX Live 2026.
tex-ctable: update to 1.33
- help argument missing in PackageError calls
- Simultaneous use of pos and sideways options incorrectly tested
- now contained in 1 self-extracting file (run tex ctable.dtx)
- Corrected missing args inside AtBeginDocument
usbdevs: Add USB device IDs for Nuand bladeRF SDR
Add vendor and product IDs for bladeRF family of USB software defined radios manufactured by Nuand LLC.
Reviewed by: imp, adrian
Differential Revision: https://reviews.freebsd.org/D54733
