github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-07-10 04:24:43 +03:00
Code Issues Packages Projects Releases Wiki Activity

ng_width: turn min width check into assert

Browse Source
This commit is contained in:
Justin Viiret 2018-01-16 14:56:04 +11:00 committed by Chang, Harry
parent 6f81516bce
commit cadc7028b1
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/nfagraph/ng_width.cpp
View File

@ -176,11 +176,7 @@ depth findMaxWidth(const NGHolder &h, const SpecialEdgeFilter &filter,
}
if (d.is_unreachable()) {
// If we're actually reachable, we'll have a min width, so we can
// return infinity in this case.
if (findMinWidth(h, filter, src).is_reachable()) {
return depth::infinity();
}
assert(findMinWidth(h, filter, src).is_unreachable());
return d;
}