balazske wrote: I wanted to avoid change the current behavior of `core.NullDereference`. But it is better to move the option of address space suppression into the modeling part, I guess this option should be used for all types of invalid dereferences.
https://github.com/llvm/llvm-project/pull/122139 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
