projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65d885e) | patch
[analyzer] fix test case expected warning
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 28 Jun 2018 22:08:44 +0000 (22:08 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 28 Jun 2018 22:08:44 +0000 (22:08 +0000)
commit7f081fb22e7b83f0ae98ce4a88e16d0ec20e777f
treee0158d66bee1e0611460121b4e9a462f618ed60btree | snapshot
parent65d885e376adc5d1ed6de0e924994574e1ec564dcommit | diff
[analyzer] fix test case expected warning

After r335814, the constraint manager is no longer generating a false bug report
about the division by zero in the test case.

This patch removes the expected false bug report.

llvm-svn: 335932
clang/test/Analysis/z3-crosscheck.c diff | blob | history
Domain: System / Toolchain;