> I believe this is a bug in the Saxon 12.4
>
> Do you agree? If yes, is there a way to work around the bug?

Looks like. In the example you posted, $legacy-ARINC-elmt-value is a string of
six spaces. Consequently $whole-part is a string of 3 spaces. Saxon is
correctly warning you that there is no way that xs:integer($whole-part) can
succeed.

Unfortunately, itbs failing to detect that the expression will never be
evaluated because itbs inside an xsl:if that tests that
$whole-part *is* castable to an integer.

In the short term, itbs a warning not an error so your stylesheet is still
running correctly.

See: https://saxonica.plan.io/issues/6495

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh <ndw@xxxxxxxxxx>
https://norm.tovey-walsh.com/

> A moment's insight is sometimes worth a life's experience.--Oliver
> Wendell Holmes

[demime 1.01d removed an attachment of type application/pgp-signature which had a name of signature.asc]