luamfb wrote: I've added that test as well. In this case too I've assumed the correct behavior is for the comparison's result to be unknown, because the length of the string can be changed later by assigning a null character somewhere in the middle of the string, say, `char a[] = "abcd"; a[1] = '\0';`
https://github.com/llvm/llvm-project/pull/68368 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits