Skip to content

Fix global handling in type state analysis - #651

Merged
fabianbs96 merged 11 commits into
developmentfrom
f-FixTSAGlobalHandling
Nov 17, 2023
Merged

Fix global handling in type state analysis#651
fabianbs96 merged 11 commits into
developmentfrom
f-FixTSAGlobalHandling

Conversation

@MMory

@MMory MMory commented Aug 2, 2023

Copy link
Copy Markdown
Member

TODO: write a unit test that captures the fixed behaviour

@MMory
MMory requested a review from fabianbs96 as a code owner August 2, 2023 13:06
@MMory
MMory marked this pull request as draft August 2, 2023 13:06
@fabianbs96
fabianbs96 marked this pull request as ready for review August 2, 2023 18:59
@fabianbs96
fabianbs96 marked this pull request as draft August 2, 2023 18:59
@MMory
MMory marked this pull request as ready for review November 15, 2023 16:36
Comment thread lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETypeStateAnalysis.cpp Outdated
@MMory MMory changed the title fix global handling in type state analysis Fix global handling in type state analysis Nov 17, 2023

@fabianbs96 fabianbs96 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm, thanks!

@fabianbs96
fabianbs96 merged commit 659cb8d into development Nov 17, 2023
@fabianbs96
fabianbs96 deleted the f-FixTSAGlobalHandling branch November 17, 2023 17:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants