refactor: update precondition based on the pointer arithmetic

JohelEGP · JohelEGP · commit baa21857f0cc · 2023-07-07T11:56:35.000-04:00
diff --git a/source/cppfront.cpp b/source/cppfront.cpp
@@ -1852,7 +1852,7 @@ class cppfront
     auto is_dependent(const qualified_id_node& n, bool exclude_last = false)
         -> bool
     {
-        assert(n.ids.size() > 0);
+        assert(n.ids.size() > int{exclude_last});
         return is_dependent(*n.ids[0].id, true, true)
                || std::any_of(n.ids.begin() + 1, n.ids.end() - int{exclude_last}, [&](auto& id) {
                       return is_dependent(*id.id, true, false);

Original file line number	Diff line number	Diff line change
`@@ -1852,7 +1852,7 @@ class cppfront`
`1852`	`1852`	`auto is_dependent(const qualified_id_node& n, bool exclude_last = false)`
`1853`	`1853`	`-> bool`
`1854`	`1854`	`{`
`1855`		`- assert(n.ids.size() > 0);`
	`1855`	`+ assert(n.ids.size() > int{exclude_last});`
`1856`	`1856`	`return is_dependent(*n.ids[0].id, true, true)`
`1857`	`1857`	`\|\| std::any_of(n.ids.begin() + 1, n.ids.end() - int{exclude_last}, [&](auto& id) {`
`1858`	`1858`	`return is_dependent(*id.id, true, false);`