diff options
author | Ted Kremenek <kremenek@apple.com> | 2011-10-07 00:42:48 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2011-10-07 00:42:48 +0000 |
commit | f8fd4d49625ca8d150b86d46d9ffc36ad795c66f (patch) | |
tree | 7d869fa099a6c1cc60aa84afe97531c78a06c171 /clang/test/Sema/uninit-variables.c | |
parent | 997a97f0f5b4937073eebf0dd73d443e8845d590 (diff) | |
download | bcm5719-llvm-f8fd4d49625ca8d150b86d46d9ffc36ad795c66f.tar.gz bcm5719-llvm-f8fd4d49625ca8d150b86d46d9ffc36ad795c66f.zip |
Fix infinite loop in -Wuninitialized reported in PR 11069.
llvm-svn: 141345
Diffstat (limited to 'clang/test/Sema/uninit-variables.c')
-rw-r--r-- | clang/test/Sema/uninit-variables.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/clang/test/Sema/uninit-variables.c b/clang/test/Sema/uninit-variables.c index 2398504347d..bcffbd6a3d5 100644 --- a/clang/test/Sema/uninit-variables.c +++ b/clang/test/Sema/uninit-variables.c @@ -391,3 +391,17 @@ int test_block_and_dead_code() { return x; // no-warning } +// This previously triggered an infinite loop in the analysis. +void PR11069(int a, int b) { + unsigned long flags; + for (;;) { + if (a && !b) + break; + } + for (;;) { + // This does not trigger a warning because it isn't a real use. + (void)(flags); // no-warning + } +} + + |