We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f91c892 commit 7f84b27Copy full SHA for 7f84b27
src/autoTune.ml
@@ -83,7 +83,7 @@ let rec setCongruenceRecursive fd depth neigbourFunction =
83
setCongruenceRecursive (Cilfacade.find_varinfo_fundec vinfo) (depth -1) neigbourFunction
84
)
85
(FunctionSet.filter (*for extern and builtin functions there is no function definition in CIL*)
86
- (fun x -> not (isExtern x.vstorage || String.starts_with ~prefix:"__builtin" x.vname))
+ (fun x -> not (isExtern x.vstorage || BatString.starts_with x.vname "__builtin"))
87
(neigbourFunction fd.svar)
88
89
;
0 commit comments