Fix line breakpoints for `return` statements without a value by SeeminglyScience · Pull Request #17179 · PowerShell/PowerShell

Patrick Meinecke (SeeminglyScience) · 2022-04-22T19:11:35Z

PR Summary

Adds an explicit call to UpdatePosition when a return statement does not include a pipeline.

Codegen before change:

// Generated with:
// { return } | Get-ScriptBlockDisassembly -IgnoreStartupAndTeardown
// ScriptBlock.EndBlock
funcContext._currentSequencePointIndex = 0;
try
{
    return ;
}
catch (FlowControlException)
{
    throw;
}
catch (Exception exception)
{
    ExceptionHandlingOps.CheckActionPreference(funcContext, exception);
}
funcContext._currentSequencePointIndex = 1;

if (context._debuggingMode > 0)
{
    context._debugger.OnSequencePointHit(funcContext);
}

Codegen after change:

// Generated with:
// { return } | Get-ScriptBlockDisassembly -IgnoreStartupAndTeardown
// ScriptBlock.EndBlock
funcContext._currentSequencePointIndex = 0;
try
{
    funcContext._currentSequencePointIndex = 1;

    if (context._debuggingMode > 0)
    {
        context._debugger.OnSequencePointHit(funcContext);
    }
    return ;
}
catch (FlowControlException)
{
    throw;
}
catch (Exception exception)
{
    ExceptionHandlingOps.CheckActionPreference(funcContext, exception);
}
funcContext._currentSequencePointIndex = 2;

if (context._debuggingMode > 0)
{
    context._debugger.OnSequencePointHit(funcContext);
}

Trap compilation (click to expand)

Turns out there wasn't an easy way to view disassembly of a trap with ScriptBlockDisassembler. So that took a minute to figure out how to do easily:

Code to generate (click to expand)

#requires -Modules ImpliedReflection, ScriptBlockDisassembler

Enable-ImpliedReflection -YesIKnowIShouldNotDoThis

$sb = {
    trap { return }
    throw
}

$trap = $sb.Ast.EndBlock.Traps[0]
$main = [System.Management.Automation.Language.Compiler]::new()
$main.Compile($sb.ScriptBlockData, $true)
$secondary = [System.Management.Automation.Language.Compiler]::new(
    $main._sequencePoints,
    $main._sequencePointIndexMap)

$secondary._compilingTrap = $true
$funcName = $main._currentFunctionName + '<trap>'
if ($null -ne $trap.TrapType) {
    $funcName += '<' + $trap.TrapType.TypeName.Name + '>'
}

$tuple = [Management.Automation.Language.VariableAnalysis]::AnalyzeTrap($trap)
$secondary.LocalVariablesTupleType = $tuple.Item1
$secondary.LocalVariablesParameter = [Linq.Expressions.Expression]::Variable(
    $secondary.LocalVariablesTupleType,
    'locals')

$lambda = $secondary.CompileSingleLambda(
    $trap.Body.Statements,
    $trap.Body.Traps,
    $funcName,
    <# entryExtent: #> $null,
    <# exitExtent: #> $null,
    <# rootForDefiningTypesAndUsings: #> $null)

$lambda | Format-ExpressionTree | bat -l cs

Codegen before:

(FunctionContext funcContext) =>
{
    try
    {
        ExecutionContext context = funcContext._executionContext;
        MutableTuple<object, object[], object, object, PSScriptCmdlet, PSBoundParametersDictionary, InvocationInfo, string, string, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null> locals = (MutableTuple<object, object[], object, object, PSScriptCmdlet, PSBoundParametersDictionary, InvocationInfo, string, string, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null>)funcContext._localsTuple;
        funcContext._functionName = "<ScriptBlock><trap>";
        context._debugger.EnterScriptFunction(funcContext);
        try
        {
            throw new ReturnException(AutomationNull.Value);
        }
        catch (FlowControlException)
        {
            throw;
        }
        catch (Exception exception)
        {
            ExceptionHandlingOps.CheckActionPreference(funcContext, exception);
        }
    }
    finally
    {
        context._debugger.ExitScriptFunction();
    }
}

Codegen after:

(FunctionContext funcContext) =>
{
    try
    {
        ExecutionContext context = funcContext._executionContext;
        MutableTuple<object, object[], object, object, PSScriptCmdlet, PSBoundParametersDictionary, InvocationInfo, string, string, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null> locals = (MutableTuple<object, object[], object, object, PSScriptCmdlet, PSBoundParametersDictionary, InvocationInfo, string, string, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null, LanguagePrimitives.Null>)funcContext._localsTuple;
        funcContext._functionName = "<ScriptBlock><trap>";
        context._debugger.EnterScriptFunction(funcContext);
        try
        {
            funcContext._currentSequencePointIndex = 1;

            if (context._debuggingMode > 0)
            {
                context._debugger.OnSequencePointHit(funcContext);
            }
            throw new ReturnException(AutomationNull.Value);
        }
        catch (FlowControlException)
        {
            throw;
        }
        catch (Exception exception)
        {
            ExceptionHandlingOps.CheckActionPreference(funcContext, exception);
        }
    }
    finally
    {
        context._debugger.ExitScriptFunction();
    }
}

PR Context

PR Checklist

Fixes PowerShell#17081 Adds an explicit call to UpdatePosition when a return statement does not include a pipeline.

Dongbo Wang (daxian-dbw)

LGTM with a comment

Dongbo Wang (daxian-dbw) · 2022-04-28T18:39:55Z

+'@
+            $return_script_2 = @'
+return 10
+'@


Can you please add one more test case to cover return statement in a trap block?

Done! Also added disassembly for traps in the description.

Probably should have waited for the tests to pass before saying that. Looking into the failure

Okay it really does hit twice. Apparently when a trap is present that hits a breakpoint when it's registered. So even with this:

'something' trap { 'something else' return 'testing' } throw

If you put a breakpoint on every line and run it, line 4 hits a breakpoint first, then line 1, then 8, then 5. That seems like a bug but for another time. I've added another line before the return in the trap test so that doesn't interfere with the result.

Thanks for the additional fix. Will take a look today.

pull-request-quantifier-deprecated · 2022-04-29T16:43:43Z

This PR has 35 quantified lines of changes. In general, a change size of upto 200 lines is ideal for the best PR experience!

Quantification details

Label      : Extra Small
Size       : +34 -1
Percentile : 14%

Total files changed: 2

Change summary by file extension:
.cs : +3 -1
.ps1 : +31 -0

Change counts above are quantified counts, based on the PullRequestQuantifier customizations.

Why proper sizing of changes matters

Optimal pull request sizes drive a better predictable PR flow as they strike a
balance between between PR complexity and PR review overhead. PRs within the
optimal size (typical small, or medium sized PRs) mean:

Fast and predictable releases to production:
- Optimal size changes are more likely to be reviewed faster with fewer
  iterations.
- Similarity in low PR complexity drives similar review times.
Review quality is likely higher as complexity is lower:
- Bugs are more likely to be detected.
- Code inconsistencies are more likely to be detetcted.
Knowledge sharing is improved within the participants:
- Small portions can be assimilated better.
Better engineering practices are exercised:
- Solving big problems by dividing them in well contained, smaller problems.
- Exercising separation of concerns within the code changes.

What can I do to optimize my changes

Use the PullRequestQuantifier to quantify your PR accurately
- Create a context profile for your repo using the context generator
- Exclude files that are not necessary to be reviewed or do not increase the review complexity. Example: Autogenerated code, docs, project IDE setting files, binaries, etc. Check out the Excluded section from your prquantifier.yaml context profile.
- Understand your typical change complexity, drive towards the desired complexity by adjusting the label mapping in your prquantifier.yaml context profile.
- Only use the labels that matter to you, see context specification to customize your prquantifier.yaml context profile.
Change your engineering behaviors
- For PRs that fall outside of the desired spectrum, review the details and check if:
  - Your PR could be split in smaller, self-contained PRs instead
  - Your PR only solves one particular issue. (For example, don't refactor and code new features in the same PR).

How to interpret the change counts in git diff output

One line was added: +1 -0
One line was deleted: +0 -1
One line was modified: +1 -1 (git diff doesn't know about modified, it will
interpret that line like one addition plus one deletion)
Change percentiles: Change characteristics (addition, deletion, modification)
of this PR in relation to all other PRs within the repository.

Was this comment helpful? 👍 :ok_hand: :thumbsdown: (Email)
Customize PullRequestQuantifier for this repository.

Deleted user (ghost) · 2022-05-23T16:22:05Z

🎉v7.3.0-preview.4 has been released which incorporates this pull request.:tada:

Handy links:

Release Notes

…ell#17179)

Ensure UpdatePosition is called for return

5fb41db

Fixes PowerShell#17081 Adds an explicit call to UpdatePosition when a return statement does not include a pipeline.

Patrick Meinecke (SeeminglyScience) requested a review from Dongbo Wang (daxian-dbw) as a code owner April 22, 2022 19:11

pull-request-quantifier-deprecated Bot added the Extra Small label Apr 22, 2022

ghost assigned Travis Plunk (TravisEz13) Apr 22, 2022

Fix return statement test variable names

4941794

Dongbo Wang (daxian-dbw) reviewed Apr 28, 2022

View reviewed changes

Patrick Meinecke (SeeminglyScience) added 2 commits April 29, 2022 11:56

Add test for return in a trap

7b40bb2

Fix trap return bp test

65d6cf6

Dongbo Wang (daxian-dbw) approved these changes May 4, 2022

View reviewed changes

Dongbo Wang (daxian-dbw) merged commit 99f3bb7 into PowerShell:master May 4, 2022

Patrick Meinecke (SeeminglyScience) deleted the SeeminglyScience/issue17081 branch May 4, 2022 20:54

ghost mentioned this pull request May 23, 2022

Breakpoint set on return doesn't work properly #17081

Closed

5 tasks

Thatgfsj (Thatgfsj) pushed a commit to Thatgfsj/PowerShell that referenced this pull request Aug 6, 2026

Fix line breakpoints for return statements without a value (PowerSh…

05b6b2d

…ell#17179)

Navigation Menu

Uh oh!

Fix line breakpoints for `return` statements without a value - #17179

Fix line breakpoints for `return` statements without a value#17179
Dongbo Wang (daxian-dbw) merged 4 commits into
PowerShell:masterfrom
SeeminglyScience:SeeminglyScience/issue17081

Patrick Meinecke (SeeminglyScience) commented Apr 22, 2022 •

edited

Loading

Uh oh!

Dongbo Wang (daxian-dbw) left a comment

Uh oh!

Dongbo Wang (daxian-dbw) Apr 28, 2022

Uh oh!

Patrick Meinecke (SeeminglyScience) Apr 29, 2022

Uh oh!

Patrick Meinecke (SeeminglyScience) Apr 29, 2022

Uh oh!

Patrick Meinecke (SeeminglyScience) Apr 29, 2022

Uh oh!

Dongbo Wang (daxian-dbw) May 2, 2022

Uh oh!

pull-request-quantifier-deprecated Bot commented Apr 29, 2022

What can I do to optimize my changes

How to interpret the change counts in git diff output

Uh oh!

Deleted user (ghost) commented May 23, 2022

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Uh oh!

Conversation

Patrick Meinecke (SeeminglyScience) commented Apr 22, 2022 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

PR Summary

Trap compilation (click to expand)

Code to generate (click to expand)

Codegen before:

Codegen after:

PR Context

PR Checklist

Uh oh!

Dongbo Wang (daxian-dbw) left a comment

Choose a reason for hiding this comment

Uh oh!

Dongbo Wang (daxian-dbw) Apr 28, 2022

Choose a reason for hiding this comment

Uh oh!

Patrick Meinecke (SeeminglyScience) Apr 29, 2022

Choose a reason for hiding this comment

Uh oh!

Patrick Meinecke (SeeminglyScience) Apr 29, 2022

Choose a reason for hiding this comment

Uh oh!

Patrick Meinecke (SeeminglyScience) Apr 29, 2022

Choose a reason for hiding this comment

Uh oh!

Dongbo Wang (daxian-dbw) May 2, 2022

Choose a reason for hiding this comment

Uh oh!

pull-request-quantifier-deprecated Bot commented Apr 29, 2022

What can I do to optimize my changes

How to interpret the change counts in git diff output

Uh oh!

Deleted user (ghost) commented May 23, 2022

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Patrick Meinecke (SeeminglyScience) commented Apr 22, 2022 •

edited

Loading