Kaaden Ruman via Gcc <gcc@gcc.gnu.org> writes: > 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.
Note that PR118627 is a report *using* static analysis (not GCC's static analyzer, either). It's not a bug for enhancing GCC's static analyzer (-fanalyzer). I'm afraid I don't have suggestions for this, though, and I defer to Thomas and David. > > 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
