Hello GCC Community,
cc: Mr.David Malcolm
My name is Trieu Huynh, and I'd like to apply on GSoC of GCC project.
I am writing to express my strong interest in the project "Extend the
static analysis pass", specifically focusing on option (c): "Extending
the analyzer's support for C++".
To prepare for the technical challenges of this project, I have followed
the "Before you apply" guidelines:
* Successfully checked out and built GCC from source and verified the
environment by running the analyzer testsuite.
* Browse on IMHO some getting started stuff.
* Read through David Malcolm's guide GCC for New Contributors.
* On-going to study about the fanalyzer to support C++.
As a demonstration of my ability to navigate the GCC codebase and
contribute to the analyzer's core, I am picking an issue from bugzilla
and trying to submit this patch to fix it (eg. PR113329).
I chose this specific fix as a "warm-up" to have a better understanding
how the analyzer handles state transitions is a fundamental step toward
my goal of extending support for C++ features.
I am excited about the prospect of working on the C++ support for the
analyzer and look forward to your feedback.
Best regards,
Trieu Huynh
Trieu Huynh (1):
analyzer: fix false positive -Wanalyzer-fd-use-without-check on dup2
[PR113329]
gcc/analyzer/sm-fd.cc | 2 +-
gcc/testsuite/c-c++-common/analyzer/dup2.c | 10 ++++++++++
2 files changed, 11 insertions(+), 1 deletion(-)
create mode 100644 gcc/testsuite/c-c++-common/analyzer/dup2.c
--
2.43.0
