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

[Alexey Bataev via llvm-commits]

alexey-bataev wrote:

Looks like it fails clang/llvm compiler build with ThinLTO with openmp
```
Overlapping tbaa.struct regions
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %17, ptr noundef nonnull align 8 dereferenceable(40) %18, i64 40, i1 false), !tbaa.struct !232
!232 = !{i64 0, i64 8, !138, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 8, i64 8, !139, i64 0, i64 8, !138, i64 0, i64 1, !124, i64 0, i64 4, !233, i64 0, i64 4, !233, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 24, i64 8, !139, i64 16, i64 8, !138, i64 16, i64 1, !124, i64 16, i64 4, !233, i64 16, i64 4, !233, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 32, i64 1, !234, i64 33, i64 1, !234}
Overlapping tbaa.struct regions
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %22, ptr noundef nonnull align 8 dereferenceable(40) %23, i64 40, i1 false), !tbaa.struct !232
!232 = !{i64 0, i64 8, !138, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 8, i64 8, !139, i64 0, i64 8, !138, i64 0, i64 1, !124, i64 0, i64 4, !233, i64 0, i64 4, !233, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 0, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 24, i64 8, !139, i64 16, i64 8, !138, i64 16, i64 1, !124, i64 16, i64 4, !233, i64 16, i64 4, !233, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 16, i64 8, !138, i64 32, i64 1, !234, i64 33, i64 1, !234}
Overlapping tbaa.struct regions
  store ptrclang++: error: unable to execute command: Aborted
clang++: error: linker command failed due to signal (use -v to see invocation)
[8/13] Building CXX object openmp/libomptarget/plugins-nextgen/common/CMakeFiles/PluginCommon.dir/src/JIT.cpp.o
```


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