change some data structures
[c11tester.git] / predicate.cc
1 #include "predicate.h"
2
3 Predicate::Predicate(FuncInst * func_inst) :
4         func_inst(func_inst)
5 {}
6
7 unsigned int pred_expr_hash(struct pred_expr * expr) {
8         return (unsigned int)((uintptr_t)hash);
9 }
10
11 bool pred_expr_equal(struct pred_expr * p1, struct pred_expr * p2)
12 {
13         if (p1->token != p2->token)
14                 return false;
15         if (p1->token == EQUALITY && p1->location != p2->location)
16                 return false;
17         if (p1->value != p2->value)
18                 return false;
19         return true;
20 }
21
22 void Predicate::add_predicate(token_t token, void * location, bool value)
23 {
24         struct pred_expr = {token, location, value};
25         predicates.add(&predicate);
26 }