BitVecClone

Documentation

API Reference

BitVecClone

Description

Create a deep copy of a bitvector. The returned bitvector must be deinitialized when no longer needed.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to clone

Usage example (from documentation)

  BitVec copy = BitVecClone(&flags);
  // ... use copy ...
  BitVecDeinit(&copy);

Returns

Deep copy of the bitvector

Usage example (Cross-references)

Usage examples (Cross-references)

In Int.c:346:

        ValidateInt(value);
    
        Int clone = int_wrap(BitVecClone(INT_BITS(value)));
        int_normalize(&clone);
        return clone;

In BitVec.c:165:

    }
    
    BitVec BitVecClone(BitVec *bv) {
        ValidateBitVec(bv);

In BitVec.c:925:

    
        // Create a temporary copy
        BitVec temp = BitVecClone(bv);
    
        // Rotate left

In BitVec.c:949:

    
        // Create a temporary copy
        BitVec temp = BitVecClone(bv);
    
        // Rotate right

In BitVec.Compare.c:294:

    
        // Test equal signed values
        BitVec bv3 = BitVecClone(&bv1);
        result     = result && (BitVecSignedCompare(&bv1, &bv3) == 0);

In BitVec.Compare.c:546:

    
        // Test equal cases
        BitVec bv3 = BitVecClone(&bv1);
        result     = result && !(BitVecCompare(&bv1, &bv3) < 0);
        result     = result && !(BitVecNumericalCompare(&bv1, &bv3) < 0);

In BitVec.BitWise.Simple.c:552:

    
        // Test various shift amounts
        BitVec original = BitVecClone(&bv);
    
        // Shift left by 1, then right by 1 - should NOT restore original (data loss)

In BitVec.BitWise.Simple.c:616:

        }
    
        BitVec original = BitVecClone(&bv);
    
        // Rotate left by 3, then right by 3

In BitVec.Memory.c:143:

    // Test BitVecClone function
    bool test_bitvec_clone(void) {
        WriteFmt("Testing BitVecClone\n");
    
        BitVec original = BitVecInit();

In BitVec.Memory.c:154:

    
        // Clone the bitvector
        BitVec clone = BitVecClone(&original);
    
        // Check that clone has same content as original

In BitVec.Memory.c:298:

    
    bool test_bitvec_clone_edge_cases(void) {
        WriteFmt("Testing BitVecClone edge cases\n");
    
        BitVec bv     = BitVecInit();

In BitVec.Memory.c:304:

    
        // Test clone empty bitvec
        BitVec clone1 = BitVecClone(&bv);
        result        = result && (clone1.length == 0);
        BitVecDeinit(&clone1);

In BitVec.Memory.c:310:

        // Test clone single element
        BitVecPush(&bv, true);
        BitVec clone2 = BitVecClone(&bv);
        result        = result && (clone2.length == 1);
        result        = result && (BitVecGet(&clone2, 0) == true);

In BitVec.Memory.c:321:

        }
    
        BitVec clone3 = BitVecClone(&bv);
        result        = result && (clone3.length == 1000);

In BitVec.Memory.c:355:

    
            // Clone and swap
            BitVec clone = BitVecClone(&bv1);
            BitVecSwap(&bv1, &bv2);

In BitVec.Memory.c:402:

    
        // Test NULL pointer - should abort
        BitVecClone(NULL);
    
        return false;

In BitVec.BitWise.c:552:

    
        // Test various shift amounts
        BitVec original = BitVecClone(&bv);
    
        // Shift left by 1, then right by 1 - should NOT restore original (data loss)

In BitVec.BitWise.c:616:

        }
    
        BitVec original = BitVecClone(&bv);
    
        // Rotate left by 3, then right by 3

Last updated on April 20, 2026

BitVecClear BitVecContainsAt