[gn build] Port 3ecfc03

Author: llvmgnsyncbot

llvm/utils/gn/secondary/clang/lib/Analysis/FlowSensitive/BUILD.gn

@@ -31,6 +31,7 @@ static_library("FlowSensitive") {
     "DataflowEnvironment.cpp",
     "DebugSupport.cpp",
     "Formula.cpp",
+    "FormulaSerialization.cpp",
     "HTMLLogger.cpp",
     "Logger.cpp",
     "RecordOps.cpp",

llvm/utils/gn/secondary/clang/unittests/Analysis/FlowSensitive/BUILD.gn

@@ -27,6 +27,7 @@ unittest("ClangAnalysisFlowSensitiveTests") {
     "DataflowEnvironmentTest.cpp",
     "DebugSupportTest.cpp",
     "DeterminismTest.cpp",
+    "FormulaTest.cpp",
     "LoggerTest.cpp",
     "MapLatticeTest.cpp",
     "MatchSwitchTest.cpp",