Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[clang][dataflow] In tests, error out if we didn't find any matching target functions. #66197

Merged
merged 1 commit into from
Sep 14, 2023

Conversation

martinboehme
Copy link
Contributor

Before, we were silently letting the test pass, which masks test bugs; for an
example, see #66195.

@llvmbot llvmbot added clang Clang issues not falling into any other category clang:dataflow Clang Dataflow Analysis framework - https://clang.llvm.org/docs/DataFlowAnalysisIntro.html labels Sep 13, 2023
…target functions.

Before, we were silently letting the test pass, which masks test bugs; for an
example, see llvm#66195.
@martinboehme martinboehme marked this pull request as ready for review September 13, 2023 13:12
@martinboehme martinboehme requested a review from a team as a code owner September 13, 2023 13:12
@martinboehme martinboehme merged commit 967604a into llvm:main Sep 14, 2023
2 checks passed
kstoimenov pushed a commit to kstoimenov/llvm-project that referenced this pull request Sep 14, 2023
…target functions. (llvm#66197)

Before, we were silently letting the test pass, which masks test bugs;
for an
example, see llvm#66195.
copybara-service bot pushed a commit to google/crubit that referenced this pull request Sep 18, 2023
Before, it was using `targetNullable()` and `targetNonnull()` as function names,
but we only analyze functions called `target()`.

Framework change [#66197](llvm/llvm-project#66197) fixes
this so that we error out if there is no function called `target()`.

This patch renames the functions to `target()` and additionally splits the test
apart so there is only one call to `checkDiagnostics()` in each test (which
makes it easier to understand what is going on if a test fails).

Unfortunately, it turns out that we've regressed on two lines in
`ParenTypeInTemplate3` while the test was not testing anything.

PiperOrigin-RevId: 566268964
Change-Id: Ifac39e5c157f378740430bd18bbb02f0e51f0cb5
ZijunZhaoCCK pushed a commit to ZijunZhaoCCK/llvm-project that referenced this pull request Sep 19, 2023
…target functions. (llvm#66197)

Before, we were silently letting the test pass, which masks test bugs;
for an
example, see llvm#66195.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
clang:dataflow Clang Dataflow Analysis framework - https://clang.llvm.org/docs/DataFlowAnalysisIntro.html clang Clang issues not falling into any other category
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants