Code warntype should show print the unstable SSA values in red/yellow

[gbaraldi]

If you have some code like

julia> function foo(x)
       y = x[1]
       sin(y)
       end
foo (generic function with 1 method)

julia> code_warntype(foo, (Vector{Any},), optimize=true)

It would be useful if %17 was printed in red�

[arhik]

I don't know the consequences of directly interpolating expression here but here is the first attempt at it. Any guiding information on coverage of IR statements in code changes made will be appreciated.

[arhik]

@gbaraldi Should line 19 be highlighted too ?

[gbaraldi]

IMO, only the IR statement would have the red color, similar to how currently only ::Any is red %17 would be red as well. The whole line being red doesn't show the user what specifically is type unstable in that statement

[arhik]

[joseeloren]

I was checking a good first issue to start with, and I think this is solved already. Am I right?

[arhik]

@joseeloren Its partially solved and need tests. Also, I have commits on my local setup. I am struggling to make time, and I don't recollect if I have it all resolved. If you don't see any commits from me by coming weekend it's all yours.

In case you end up taking this up, the existing code is good enough for adding tests directly (I think it doesn't cover few node types yet and that can be next PR or next set of commits after passing tests for commits made so far).

[KeshavSingh2703]

Hey there, I would like to take this issue

[joseeloren]

Hi @KeshavSingh2703 I was working on this on #55435 , but I am not getting response.

[KeshavSingh2703]

The current status includes partial tests and coverage for specific cases, though it might still need further refinements and checks for completeness.