Merge branch 'user/khorton/const_correct' of https://github.com/keith-horton/ebpf-verifier into user/khorton/const_correct

keith-horton · keith-horton · commit fe4765a43cd2 · 2024-10-24T10:20:26.000-07:00
diff --git a/src/crab/interval.hpp b/src/crab/interval.hpp
@@ -175,8 +175,8 @@ class interval_t final {
         } else if (x.is_bottom()) {
             return *this;
         } else {
-            const auto lb = x._lb < _lb ? ts.get_prev(x._lb) : _lb;
-            const auto ub = _ub < x._ub ? ts.get_next(x._ub) : _ub;
+            const bound_t lb = x._lb < _lb ? ts.get_prev(x._lb) : _lb;
+            const bound_t ub = _ub < x._ub ? ts.get_next(x._ub) : _ub;
             return interval_t{lb, ub};
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -175,8 +175,8 @@ class interval_t final {`
`175`	`175`	`} else if (x.is_bottom()) {`
`176`	`176`	`return *this;`
`177`	`177`	`} else {`
`178`		`- const auto lb = x._lb < _lb ? ts.get_prev(x._lb) : _lb;`
`179`		`- const auto ub = _ub < x._ub ? ts.get_next(x._ub) : _ub;`
	`178`	`+ const bound_t lb = x._lb < _lb ? ts.get_prev(x._lb) : _lb;`
	`179`	`+ const bound_t ub = _ub < x._ub ? ts.get_next(x._ub) : _ub;`
`180`	`180`	`return interval_t{lb, ub};`
`181`	`181`	`}`
`182`	`182`	`}`