[clang][analyzer] Use the VFS to check model files

[jansvoboda11]

This PR uses the VFS to check .model files in the Clang static analyzer to match the compiler's behavior for other input files.

[llvmbot]

@llvm/pr-subscribers-clang

@llvm/pr-subscribers-clang-static-analyzer-1

Author: Jan Svoboda (jansvoboda11)

Changes

This PR uses the VFS to check .model files in the Clang static analyzer to match the compiler's behavior for other input files.

---

Full diff: https://github.com/llvm/llvm-project/pull/160950.diff

1 Files Affected:

• (modified) clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp (+1-1)

diff --git a/clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp b/clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp
index be74ff2cd4799..5301f88057203 100644
--- a/clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp
+++ b/clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp
@@ -65,7 +65,7 @@ void ModelInjector::onBodySynthesis(const NamedDecl *D) {
   else
     fileName = llvm::StringRef(D->getName().str() + ".model");
 
-  if (!llvm::sys::fs::exists(fileName.str())) {
+  if (!CI.getVirtualFileSystem().exists(fileName)) {
     Bodies[D->getName()] = nullptr;
     return;
   }