diff options
| author | Sai Praveen Bangaru <31557731+saipraveenb25@users.noreply.github.com> | 2023-09-26 20:50:13 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-26 17:50:13 -0700 |
| commit | c5c8cfbb360d9a763f549df48636effde839eacd (patch) | |
| tree | 6b055d36e71749d70ace575fc180a23500331b00 /github_test.sh | |
| parent | a18dca27392b257ba2cc58ceabdf15471f34ee25 (diff) | |
Handle the case where the parent if-else region's after-block is unreachable. (#3241)
Also added a test for this.
Co-authored-by: Yong He <yonghe@outlook.com>
Diffstat (limited to 'github_test.sh')
0 files changed, 0 insertions, 0 deletions