diff options
| author | Björn Gustavsson <[email protected]> | 2017-09-08 10:05:41 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-09-08 10:05:41 +0200 |
| commit | a8e085c0aafcb52b9eed11b0a81fd69ac7801689 (patch) | |
| tree | ac6886cc19e145ba9b878d3850df43e682e55ab6 /lib/stdlib/src | |
| parent | 819839feb89fd7510440a242c08e5d3210ad4832 (diff) | |
| parent | c00141b1e368bc41d9628fddbc01a6553ca14479 (diff) | |
| download | otp-a8e085c0aafcb52b9eed11b0a81fd69ac7801689.tar.gz otp-a8e085c0aafcb52b9eed11b0a81fd69ac7801689.tar.bz2 otp-a8e085c0aafcb52b9eed11b0a81fd69ac7801689.zip | |
Merge pull request #1561 from bjorng/bjorn/stdlib/false-warning/ERL-478/OTP-14600
Eliminate incorrect get_stacktrace/0 warning
Diffstat (limited to 'lib/stdlib/src')
| -rw-r--r-- | lib/stdlib/src/erl_lint.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/stdlib/src/erl_lint.erl b/lib/stdlib/src/erl_lint.erl index 65ba343368..9cd4727dc3 100644 --- a/lib/stdlib/src/erl_lint.erl +++ b/lib/stdlib/src/erl_lint.erl @@ -3238,13 +3238,13 @@ icrt_clauses(Cs, In, Vt, St0) -> icrt_clauses(Cs, Vt, St) -> mapfoldl(fun (C, St0) -> icrt_clause(C, Vt, St0) end, St, Cs). -icrt_clause({clause,_Line,H,G,B}, Vt0, St0) -> +icrt_clause({clause,_Line,H,G,B}, Vt0, #lint{catch_scope=Scope}=St0) -> {Hvt,Binvt,St1} = head(H, Vt0, St0), Vt1 = vtupdate(Hvt, Binvt), {Gvt,St2} = guard(G, vtupdate(Vt1, Vt0), St1), Vt2 = vtupdate(Gvt, Vt1), {Bvt,St3} = exprs(B, vtupdate(Vt2, Vt0), St2), - {vtupdate(Bvt, Vt2),St3}. + {vtupdate(Bvt, Vt2),St3#lint{catch_scope=Scope}}. icrt_export(Vts, Vt, {Tag,Attrs}, St) -> {_File,Loc} = loc(Attrs, St), |