[clang][dataflow] Don't crash when caller args are missing storage locations
authorSam Estep <sam@samestep.com>
Wed, 10 Aug 2022 17:50:14 +0000 (17:50 +0000)
committerWei Yi Tee <wyt@google.com>
Thu, 11 Aug 2022 13:00:42 +0000 (13:00 +0000)
commitd09d4bd66c864d58b29d74918a4a164f3ad905de
tree03e6d4623e09cf583a2deccd0dfc50ea75ab6ca4
parenteda6e49aa88d92c45fe13c7bc5279e0d024b60fe
[clang][dataflow] Don't crash when caller args are missing storage locations

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

Reviewed By: gribozavr2

Differential Revision: https://reviews.llvm.org/D131600
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp