replace shouldDump -> shouldDumpLocation

This commit is contained in:
Paolo Tranquilli
2021-11-22 13:30:33 +00:00
committed by GitHub
parent 4498657384
commit d4e80c664e
2 changed files with 3 additions and 3 deletions

View File

@@ -5,7 +5,7 @@ private import cpp
*
* This predicate excludes locations in standard headers.
*/
predicate shouldDump(Location loc) {
predicate shouldDumpLocation(Location loc) {
not loc.getFile().getAbsolutePath().regexpMatch(".*/include/[^/]+")
}
@@ -14,4 +14,4 @@ predicate shouldDump(Location loc) {
*
* This predicate excludes functions defined in standard headers.
*/
predicate shouldDumpFunction(Function func) { shouldDump(func.getLocation()) }
predicate shouldDumpFunction(Function func) { shouldDumpLocation(func.getLocation()) }

View File

@@ -3,5 +3,5 @@ private import semmle.code.cpp.ir.IR
private import PrintConfig
from Operand a
where shouldDump(a.getLocation())
where shouldDumpLocation(a.getLocation())
select a, a.getDumpString()