On 7/1/20 8:15 AM, Markus Elfring wrote: >>> Would you like to integrate any more details from the running patch review? >> >> I am satisfied with the current patch. > > I got an other software development impression. > > >> No doubt that any documentation can be improved, almost ad infinitum, >> but I'm not trying to do that. > > Do we stumble on a target conflict according to a specific technical detail? > > How do you think about to compare source code analysis results > from programs like “sparse” and “spatch” (by the mentioned make command)? None of that has anything to do with the current patch. Julia, do you have any comments about the current patch? (v2) thanks. -- ~Randy