[clang][analyzer] Use the VFS to check model files (#160950)

jansvoboda11 · web-flow · commit 34ebdaf73287 · 2025-09-26T14:53:46.000-07:00
This PR uses the VFS to check `.model` files in the Clang static
analyzer to match the compiler's behavior for other input files.
diff --git 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;
   }

Original file line number	Diff line number	Diff line change
`@@ -65,7 +65,7 @@ void ModelInjector::onBodySynthesis(const NamedDecl *D) {`
`65`	`65`	`else`
`66`	`66`	`fileName = llvm::StringRef(D->getName().str() + ".model");`
`67`	`67`
`68`		`- if (!llvm::sys::fs::exists(fileName.str())) {`
	`68`	`+ if (!CI.getVirtualFileSystem().exists(fileName)) {`
`69`	`69`	`Bodies[D->getName()] = nullptr;`
`70`	`70`	`return;`
`71`	`71`	`}`