Commit 27a7a4d
committed
Use abort() instead of assert(false) for things that should never happen
assert() is compiled out for release builds, but we don't want to
continue running in these impossible situations.
This also resolves the "implicit fallthrough" warnings for the asserts
in switch cases.1 parent 035ee86 commit 27a7a4d
File tree
22 files changed
+44
-44
lines changed- src/nvim
- eval
- lua
- os
- tui
- viml/parser
- test/symbolic/klee/nvim
22 files changed
+44
-44
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3270 | 3270 | | |
3271 | 3271 | | |
3272 | 3272 | | |
3273 | | - | |
| 3273 | + | |
3274 | 3274 | | |
3275 | 3275 | | |
3276 | 3276 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1747 | 1747 | | |
1748 | 1748 | | |
1749 | 1749 | | |
1750 | | - | |
| 1750 | + | |
1751 | 1751 | | |
1752 | 1752 | | |
1753 | 1753 | | |
| |||
1788 | 1788 | | |
1789 | 1789 | | |
1790 | 1790 | | |
1791 | | - | |
| 1791 | + | |
1792 | 1792 | | |
1793 | 1793 | | |
1794 | 1794 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
365 | 365 | | |
366 | 366 | | |
367 | 367 | | |
368 | | - | |
| 368 | + | |
369 | 369 | | |
370 | 370 | | |
371 | 371 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
147 | 147 | | |
148 | 148 | | |
149 | 149 | | |
150 | | - | |
| 150 | + | |
151 | 151 | | |
152 | 152 | | |
153 | 153 | | |
| |||
480 | 480 | | |
481 | 481 | | |
482 | 482 | | |
483 | | - | |
| 483 | + | |
484 | 484 | | |
485 | 485 | | |
486 | 486 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
174 | 174 | | |
175 | 175 | | |
176 | 176 | | |
177 | | - | |
| 177 | + | |
178 | 178 | | |
179 | 179 | | |
180 | 180 | | |
| |||
237 | 237 | | |
238 | 238 | | |
239 | 239 | | |
240 | | - | |
| 240 | + | |
241 | 241 | | |
242 | 242 | | |
243 | 243 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
118 | 118 | | |
119 | 119 | | |
120 | 120 | | |
121 | | - | |
| 121 | + | |
122 | 122 | | |
123 | 123 | | |
124 | 124 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3307 | 3307 | | |
3308 | 3308 | | |
3309 | 3309 | | |
3310 | | - | |
| 3310 | + | |
3311 | 3311 | | |
3312 | 3312 | | |
3313 | 3313 | | |
| |||
4360 | 4360 | | |
4361 | 4361 | | |
4362 | 4362 | | |
4363 | | - | |
| 4363 | + | |
4364 | 4364 | | |
4365 | 4365 | | |
4366 | 4366 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2521 | 2521 | | |
2522 | 2522 | | |
2523 | 2523 | | |
2524 | | - | |
| 2524 | + | |
2525 | 2525 | | |
2526 | 2526 | | |
2527 | 2527 | | |
| |||
2693 | 2693 | | |
2694 | 2694 | | |
2695 | 2695 | | |
2696 | | - | |
| 2696 | + | |
2697 | 2697 | | |
2698 | 2698 | | |
2699 | 2699 | | |
| |||
2746 | 2746 | | |
2747 | 2747 | | |
2748 | 2748 | | |
2749 | | - | |
| 2749 | + | |
2750 | 2750 | | |
2751 | 2751 | | |
2752 | 2752 | | |
| |||
2791 | 2791 | | |
2792 | 2792 | | |
2793 | 2793 | | |
2794 | | - | |
| 2794 | + | |
2795 | 2795 | | |
2796 | 2796 | | |
2797 | 2797 | | |
| |||
2836 | 2836 | | |
2837 | 2837 | | |
2838 | 2838 | | |
2839 | | - | |
| 2839 | + | |
2840 | 2840 | | |
2841 | 2841 | | |
2842 | 2842 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
7591 | 7591 | | |
7592 | 7592 | | |
7593 | 7593 | | |
7594 | | - | |
| 7594 | + | |
7595 | 7595 | | |
7596 | 7596 | | |
7597 | 7597 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
6383 | 6383 | | |
6384 | 6384 | | |
6385 | 6385 | | |
6386 | | - | |
| 6386 | + | |
6387 | 6387 | | |
6388 | 6388 | | |
6389 | 6389 | | |
| |||
0 commit comments