martong added a comment. Would it make sense to tweak `assumeInBound` in a way to handle symbolic regions differently than concrete regions? I mean
static int arr[10]; return arr - 1; // we want a warning here ... int *p = conjure(); return p - 1; // no warning here Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D107960/new/ https://reviews.llvm.org/D107960 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
