Inline SameSource predicate (#83)

mbaluda · web-flow · commit a2012a212189 · 2022-09-22T19:50:56.000+02:00
diff --git a/cpp/common/src/codingstandards/cpp/rules/iofstreammissingpositioning/IOFstreamMissingPositioning.qll b/cpp/common/src/codingstandards/cpp/rules/iofstreammissingpositioning/IOFstreamMissingPositioning.qll
@@ -51,6 +51,7 @@ class WriteFunctionCall extends ReadWriteCall {
   }
 }
 
+pragma[inline]
 predicate sameSource(FunctionCall a, FunctionCall b) {
   sameStreamSource(a, b) or
   sameFileSource(a, b)
diff --git a/cpp/common/src/codingstandards/cpp/standardlibrary/FileAccess.qll b/cpp/common/src/codingstandards/cpp/standardlibrary/FileAccess.qll
@@ -101,6 +101,7 @@ abstract class FileAccess extends FunctionCall {
   abstract Expr getFileExpr();
 }
 
+pragma[inline]
 predicate sameFileSource(FileAccess a, FileAccess b) {
   exists(Variable c |
     c.getAnAccess() = a.getFileExpr() and

Original file line number	Diff line number	Diff line change
`@@ -51,6 +51,7 @@ class WriteFunctionCall extends ReadWriteCall {`
`51`	`51`	`}`
`52`	`52`	`}`
`53`	`53`
	`54`	`+pragma[inline]`
`54`	`55`	`predicate sameSource(FunctionCall a, FunctionCall b) {`
`55`	`56`	`sameStreamSource(a, b) or`
`56`	`57`	`sameFileSource(a, b)`
Original file line number	Diff line number	Diff line change
`@@ -101,6 +101,7 @@ abstract class FileAccess extends FunctionCall {`
`101`	`101`	`abstract Expr getFileExpr();`
`102`	`102`	`}`
`103`	`103`
	`104`	`+pragma[inline]`
`104`	`105`	`predicate sameFileSource(FileAccess a, FileAccess b) {`
`105`	`106`	`exists(Variable c \|`
`106`	`107`	`c.getAnAccess() = a.getFileExpr() and`