[borrow] kill_loans_by_write_to_path 测试样例出现误报

## Bug报告：kill_loans_by_write_to_path 测试样例出现误报

### 测试文件

- BSC/Negative/Ownership/Borrow/borrow_check_rules/kill_loans_by_write_to_path/kill_loans_by_write_to_path.cbs
- 用例：test1

### 代码片段
```c
struct S {
  int a;
};

void use_mut(int* borrow p);
void use_immut(const int* borrow p);
void use_mut_s(struct S* borrow p);

void test1() {
  struct S s1 = { .a = 1 };
  struct S s2 = { .a = 2 };
  struct S* borrow sp = &mut s1; // expected-note {{`s1.a` is borrowed here}}
                                 // expected-note@-1 {{`s1.a` is borrowed here}}
  int* borrow p = &mut sp->a;
  sp = &mut s2;
  sp->a = 3;
  s1.a = 2; // expected-error {{cannot assign to `s1.a` because it is borrowed}}
  use_mut(p);
  s1.a = 2; // expected-error {{cannot assign to `s1.a` because it is borrowed}}
  use_mut_s(sp);
}
```

### 问题描述

`test1` 中，第二次出现的 `s1.a = 2;` 语句 **被错误地报出借用冲突**。实际上，前面已经调用了 `use_mut(p);`，按照语义此时 `p` 的借用已经结束，后续对 `s1.a` 的赋值不应该再报错。

### 期望行为

- 第一次 `s1.a = 2;` 应该报错（因为 `s1.a` 仍被 `p` 可变借用）。
- 第二次 `s1.a = 2;` **不应报错**，因为 `use_mut(p)` 之后 `p` 已经失效，`s1.a` 的借用已经被kill。

### 实际行为

- 当前实现对第二次 `s1.a = 2;` 也报错

### 对应的rust代码
```rust
struct S {
    a: i32,
}

fn use_mut(p: &mut i32) {}
fn use_immut(p: &i32) {}
fn use_mut_s(p: &mut S) {}

fn test1() {
    let mut s1 = S { a: 1 };
    let mut s2 = S { a: 2 };
    let mut sp: &mut S = &mut s1; // 相当于“sp = &mut s1”
    let p: &mut i32 = &mut sp.a;  // p = &mut sp->a

sp = &mut s2;
    sp.a = 3;

s1.a = 2; 
    use_mut(p);
    s1.a = 200; 
    use_mut_s(sp);
}
```
- rust代码也只报第一次的错误
![输入图片说明](https://foruda.gitee.com/images/1758271363787070877/cd3c331c_10242475.png "屏幕截图")

---

BiShengCLanguage/llvm-project

内容风险标识

评论 (0)

BiShengCLanguage/llvm-project .gitee-modal { width: 500px !important; }

内容风险标识