Processed: Re: Seems fixed in unstable
Processing control commands:
> retitle -1 libisl23: amd64/i386 baseline violation: uses BMI instructions
Bug #1038603 [gcc-12] gcc-12 was compiled with BMI instructions, which seems to sometimes make it crash in older CPUs
Changed Bug title to 'libisl23: amd64/i386 baseline violation: uses BMI instructions' from 'gcc-12 was compiled with BMI instructions, which seems to sometimes make it crash in older CPUs'.
> severity -1 serious
Bug #1038603 [gcc-12] libisl23: amd64/i386 baseline violation: uses BMI instructions
Severity set to 'serious' from 'important'
> reassign -1 libisl23
Bug #1038603 [gcc-12] libisl23: amd64/i386 baseline violation: uses BMI instructions
Bug reassigned from package 'gcc-12' to 'libisl23'.
No longer marked as found in versions gcc-12/12.3.0-4.
Ignoring request to alter fixed versions of bug #1038603 to the same values previously set
> found -1 0.25-1
Bug #1038603 [libisl23] libisl23: amd64/i386 baseline violation: uses BMI instructions
Marked as found in versions isl/0.25-1.
> fixed -1 0.26-3
Bug #1038603 [libisl23] libisl23: amd64/i386 baseline violation: uses BMI instructions
Marked as fixed in versions isl/0.26-3.
--
1038603: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038603
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: