On 10/10/2018 03:18 PM, Jeff Law wrote:
On 10/2/18 10:37 AM, Martin Sebor wrote:
[2/4] - Relax strlen range optimization to avoid making assumptions
about types
This main part of this patch is to relax the strlen range
optimization to avoid relying on array types. Instead, the
On 10/2/18 10:37 AM, Martin Sebor wrote:
> [2/4] - Relax strlen range optimization to avoid making assumptions
> about types
>
> This main part of this patch is to relax the strlen range
> optimization to avoid relying on array types. Instead, the function
> either removes the upper
[2/4] - Relax strlen range optimization to avoid making assumptions
about types
This main part of this patch is to relax the strlen range
optimization to avoid relying on array types. Instead, the function
either removes the upper bound of the strlen result altogether, or
constrains it