stop recursive fromRhs related to getLaterBaseAccess

This commit is contained in:
erik-krogh
2023-06-01 23:16:52 +02:00
parent 84a7b3ca52
commit 8eed1a95f6

View File

@@ -234,7 +234,8 @@ module AccessPath {
or
baseName = fromRhs(write.getBase(), root)
or
baseName = fromRhs(GetLaterAccess::getLaterBaseAccess(write), root)
baseName = fromRhs(GetLaterAccess::getLaterBaseAccess(write), root) and
not baseName.matches("%.%")
)
or
exists(GlobalVariable var |