GSOC interest in Extend the static analysis pass, [OpenACC]

[Kaaden Ruman]

Hello, my name is Kaaden and I am a student at the University of Alberta in Canada. I am interested in pursuing the "Extend the static analysis pass" idea as a medium size project. 

I have cloned and built gcc and ran the testsuite and would like a nudge in the direction of what to look at next. I searched in bugzilla for terms like "OpenACC" and "static analysis". Bug 118627 looks like it might be a good candidate for a first patch. Any guidance on the former or suggestions for files that would be most helpful for me to read and try to understand would be greatly appreciated. I am open to any input.

Also, I noticed that this link in the project idea description is dead: https://mid.mail-archive.com/875yp9pyyx.fsf@euler.schwinge.homeip.net

More about me, I have previous experience in compilers (and working in large codebases) from interning at IBM where I worked on their COBOL compiler and binary optimiser (mostly backend). I have also taken a compiler course with a project of an LLVM based compiler (mostly frontend). 

I also have taken and enjoyed a GPU programming course so extending checks for OpenACC caught my eye. In that course we mainly worked with CUDA but discussed other tools such as OpenACC as well, so I have some familiarity.

Thanks,
Kaaden