Page MenuHomePhabricator

[analyzer] Track indices of arrays

Authored by Szelethus on Jun 10 2019, 8:33 AM.



Observe the test file before this patch:

I think this patch really improves on this case. The problem however, that some subexpressions of expressions should be tracked (like n in arr[n] here) is a broader one, and there may be other some cases I could add.

Diff Detail

Event Timeline

Szelethus created this revision.Jun 10 2019, 8:33 AM
NoQ added a comment.Jun 10 2019, 7:05 PM

Whoa, this looks like a much needed improvement, i'm glad that you found it!


Mmm, dunno about null fp suppression. We're, like, talking about integers. Integers are more often zero than null. We generally do support some FP suppressions for integers as well (i.e., core.DivideZero uses them), but in this case it doesn't sound as if 0 is anyhow special.

baloghadamsoftware requested changes to this revision.Jun 12 2019, 4:31 AM
baloghadamsoftware added inline comments.

I agree here. Forwarding EnableNUllFPSuppression does not really make sense for the array index even if it was true for the array element.

This revision now requires changes to proceed.Jun 12 2019, 4:31 AM
Szelethus updated this revision to Diff 204888.Jun 14 2019, 5:54 PM

One more test just for good measure, don't enable null fp suppression.

Szelethus marked 2 inline comments as done.Jun 14 2019, 6:06 PM
NoQ accepted this revision.Jun 14 2019, 6:14 PM

Great, thanks!!

This revision is now accepted and ready to land.Jun 14 2019, 11:08 PM
This revision was automatically updated to reflect the committed changes.
Herald added a project: Restricted Project. · View Herald TranscriptJun 16 2019, 7:51 AM