Skip to content

Fix false negative [<TailCall>] warning - #18399

Merged
T-Gro merged 4 commits into
dotnet:mainfrom
dawedawe:fix_18365
Mar 25, 2025
Merged

Fix false negative [<TailCall>] warning#18399
T-Gro merged 4 commits into
dotnet:mainfrom
dawedawe:fix_18365

Conversation

@dawedawe

@dawedawedawedawe commented Mar 21, 2025

Copy link
Copy Markdown
Contributor

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:

@github-actions

Copy link
Copy Markdown
Contributor

❗ Release notes required


✅ Found changes and release notes in following paths:

Change pathRelease notes pathDescription
src/Compilerdocs/release-notes/.FSharp.Compiler.Service/9.0.300.md

@dawedawedawedawe changed the title Fix 18365Fix false negative [<TailCall>] warningMar 21, 2025
@vzarytovskii

Copy link
Copy Markdown
Member

Sweet, thanks!

Comment threadsrc/Compiler/Checking/TailCallChecks.fs
@github-project-automationgithub-project-automationBot moved this from New to In Progress in F# Compiler and ToolingMar 25, 2025
@T-Gro
T-Gro merged commit 561a5eb into dotnet:mainMar 25, 2025
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) <codecutter@hotmail.com>
* Fix GC test that is flaky on Linux (#18408)
* update runtime to 9.0.3 (#18406)
---------
Co-authored-by: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Co-authored-by: Petr <psfinaki@users.noreply.github.com>
Co-authored-by: Petr Pokorny <petrpokorny@microsoft.com>
Co-authored-by: Kevin Ransom (msft) <codecutter@hotmail.com>
Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>
Co-authored-by: Viktor Hofer <viktor.hofer@microsoft.com>
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 <dawedawe@posteo.de>
Co-authored-by: Jakub Majocha <1760221+majocha@users.noreply.github.com>
Sign up for freeto 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

@dawedawe@vzarytovskii@brianrourkeboll@T-Gro@KevinRansom