Get rvalue bounds for the value of lvalue expressions from the CheckingState#1183

Merged

kkjeer merged 10 commits into

get-lvalue-observed-bounds

Sep 10, 2021

Commits on Sep 8, 2021

Add GetLValueObservedBounds method
kakje
committed
Use GetLValueObservedBounds to get the rvalue bounds for LValueToRValue and ArrayToPointerDecay casts
kakje
committed
Use GetLValueObservedBounds to get the rvalue bounds for an increment or decrement operator
kakje
committed
Use GetLValueObservedBounds to get the rvalue bounds for the LHS of a compound assignment
kakje
committed
Update bounds-context-members test since s->a++ no longer affects the observed bounds of s->a
kakje
committed
Update the bounds-context test since q += 2 impacts the observed bounds of q before the decrement q-- in the "false" conditional arm
kakje
committed
Update the bounds-decl-checking test since the LHS bounds of p in the compound assignment p += 2 are bounds(p, p + (i - 1))
kakje
committed
Update the pointer-derereference-bounds test since the representative expression for certain AbstractSets changed
kakje
committed
Add a test to bounds-context-members to test accessing memory using s->a after updating its observed bounds
kakje
committed
Compare ExtVectorElementExprs by address
kakje
committed