Skip to content

Commit 17e6fd2

Browse files
committed
C++: Disable magic to prevent re-evaluation.
1 parent 5d75b25 commit 17e6fd2

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -555,6 +555,7 @@ private Locatable getSupportedFunctionTemplateArgument(Function templateFunction
555555
* Normalize the `n`'th parameter of `f` by replacing template names
556556
* with `func:N` (where `N` is the index of the template).
557557
*/
558+
pragma[nomagic]
558559
private string getTypeNameWithoutFunctionTemplates(Function f, int n, int remaining) {
559560
exists(Function templateFunction |
560561
templateFunction = getFullyTemplatedFunction(f) and

0 commit comments

Comments
 (0)