diff options
| author | Zancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au> | 2012-10-15 17:08:15 +1100 |
|---|---|---|
| committer | Zancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au> | 2012-10-15 17:08:15 +1100 |
| commit | f1bd2e48c5324d3f7cda4090c87f8a5b6f463ce2 (patch) | |
| tree | 55170bf41e2efaa272ea23b0bf9be5f056ded63f /clang/lib/StaticAnalyzer/Checkers/.#ArrayBoundCheckerV2_flymake.cpp | |
| parent | 684045e9e843ed9b8be30728482ce3d69d63b527 (diff) | |
Fix up the Equation System generation. Now there's a bug in the solver.
The solver seems to work fine when run as a tool by itself, but not in the clang stuff. Very annoying.
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/.#ArrayBoundCheckerV2_flymake.cpp')
| l--------- | clang/lib/StaticAnalyzer/Checkers/.#ArrayBoundCheckerV2_flymake.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/.#ArrayBoundCheckerV2_flymake.cpp b/clang/lib/StaticAnalyzer/Checkers/.#ArrayBoundCheckerV2_flymake.cpp deleted file mode 120000 index 235903b..0000000 --- a/clang/lib/StaticAnalyzer/Checkers/.#ArrayBoundCheckerV2_flymake.cpp +++ /dev/null @@ -1 +0,0 @@ -carlo@pc-4w14-0.cs.usyd.edu.au.1585:1347012043
\ No newline at end of file |