admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use Container::contains() where appropriate

Browse Source
This commit is contained in:
Ivan Krysak
2023-07-01 13:54:58 +02:00
parent 888e5371eb
commit fe0531868c
25 changed files with 63 additions and 75 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/DataLayoutAnalysis/DLATypeSystem.cpp
+6 -8
View File
@@ -478,8 +478,7 @@ bool LayoutTypeSystem::verifyConsistency() const {
}
// same edge with same tag
auto It = P.first->Successors.find({ NodePtr, P.second });
if (It == P.first->Successors.end()) {
if (!P.first->Successors.contains({ NodePtr, P.second })) {
if (VerifyDLALog.isEnabled())
revng_check(false);
return false;
@@ -493,8 +492,7 @@ bool LayoutTypeSystem::verifyConsistency() const {
}
// same edge with same tag
auto It = P.first->Predecessors.find({ NodePtr, P.second });
if (It == P.first->Predecessors.end()) {
if (!P.first->Predecessors.contains({ NodePtr, P.second })) {
if (VerifyDLALog.isEnabled())
revng_check(false);
return false;
@@ -560,7 +558,7 @@ bool LayoutTypeSystem::verifyDAG() const {
std::set<const LayoutTypeSystemNode *> Visited;
for (const auto &Node : llvm::nodes(this)) {
revng_assert(Node != nullptr);
if (Visited.count(Node))
if (Visited.contains(Node))
continue;
using NonPointerFilterT = EdgeFilteredGraph<LayoutTypeSystemNode *,
@@ -590,7 +588,7 @@ bool LayoutTypeSystem::verifyInstanceDAG() const {
std::set<const LayoutTypeSystemNode *> Visited;
for (const auto &Node : llvm::nodes(this)) {
revng_assert(Node != nullptr);
if (Visited.count(Node))
if (Visited.contains(Node))
continue;
using GraphNodeT = const LayoutTypeSystemNode *;
@@ -619,7 +617,7 @@ bool LayoutTypeSystem::verifyPointerDAG() const {
std::set<const LayoutTypeSystemNode *> Visited;
for (const auto &Node : llvm::nodes(this)) {
revng_assert(Node != nullptr);
if (Visited.count(Node))
if (Visited.contains(Node))
continue;
using GraphNodeT = const LayoutTypeSystemNode *;
@@ -662,7 +660,7 @@ bool LayoutTypeSystem::verifyInstanceAtOffset0DAG() const {
std::set<const LayoutTypeSystemNode *> Visited;
for (const auto &Node : llvm::nodes(this)) {
revng_assert(Node != nullptr);
if (Visited.count(Node))
if (Visited.contains(Node))
continue;
using GraphNodeT = const LayoutTypeSystemNode *;