[clang] [analyzer] Add MemSpace trait to program state (PR #123003)

[via cfe-commits]

github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {clang-format}-->


:warning: C/C++ code formatter, clang-format found issues in your code. :warning:

<details>
<summary>
You can test this locally with the following command:
</summary>

``````````bash
git-clang-format --diff 3f1a391b5eb89e53b5d026c417ae6a508d32c808 94c0e4da693faeacb108e3dc239ed56d99242b3c --extensions cpp,h -- clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemSpaces.h clang/lib/StaticAnalyzer/Core/MemSpaces.cpp clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp clang/lib/StaticAnalyzer/Checkers/MacOSXAPIChecker.cpp clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp clang/lib/StaticAnalyzer/Checkers/PutenvStackArrayChecker.cpp clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
``````````

</details>

<details>
<summary>
View the diff from clang-format here.
</summary>

``````````diff
diff --git a/clang/lib/StaticAnalyzer/Core/MemSpaces.cpp b/clang/lib/StaticAnalyzer/Core/MemSpaces.cpp
index 886359fdbf..8dce94e204 100644
--- a/clang/lib/StaticAnalyzer/Core/MemSpaces.cpp
+++ b/clang/lib/StaticAnalyzer/Core/MemSpaces.cpp
@@ -30,8 +30,8 @@ ProgramStateRef setMemSpaceTrait(ProgramStateRef State, const MemRegion *MR,
   // otherwise would go unused).
   assert(isa<UnknownSpaceRegion>(MR->getMemorySpace()));
 
-  // Shouldn't use the memory space trait to associate UnknownSpaceRegion with an
-  // already UnknownSpaceRegion
+  // Shouldn't use the memory space trait to associate UnknownSpaceRegion with
+  // an already UnknownSpaceRegion
   assert(!isa<UnknownSpaceRegion>(MS));
 
   ProgramStateRef NewState = State->set<MemSpacesMap>(MR, MS);

``````````

</details>


https://github.com/llvm/llvm-project/pull/123003