diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2024-01-07 14:41:31 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2024-01-07 14:41:31 +0100 |
| commit | 1cf3d98cf171fa27944750daba5e80e17cb8e9d0 (patch) | |
| tree | c5230ccc96ede1bde0ed69300d4a136f13c052bd | |
| parent | 04558f85973cea64651638e4e5d4e547b3bf421d (diff) | |
| parent | 5ec6e21b35d4d9fcd4071e77ed60607c21bfcc4a (diff) | |
| download | sparse-1cf3d98cf171fa27944750daba5e80e17cb8e9d0.tar.gz | |
Merge branches 'doc' and 'stray-t'
* make doc generation OK again on readthedocs
* suppress a warning in the testsuite
| -rw-r--r-- | validation/linear/call-inline.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/validation/linear/call-inline.c b/validation/linear/call-inline.c index 1ad785ee..0281e2d7 100644 --- a/validation/linear/call-inline.c +++ b/validation/linear/call-inline.c @@ -13,6 +13,6 @@ int i3(void) { return (***fun)(); } // C99,C11 6.5.3.2p4 * * check-output-ignore * check-output-excludes: load - * check-output-excludes: \\tcall + * check-output-excludes: ^.call * check-output-pattern(5): ret\\..* \\$42 */ |