summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2018-02-18 18:53:55 +0800
committerJohn Hodge <tpg@mutabah.net>2018-02-18 18:53:55 +0800
commit99ae4eb88c2861c74a8a3ab6da53b505024cf2c6 (patch)
treedee6dfa6e5a2d0d49e7e4f824987699348a4c8af /src
parent4539eed0e165b3a6ca9a9e6b935e13a2b680e735 (diff)
downloadmrust-99ae4eb88c2861c74a8a3ab6da53b505024cf2c6.tar.gz
Standalone MIRI - Implement BinOp comparisons and Terminator::If
Diffstat (limited to 'src')
-rw-r--r--src/mir/mir.hpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/mir/mir.hpp b/src/mir/mir.hpp
index d4b797ea..31eb9cd7 100644
--- a/src/mir/mir.hpp
+++ b/src/mir/mir.hpp
@@ -228,8 +228,8 @@ TAGGED_UNION(Terminator, Incomplete,
(Panic, struct { BasicBlockId dst; }), // ?
(If, struct {
LValue cond;
- BasicBlockId bb0;
- BasicBlockId bb1;
+ BasicBlockId bb0; // true
+ BasicBlockId bb1; // false
}),
(Switch, struct {
LValue val;