You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In #1108 I have XFAIL'ed the following bounds widening tests that need to be re-enabled once we implement features that the tests need.
test/CheckedC/inferred-bounds/widened-bounds-strings-examples.c --> This can be enabled once we have implemented invertibility support and bounds can be widened in a loop.
test/CheckedC/inferred-bounds/widened-bounds-check.c --> This can be enabled once we have implemented Available Facts Analysis that will give us the current bounds of a pointer so that we know the bounds to be set for pointers whose bounds have been killed.
The text was updated successfully, but these errors were encountered:
mgrang
added
the
work item
This labels issues that are not exactly bugs but are about improvements.
label
Jun 25, 2021
In #1108 I have XFAIL'ed the following bounds widening tests that need to be re-enabled once we implement features that the tests need.
test/CheckedC/inferred-bounds/widened-bounds-strings-examples.c
--> This can be enabled once we have implemented invertibility support and bounds can be widened in a loop.test/CheckedC/inferred-bounds/widened-bounds-check.c
--> This can be enabled once we have implemented Available Facts Analysis that will give us the current bounds of a pointer so that we know the bounds to be set for pointers whose bounds have been killed.The text was updated successfully, but these errors were encountered: