Fix sync_print() bug in queue setup and unify all of the printing mechanisms
Show specifically which parameters are undocumented
Update test files
Reshuffle linter code into a proper python packageUpgrade clang linter:- Improved stability of clang library calls- clang linter can now check docstrings for correctness- Major improvements to d
Reshuffle linter code into a proper python packageUpgrade clang linter:- Improved stability of clang library calls- clang linter can now check docstrings for correctness- Major improvements to diff merging- Handle overlapping deletion by discarding one patch or the other, patches now supportcallbacks to remove themselves from the linter if discarded- Better duplicate and missing function argument detection- Improve printing and diagnostics for functions- Add checks for duplicate headers, non-lowercase levels, spacing between docstring andsymbol, indentation, title-cased headings, no content on comment begin and end lines- Add better checking for sowing identifier matching- Tests now can also output and diff:- stdout (useful for when tests should catch errors but can't fix them)- Fixed errors- Now able to apply multiline patches, and far more robust diff support- Add a lot more auto fixits- Add new SourceLocation and SourceRange wrappers- Major performance improvements in __lt__ and __ge__ from caching for SourceLocation and SourceRange- check that function has a custom fortran interface if it has a function pointer and charstring- Check that parameter lists start with the right character and- Source fixes now applied in chronological order, and test that patches can be applied as well- Improved parameter list alignment checker- Add support for additional notes types and unknown/unhandled sections- Allow disabling of diagnostics via '-fdiagnostic-name [yes/no/maybe-so]'- enum docstring checking and better parameter-list alignment enforcement- Check spacing in inline lists- Check for duplicates and self-references in seealso lists- Detect headers that are missing a colon, and detect headers that probably shouldn't be headers- Dheck that synopsis descriptions aren't overly long-winded- Handle inline code-block within parameter lists because snes.c is a nightmare- Check explicit synopses contain the right parameters- Added check to explicit macro docstrings on whether the symbol they claim to describeexists in the header- Improve diagnostic for matching argument idx- Show trace back to parent arguments if applicable- 10x performance improvements for SourceRange and SourceLocation- Be able to handle arbitrary number of nested function-pointer parameters as documentation- Rework initial loader, use lazy loading to improve startup timeUpdate dir-locals.el to reflect new 2 column indentation, and enforce no stars in comments
show more ...
linter patch files fixed for new format
analyzer fixes to sync with clang-format changeRef:svcpetsc@cg:/scratch/svcpetsc/glci-builds/LjS-jb-N/0/petsc/petsc$ make test-lint LINTER_OPTIONS="--PETSC_ARCH=${PETSC_ARCH} --clang_lib=`llvm-con
analyzer fixes to sync with clang-format changeRef:svcpetsc@cg:/scratch/svcpetsc/glci-builds/LjS-jb-N/0/petsc/petsc$ make test-lint LINTER_OPTIONS="--PETSC_ARCH=${PETSC_ARCH} --clang_lib=`llvm-config-14 --libdir`/libclang.so.1 --verbose --werror" REPLACE=1
Reformat with clang-format src/sys/tests/linter/*.c once and for all so that test-lint will run in the CIAlso run make test-lint REPLACE=1 to update output of testing of lint checking of PetscValid
Reformat with clang-format src/sys/tests/linter/*.c once and for all so that test-lint will run in the CIAlso run make test-lint REPLACE=1 to update output of testing of lint checking of PetscValid... and friendsNote: this is done seperately and before the massive reformatting of all the PETSc source code and includesCommit-type: housekeeping/spend 15m
fix clang linter PetscValidXXXPointer() detection and check mechanism. It previouslyfailed to recommend the appropriate specialized pointer checks in some cases, as wellrecommending the wrong one i
fix clang linter PetscValidXXXPointer() detection and check mechanism. It previouslyfailed to recommend the appropriate specialized pointer checks in some cases, as wellrecommending the wrong one in certain edge-cases.
Fix some spurious linter warnings and move certain headers to the private directory. AddedinternalPetscDisableStaticAnalyzerForExpressionUnderstandingThatThisIsDangerousAndBugprone() macroto disab
Fix some spurious linter warnings and move certain headers to the private directory. AddedinternalPetscDisableStaticAnalyzerForExpressionUnderstandingThatThisIsDangerousAndBugprone() macroto disable static analyzer for a single expression and a test for it. Improved the testinglogic slightly.
move petscrandom headers to include/petsc/private
Linter using libClang that checks PetscValidHeaderSpecifcType, PetscValidHeaderSpecific, PetscValidHeader, PetscValid[XXX]Pointer, PetscValidType, PetscCheckSameComm, PetscValidLogicalCollectiveXXX f
Linter using libClang that checks PetscValidHeaderSpecifcType, PetscValidHeaderSpecific, PetscValidHeader, PetscValid[XXX]Pointer, PetscValidType, PetscCheckSameComm, PetscValidLogicalCollectiveXXX for validity. Automatically generates diff files for problems with a known solution.
12