kc3-lang/kc3/libkc3/pcow.c

• Show log

  Commit

• Hash : a9077c87
  Author : Thomas de Grivel
  Date : 2025-09-04T01:19:32
  

  wip memory corruption or bug in facts_remove_fact
  

Download

• libkc3/pcow.c

• /* kc3
   * Copyright from 2022 to 2025 kmx.io <contact@kmx.io>
   *
   * Permission is hereby granted to use this software granted the above
   * copyright notice and this permission paragraph are included in all
   * copies and substantial portions of this software.
   *
   * THIS SOFTWARE IS PROVIDED "AS-IS" WITHOUT ANY GUARANTEE OF
   * PURPOSE AND PERFORMANCE. IN NO EVENT WHATSOEVER SHALL THE
   * AUTHOR BE CONSIDERED LIABLE FOR THE USE AND PERFORMANCE OF
   * THIS SOFTWARE.
   */
  #include "assert.h"
  #include "cow.h"
  #include "pcow.h"
  #include "tag.h"
  
  s_tag * pcow_assign (p_cow *cow, s_tag *value, s_tag *dest)
  {
    assert(cow);
    assert(value);
    assert(dest);
    if (! cow_new_ref(*cow))
      return NULL;
    if (! tag_init_copy(cow_read_write(*cow), value))
      return NULL;
    if (! cow_freeze(*cow)) {
      return NULL;
    }
    dest->type = TAG_PCOW;
    dest->data.pcow = *cow;
    return dest;
  }
  
  void pcow_clean (p_cow *p)
  {
    bool nullify;
    assert(p);
    if (*p) {
      nullify = (*p)->ref_count == 1;
      cow_delete(*p);
      if (nullify)
        *p = NULL;
    }
  }
  
  p_cow * pcow_init (p_cow *p, const s_sym *type)
  {
    p_cow tmp = NULL;
    assert(p);
    tmp = cow_new(type);
    if (! tmp)
      return NULL;
    *p = tmp;
    return p;
  }
  
  p_cow * pcow_init_cast (p_cow *p, p_sym *type, s_tag *src)
  {
    p_cow tmp = NULL;
    assert(p);
    assert(src);
    tmp = cow_new_cast(type, src);
    if (! tmp)
      return NULL;
    *p = tmp;
    return p;
  }
  
  p_cow * pcow_init_copy (p_cow *p, p_cow *src)
  {
    assert(p);
    assert(src);
    if (! src || ! *src) {
      err_puts("pcow_init_copy: NULL src");
      assert(! "pcow_init_copy: NULL src");
      return NULL;
    }
    if (! cow_new_ref(*src)) {
      err_puts("pcow_init_copy: cow_new_ref");
      assert(! "pcow_init_copy: cow_new_ref");
      return NULL;
    }
    *p = *src;
    return p;
  }
  

Download