Skip to content

C#: Include parameters and their defaults in the CFG#21759

Draft
hvitved wants to merge 7 commits intogithub:mainfrom
hvitved:csharp/cfg-params
Draft

C#: Include parameters and their defaults in the CFG#21759
hvitved wants to merge 7 commits intogithub:mainfrom
hvitved:csharp/cfg-params

Conversation

@hvitved
Copy link
Copy Markdown
Contributor

@hvitved hvitved commented Apr 27, 2026

No description provided.

@hvitved hvitved force-pushed the csharp/cfg-params branch 7 times, most recently from 50bff30 to 764c65c Compare April 28, 2026 08:33
@hvitved hvitved force-pushed the csharp/cfg-params branch from 764c65c to f09d4e5 Compare April 28, 2026 09:55
}

private predicate isNullDefaultArgument(Ssa::ImplicitParameterDefinition def, AlwaysNullExpr arg) {
private predicate isNullDefaultArgument(Ssa::ParameterDefinition def, AlwaysNullExpr arg) {
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants