Update UncheckedOptionalAccessCheck.cpp.
Remove deprecated runDataflowAnalysis.

Address comment.

Address comment.

Address comment.

Address comment.

Update build target dependency.

Update build target.

Use u suffix to declare constants as unsigned in CFGMatchSwitchTest.cpp.

Update according to change in preceding patches to replace use of designated initialisers when constructing AnalysisInputs.

Propagate change from parent patch.

Update according to change in parent patch to replace designated initialisers when constructing AnalysisInputs.

This is a re-update of a previous update which uploaded the wrong diff.
Remove use of designated initializers which are only allowed on C++20. Instead, introduce a constructor that sets required fields, and withFieldName methods that sets optional fields when constructing an AnalysisInputs struct.

Remove use of designated initializers which are only allowed on C++20. Instead, introduce a constructor that sets required fields, and withFieldName methods that sets optional fields when constructing an AnalysisInputs struct.

Minor fixes:

• Update sfinea to check on ostream& and use decltype to get type of the input to be streamed
• Fix build target dependency

Address comment.

In D132753#3758163, @gribozavr2 wrote:

Did you accidentally revert the Bazel build files with the last update? LGTM otherwise.

Rename build target.

Replace use of virtual functions with sfinea and CRTP to call transfer functions defined by the user.

Address comment.

Address comments.

Address comments.

Address comments.

Address comment.

Address comments.

Propagate change from parent patch.