INNER CODE UNIT · Python

data_ptr

SpartanJ/eepp · projects/scripts/debug/eepp_gdb.py:61

            data_ptr = (storage_ptr.cast(char_ptr_type) + offset_to_data).cast(
                self.type_t.pointer()
            )

        for i in range(size):
            yield f"[{i}]", (data_ptr + i).dereference()


def register_ee_printers(obj):
    if obj is None:
        obj = gdb
    obj.pretty_printers.append(
        lambda val: EESmallVectorPrinter(val) if "svector" in str(val.type) else None
    )


register_ee_printers(gdb.current_objfile())

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…