| Issue |
89720
|
| Summary |
Changing ArrayBoundV2 callback type increased symbol complexity
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
NagyDonat
|
While investigating #89045 @steakhal noticed that the complexity of symbols seen by the ArrayBoundV2 checker increased significantly when that checker switched to using `check::PostStmt` callbacks instead of the previously used `check::Location`.
> [...] prior to this change, the maximum Sym->computeComplexity() within getTaintedSymbolsImpl was significantly lower [4-5] than after the change. After the change this maximal complexity was more around the threshold (35), 30-33.
That slowdown was fixed by #89606 which restored the efficiency of `getTaintedSymbolsImpl` and ensured that it runs quickly even when the symbols are complex. However, it would be still good to investigate the cause of this complexity increase.
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
