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

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