> Under which circumstances will the indexing efforts pay off? Indexing is beneficial when a semantic patch uses in an essential way some words that appear rarely in the code base. For example, the following semantic patch will only do something useful on code that contains xyz:
- x = kmalloc(); .. - x = xyz(); There is no need to parse the code, match the thousands of occurrences of kmalloc, nor to do the tracing of execution paths implied by ... if the code does not contain any call to xyz anyway. julia