Page MenuHomePhabricator

[analyzer] [NFC] Add a new parameter ProgramStateRef to SValBuilder::evalCast function
Needs ReviewPublic

Authored by ASDenysPetrov on Feb 23 2021, 7:40 AM.

Details

Summary

Add ProgramStateRef as a new parameter to SValBuilder::evalCast function and pass the argument through the code.
This patch is a preparatory one and does not change any behavior and serves for further improvements.
It makes future revisions smaller and safer.

Diff Detail

Event Timeline

ASDenysPetrov created this revision.Feb 23 2021, 7:40 AM
ASDenysPetrov requested review of this revision.Feb 23 2021, 7:40 AM

Rebased on main.

Missed to add changes in unittests. Fixed.

ASDenysPetrov retitled this revision from [analyzer] Add a new parameter ProgramStateRef to SValBuilder::evalCast function to [analyzer] [NFC] Add a new parameter ProgramStateRef to SValBuilder::evalCast function.Mar 10 2021, 10:32 AM