https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67442
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- I wonder how many bugs of this kind we have lurking in the tree... It works fine when type has the same signedness as pcst of course, but as we don't know pcst sign we can't check for that case... The only way to get all places that need auditing is to assert the precisions match :(