[PATCH] D79432: [analyzer] StdLibraryFunctionsChecker: Add summaries for libc
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed May 6 01:34:56 PDT 2020
xazax.hun added a comment.
I think testing summaries this way can be really hard to manage in the future.
I see two possible ways forward to make this easier:
a) Make something like https://reviews.llvm.org/D78118 that will also dump the actual summary in a textual form, not only the fact that a summary was loaded and check for that textual form.
b) Make a small helper library for testing summaries. E.g., most of the buffer handling functions have similar summaries, so we could have only a couple of functions for testing buffer related summaries and we could just pass in function pointers (as templates or params) instead of duplicating code. Similarly, testing output ranges could be generalized.
I think b) might be a bit better solution.
Although I do see why some people like to keep tests simple without additional layers of abstractions, so I do not insist :)
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D79432/new/
https://reviews.llvm.org/D79432
More information about the cfe-commits
mailing list