[llvm-bugs] [Bug 5628] False positive with VLA

2018-12-23 Thread via llvm-bugs
https://bugs.llvm.org/show_bug.cgi?id=5628 Bug 5628 depends on bug 2306, which changed state. Bug 2306 Summary: CHECKER: Track '<', '>', etc. relationships between symbolic values https://bugs.llvm.org/show_bug.cgi?id=2306 What|Removed |Added --

[llvm-bugs] [Bug 5628] False positive with VLA

2015-11-13 Thread via llvm-bugs
https://llvm.org/bugs/show_bug.cgi?id=5628 Kirill Bobyrev changed: What|Removed |Added Status|ASSIGNED|RESOLVED CC|