Fix sprintf() inference for constant values with format-width in pattern

Fix sprintf() inference for constant values with format-width in pattern #17633