Hi David, Just a quick follow-up on the patch I just submitted on the gcc-patches mailing list for strnlen implementation. I have modified accounting for lhs_type to be NULL from previous discussions on the mailing test and had sent the proper version to the mailing list.
Also, I have verified the patch using ./gcc/xgcc -B./gcc/ -fanalyzer -c /home/saish/gcc-repo/gcc/gcc/testsuite/gcc.dg/analyzer/strnlen-1.c and all the test cases have worked properly after proper debugging. All tests were passed with the expected outcomes and I am also working parallely for the GSoC proposal. Looking forward for your guidance on the Patch submitted. Yours sincerely Saish Kambali.
