Closed
Description
This issue was copied from checkedc/checkedc-clang#804
Added support for widenening bounds for nt_array_ptr dereferences in for
loops. For example, "for (; *p; ) {}" would widen the bounds of p upon
entry to the loop.
Metadata
Metadata
Assignees
Labels
No labels