Static Value-Flow Analysis
BitVector.cpp
Go to the documentation of this file.
1 //===- BitVector.cpp -- bit vector data structure implementation ------------//
2 
3 /*
4  * BitVector.cpp
5  *
6  * Contiguous bit vector with trailing 0s stripped (implementation).
7  *
8  * Created on: Jul 4, 2021
9  * Author: Mohamad Barbar
10  */
11 
12 #include <Util/BitVector.h>
13 
14 namespace SVF
15 {
16 
18  : BitVector(0) { }
19 
21  : CoreBitVector(n)
22 {
23  // This ensures that leading zeroes are never stripped.
24  set(0);
25  reset(0);
26 }
27 
29  : CoreBitVector(bv) { }
30 
32  : CoreBitVector(bv) { }
33 
35 {
37  return *this;
38 }
39 
41 {
43  return *this;
44 }
45 
46 } // namespace SVF
cJSON * n
Definition: cJSON.cpp:2558
BitVector(void)
Construct empty BV.
Definition: BitVector.cpp:17
BitVector & operator=(const BitVector &rhs)
Copy assignment.
Definition: BitVector.cpp:34
CoreBitVector & operator=(const CoreBitVector &rhs)
Copy assignment.
void reset(u32_t bit)
Resets bit in the CBV.
void set(u32_t bit)
Sets bit in the CBV.
for isBitcode
Definition: BasicTypes.h:68