https://github.com/PiotrZSL edited
https://github.com/llvm/llvm-project/pull/90581
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/PiotrZSL approved this pull request.
LGTM
https://github.com/llvm/llvm-project/pull/90581
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
llvmbot wrote:
@llvm/pr-subscribers-clang
@llvm/pr-subscribers-clang-analysis
Author: Congcong Cai (HerrCai0907)
Changes
Fixes: #89376.
---
Full diff: https://github.com/llvm/llvm-project/pull/90581.diff
2 Files Affected:
- (modified) clang/lib/Analysis/ExprMutationAnalyzer.cpp
https://github.com/HerrCai0907 created
https://github.com/llvm/llvm-project/pull/90581
Fixes: #89376.
>From f0d640d4c1ba2ede182fdf31cc7030aad01de8b8 Mon Sep 17 00:00:00 2001
From: Congcong Cai
Date: Tue, 30 Apr 2024 17:46:37 +0800
Subject: [PATCH] [analysis] assume expr is not mutated after