Merge branch 'jacobf/2021-10-11/clang-linter-parse-docstrings' into 'main'

Feature: Lint Sowing Docstrings

See merge request petsc/petsc!4443

Reshuffle linter code into a proper python package

Upgrade 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 package

Upgrade 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 support
callbacks 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 and
symbol, 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 char
string
- 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 describe
exists 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 time

Update dir-locals.el to reflect new 2 column indentation, and enforce no stars in comments

show more ...

Merge branch 'jacobf/2022-09-21/2-bike-2-shed' into 'main'

Feature: Bicycle Storage Facility 2

See merge request petsc/petsc!5661

source code format changes due to .clang-format changes

Merge branch 'barry/2022-08-21/clang-format-source' into 'main'

format repository with clang-format

See merge request petsc/petsc!5541

clang-format: convert PETSc sources to comply with clang-format

Merge branch 'barry/2022-07-20/add-clang-format' into 'main'

Use clang-format to format PETSc source code

See merge request petsc/petsc!5455

Reformat with clang-format src/sys/tests/linter/*.c once and for all so that test-lint will run in the CI

Also 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 CI

Also run make test-lint REPLACE=1 to update output of testing of lint checking of PetscValid... and friends

Note: this is done seperately and before the massive reformatting of all the PETSc source code and includes

Commit-type: housekeeping
/spend 15m

show more ...

Merge branch 'jacobf/2021-03-26/clang-static-linter' into 'main'

Feature: libClang PETSc Macro Static Analyzer

See merge request petsc/petsc!3773

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.

show more ...