[clang] [analyzer] Avoid creating LazyCompoundVal when possible (PR #116840)

2024-11-29 Thread Balazs Benics via cfe-commits
https://github.com/steakhal closed https://github.com/llvm/llvm-project/pull/116840 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Avoid creating LazyCompoundVal when possible (PR #116840)

2024-11-29 Thread Balazs Benics via cfe-commits
steakhal wrote: I held this patch off because during testing I saw some interesting-looking (seemingly) FPs. I wanted to have a look, but I couldn't find disputable evidence for proving that they were FPs. I still believe that this patch is solid, and even if it exposes some FPs, those are mor

[clang] [analyzer] Avoid creating LazyCompoundVal when possible (PR #116840)

2024-11-20 Thread Donát Nagy via cfe-commits
https://github.com/NagyDonat edited https://github.com/llvm/llvm-project/pull/116840 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Avoid creating LazyCompoundVal when possible (PR #116840)

2024-11-20 Thread Balazs Benics via cfe-commits
https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/116840 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Avoid creating LazyCompoundVal when possible (PR #116840)

2024-11-20 Thread Balazs Benics via cfe-commits
steakhal wrote: > The change LGTM and I'm happy to hear that you're improving the handling of > compound values. I hope that these foundational improvements will help > further development of checkers that deal with structured data. (Perhaps even > the iterator checkers could be stabilized eve

[clang] [analyzer] Avoid creating LazyCompoundVal when possible (PR #116840)

2024-11-20 Thread Donát Nagy via cfe-commits
https://github.com/NagyDonat approved this pull request. The change LGTM and I'm happy to hear that you're improving the handling of compound values. I hope that these foundational improvements will help further development of checkers that deal with structured data. (Perhaps even the iterator

[clang] [analyzer] Avoid creating LazyCompoundVal when possible (PR #116840)

2024-11-20 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang-static-analyzer-1 Author: Balazs Benics (steakhal) Changes In #115916 I allowed copying empty structs. Later in #115917 I changed how objects are copied, and basically when we would want to copy a struct (an LCV) of a single symbol (likely coming

[clang] [analyzer] Avoid creating LazyCompoundVal when possible (PR #116840)

2024-11-20 Thread Arseniy Zaostrovnykh via cfe-commits
https://github.com/necto approved this pull request. https://github.com/llvm/llvm-project/pull/116840 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Avoid creating LazyCompoundVal when possible (PR #116840)

2024-11-19 Thread Balazs Benics via cfe-commits
steakhal wrote: Btw expect more patches about fixing LCVs and overall PostInitializer events and bindings. Basically, how we model the member initializers and copies. Stay tuned for those, but before that this one is a preparation patch, so I'm excited to see your comments. https://github.com

[clang] [analyzer] Avoid creating LazyCompoundVal when possible (PR #116840)

2024-11-19 Thread Balazs Benics via cfe-commits
steakhal wrote: @necto Could you also review this one? https://github.com/llvm/llvm-project/pull/116840 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Avoid creating LazyCompoundVal when possible (PR #116840)

2024-11-19 Thread Balazs Benics via cfe-commits
https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/116840 In #115916 I allowed copying empty structs. Later in #115917 I changed how objects are copied, and basically when we would want to copy a struct (an LCV) of a single symbol (likely coming from an opaque fncall