On Thu, Oct 31, 2013 at 6:41 AM, Jeff Law wrote:
> On 10/28/13 23:02, Jeff Law wrote:
>>
>>
>> Based on a suggestion from Marc, I want to use infer_nonnull_range in
>> the erroneous path isolation optimization.
>>
>> In the process of doing that, I found a few deficiencies in
>> infer_nonnull_ran
On 10/28/13 23:02, Jeff Law wrote:
Based on a suggestion from Marc, I want to use infer_nonnull_range in
the erroneous path isolation optimization.
In the process of doing that, I found a few deficiencies in
infer_nonnull_range that need to be addressed.
First, infer_nonnull_range_p doesn't
