Skip to content

Fix false negative [<TailCall>] warning #18399

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

Merged
merged 4 commits into from
Mar 25, 2025
Merged

Fix false negative [<TailCall>] warning #18399

merged 4 commits into from
Mar 25, 2025

Conversation

dawedawe
Copy link
Contributor

@dawedawe dawedawe commented Mar 21, 2025

Description

Fix missing analysis for [<TailCall>] violations in TOp.IntegerForLoop expressions appearing as expr1 in Sequential expressions.
As a side effect, this improves the order of warnings, see adjusted test.

Fixes #18365

Checklist

  • Test cases added
  • Performance benchmarks added in case of performance changes
  • Release notes entry updated:

Copy link
Contributor

❗ Release notes required


✅ Found changes and release notes in following paths:

Change path Release notes path Description
src/Compiler docs/release-notes/.FSharp.Compiler.Service/9.0.300.md

@dawedawe dawedawe changed the title Fix 18365 Fix false negative [<TailCall>] warning Mar 21, 2025
@vzarytovskii
Copy link
Member

Sweet, thanks!

@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Mar 25, 2025
@T-Gro T-Gro merged commit 561a5eb into dotnet:main Mar 25, 2025
33 checks passed
T-Gro added a commit that referenced this pull request Mar 27, 2025
)

* Versioning for 17.14 and 9.0.300 (#18222)

* more code flow

* Update fantomas to 7.0.1 (#18400)

* Update fantomas

* Update fantomas - vsintegration

* Investigate.nuget (#18393)

* initial

* testing

* temp

* Fantomas, readme

* temp

* nowarn quotes for fantomas

* tests

* Update dependencies from https://github.com/dotnet/source-build-reference-packages build 20250320.3 (#18398)

Microsoft.SourceBuild.Intermediate.source-build-reference-packages
 From Version 9.0.0-alpha.1.25163.3 -> To Version 9.0.0-alpha.1.25170.3

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>

* Fantomas (#18404)

* Fix false negative [<TailCall>] warning (#18399)

* Update dependencies from https://github.com/dotnet/msbuild build 20250324.8 (#18405)

Microsoft.SourceBuild.Intermediate.msbuild , Microsoft.Build , Microsoft.Build.Framework , Microsoft.Build.Tasks.Core , Microsoft.Build.Utilities.Core
 From Version 17.13.21-preview-25169-06 -> To Version 17.13.22-preview-25174-08

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: Kevin Ransom (msft) <[email protected]>

* Fix GC test that is flaky on Linux (#18408)

* update runtime to 9.0.3 (#18406)

---------

Co-authored-by: Vlad Zarytovskii <[email protected]>
Co-authored-by: Petr <[email protected]>
Co-authored-by: Petr Pokorny <[email protected]>
Co-authored-by: Kevin Ransom (msft) <[email protected]>
Co-authored-by: Tomas Grosup <[email protected]>
Co-authored-by: Viktor Hofer <[email protected]>
Co-authored-by: dotnet-maestro[bot] <42748379+dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: dawe <[email protected]>
Co-authored-by: Jakub Majocha <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

False negative with TailCall attribute
5 participants