summaryrefslogtreecommitdiff
path: root/gcc/collect-types.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/collect-types.c')
-rw-r--r--gcc/collect-types.c4
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/collect-types.c b/gcc/collect-types.c
index 77257a8b8e0..b3febdd57d7 100644
--- a/gcc/collect-types.c
+++ b/gcc/collect-types.c
@@ -28,10 +28,8 @@
#include "gimple-iterator.h"
#include "gimple-ssa.h"
-#include "compare-types.h"
#include "types-inlines.h"
#include "type-stringifier.hpp"
-#include "name-types.h"
#include <set>
#include "collect-types.h"
@@ -43,10 +41,10 @@ points_to_record_sets_s::insert(const_tree type, bool in_points_to_record)
gcc_assert(type);
this->universe.insert(type);
in_points_to_record ? this->points_to_record.insert(type) : this->complement.insert(type);
- // let's just double check...
const bool in_points_to_set = this->in_points_to_record(type);
const bool in_complement = this->in_complement(type);
const bool _xor = in_points_to_set != in_complement;
+ // sanity check...
gcc_assert(_xor);
}