hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: No need to cache so many predicates

Browse Source
This commit is contained in:
Ian Lynagh
2018-08-15 10:23:39 +01:00
parent c241b081cb
commit 9c4d4f8732
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/src/semmle/code/cpp/Element.qll
View File

@@ -8,15 +8,15 @@ cached @element resolveElement(@element e) {
else result = e
}
cached Element mkElement(@element e) {
Element mkElement(@element e) {
result = resolveElement(e)
}
cached @element unresolveElement(Element e) {
@element unresolveElement(Element e) {
resolveElement(result) = e
}
cached @element underlyingElement(Element e) {
@element underlyingElement(Element e) {
result = e
}