diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2019-10-29 17:19:58 -0700 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2019-11-15 10:33:32 -0800 |
| commit | 973b16ab4b2d044f777616f59a2d33fbbbc0fe49 (patch) | |
| tree | fd976d4b585d47e17bf5482c7b9b21d1fc754cd7 /src/libstd/sys/unix/stack_overflow.rs | |
| parent | 48811048f853128ad87bc62bb611ecb73522be41 (diff) | |
| download | rust-973b16ab4b2d044f777616f59a2d33fbbbc0fe49.tar.gz rust-973b16ab4b2d044f777616f59a2d33fbbbc0fe49.zip | |
Enable standalone const-checking with `Validator`
Unlike the original pass, we check *every* non-cleanup basic block instead of stopping at `SwitchInt`. We use the `is_cfg_cyclic` function to check for loops unlike the original checker which could not differentiate between true cycles and basic blocks with more than two predecessors. The last three functions are all copied verbatim from `qualify_consts`.
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions