Page MenuHomePhabricator

[clang][dataflow] Don't crash when caller args are missing storage locations
ClosedPublic

Authored by samestep on Aug 10 2022, 10:46 AM.

Details

Summary

This patch modifies Environment's pushCall method to pass over arguments that are missing storage locations, instead of crashing.

Diff Detail

Event Timeline

samestep created this revision.Aug 10 2022, 10:46 AM
Herald added a project: Restricted Project. · View Herald Transcript
samestep requested review of this revision.Aug 10 2022, 10:46 AM
Herald added a project: Restricted Project. · View Herald TranscriptAug 10 2022, 10:46 AM
Herald added a subscriber: cfe-commits. · View Herald Transcript
samestep edited the summary of this revision. (Show Details)Aug 10 2022, 10:47 AM
samestep added reviewers: ymandel, gribozavr2.
gribozavr2 accepted this revision.Aug 10 2022, 10:48 AM
This revision is now accepted and ready to land.Aug 10 2022, 10:48 AM
This revision was landed with ongoing or failed builds.Aug 10 2022, 10:50 AM
This revision was automatically updated to reflect the committed changes.