Reapply "[FlowSensitive] [StatusOr] [2/N] Add minimal model" (#164040)#164305

fmayer merged 2 commits intomainllvm/llvm-project:mainfrom

users/fmayer/spr/reapply-flowsensitive-statusor-2n-add-minimal-model-164040llvm/llvm-project:users/fmayer/spr/reapply-flowsensitive-statusor-2n-add-minimal-model-164040Copy head branch name to clipboard