https://bugs.llvm.org/show_bug.cgi?id=43311
Bug ID: 43311
Summary: Thread safety analysis very slow in long functions
because of LocalVariableMap
Product: clang
Version: trunk
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: P
Component: Frontend
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected]
The LocalVariableMap data structure keeps a set of life values for every
program point, which can be prohibitively expensive for very long functions.
Since the entire state is copied over for every modification, the complexity is
O(n^2) in the worst case. Of course long functions are not good programming
style, but they occur.
Currently the map is only used to find out if branch expressions are related to
the result of a try-acquire function call. That doesn't require tracking all
values in the program though.
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
