[llvm] [TBAA] Add verifier for tbaa.struct metadata (PR #86709)

[via llvm-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 4998587e6f5f66d464ac22ad4c11fe9afd2d56ab 6f07803d1e8ebb757cd3909947009063f0ab9ddf -- llvm/include/llvm/IR/Verifier.h llvm/lib/IR/Verifier.cpp
``````````

</details>

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

``````````diff
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp
index 3035c6f53a..0ee5f13565 100644
--- a/llvm/lib/IR/Verifier.cpp
+++ b/llvm/lib/IR/Verifier.cpp
@@ -7446,7 +7446,8 @@ bool TBAAVerifier::visitTBAAStructMetadata(Instruction &I, const MDNode *MD) {
     bool NonOverlapping = !NextFree || NextFree->ule(OffsetCI->getValue());
     CheckTBAA(NonOverlapping, "Overlapping tbaa.struct regions", &I, MD);
 
-    NextFree = OffsetCI->getValue() + SizeCI->getValue();;
+    NextFree = OffsetCI->getValue() + SizeCI->getValue();
+    ;
   }
   return true;
 }

``````````

</details>


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