index
:
netbsd
lockcount-9.3
lockdoc-10.99.5
lockdoc-10.99.5-vfs
lockdoc-9.3
lockdoc-9.3-vfs
trunk
NetBSD fork for lockdoc analysis
merlin@scholz.ruhr
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
Age
Commit message (
Expand
)
Author
2023-07-09
lint: remove redundant '#' after 'argument' in diagnostics
HEAD
trunk
rillig
2023-07-08
clock_gettime(2): Fix CLOCK_PROCESS/THREAD_CPUTIME_ID.
riastradh
2023-07-08
lint: warn about pointer casts between different kinds of types
rillig
2023-07-08
t_timerfd: Sprinkle slightly more diagnostics.
riastradh
2023-07-08
lint: do not use portable type sizes in integer constraints
rillig
2023-07-08
t_clock_gettime: Add test for PR kern/57512.
riastradh
2023-07-08
lint: warn about conversion from 128-bit to smaller integer types
rillig
2023-07-08
tests/lint: demonstrate missing warning for converting int128_t
rillig
2023-07-08
tests/lint: fix a few ilp32 tests
rillig
2023-07-08
tests/lint: automate accepting changed test results
rillig
2023-07-08
tests/lint: only overwrite .exp files if the output actually changes
rillig
2023-07-07
lint: warn about function definitions without header declaration
rillig
2023-07-07
lint: only skip 'unused' warnings after errors, not other warnings
rillig
2023-07-07
tests/lint: test all combinations of {func,obj}_{decl,def}
rillig
2023-07-07
tests/lint: merge duplicate tests for C11 _Atomic
rillig
2023-07-06
t_sig_backtrace: Flush stdout before writing to STDOUT_FILENO.
riastradh
2023-07-06
tests/lint: ensure consistent preprocessor filenames in tests
rillig
2023-07-05
tests/libexec/ld.elf_so: Fix helper library makefiles.
riastradh
2023-07-05
t_posix_memalign: Simplify.
riastradh
2023-07-05
t_posix_memalign: Fix this to reflect restriction lifted in C17.
riastradh
2023-07-05
tests/lint: spell platform identifiers for 'long double' consistently
rillig
2023-07-05
tests/lint: add platform-specific tests for troublesome pointer casts
rillig
2023-07-04
t_posix_memalign: Expand test cases and properties.
riastradh
2023-07-03
lint: consistently use portable type size in integer constraints
rillig
2023-07-03
tests/lint: move platform-specific query tests to separate files
rillig
2023-07-03
tests/lint: clean up tests for C99 bool
rillig
2023-07-03
lint: fix C11 mode to not allow C23 features (since yesterday)
rillig
2023-07-03
lint: rename uppercase QUAD to LLONG
rillig
2023-07-02
tests/lint: add C23 tests
rillig
2023-07-02
lint: add initial support for C23
rillig
2023-07-02
lint: allow empty statements in GCC statement expressions
rillig
2023-07-02
tests/lint: demonstrate empty statement in GCC statement expression
rillig
2023-07-02
lint: rename 'quad' to 'signed int' or 'unsigned int'
rillig
2023-07-01
tests/lint: rework tests for type names
rillig
2023-07-01
lint: clean up typos
rillig
2023-07-01
lint: fix initialization of unnamed union member
rillig
2023-06-30
tests/lint: test initializing an unnamed union
rillig
2023-06-30
lint: clean up names related to declaration levels
rillig
2023-06-30
lint: fix handling of unnamed struct/union members
rillig
2023-06-30
lint: clean up handling of declarations
rillig
2023-06-30
tests/lint: extend tests for sizeof and alignof
rillig
2023-06-30
lint: fix computation of bit-field width
rillig
2023-06-30
lint: make alignof(incomplete enum) an error
rillig
2023-06-30
tests/lint: add more tests for sizeof, offsetof, alignof
rillig
2023-06-30
lint: add query for assigning an integer 0 to a pointer
rillig
2023-06-30
tests/lint: extend test for sizeof and offsetof
rillig
2023-06-30
tests/lint: demonstrate bugs in anonymous struct/union handling
rillig
2023-06-28
tests/lint: demonstrate wrong size calculation in anonymous union
rillig
2023-06-28
tests/lint: do not overwrite expected files that only differ in spaces
rillig
2023-06-28
tests/lint: fix preprocessor line number validation
rillig
[next]