diff options
| author | Martin Braenne <mboehme@google.com> | 2023-08-22 13:53:11 +0000 |
|---|---|---|
| committer | Martin Braenne <mboehme@google.com> | 2023-08-23 07:03:16 +0000 |
| commit | a1a63d68a46882e051eedcb632723e15f2ee331b (patch) | |
| tree | 88db4846830c62c99547789550cbc765eb989631 /flang/lib/Frontend/CompilerInvocation.cpp | |
| parent | ff14585eb02f96b78a2544f8bcddd2685202cc56 (diff) | |
| download | llvm-a1a63d68a46882e051eedcb632723e15f2ee331b.zip llvm-a1a63d68a46882e051eedcb632723e15f2ee331b.tar.gz llvm-a1a63d68a46882e051eedcb632723e15f2ee331b.tar.bz2 | |
[clang][dataflow] Add two repros for non-convergence involving pointers in loops.
These are broken out from https://reviews.llvm.org/D156658, which it now seems obvious isn't the right way to solve the non-convergence.
Instead, my plan is to address the non-convergence through pointer value widening, but the exact way this should be implemented is TBD. In the meantime, I think there's value in getting these repros submitted to record the current undesirable behavior.
Reviewed By: ymandel, xazax.hun
Differential Revision: https://reviews.llvm.org/D158513
Diffstat (limited to 'flang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions