As suggested by @linghuiluo, we could insert markers to show analysis results via their associated code actions. This idea is worth trying out. It could make things a bit cluttered, but if one only puts them at loop heads, it might be a viable approach.
As suggested by @linghuiluo, we could insert markers to show analysis results via their associated code actions. This idea is worth trying out. It could make things a bit cluttered, but if one only puts them at loop heads, it might be a viable approach.