Author: ayartsev
Date: Thu Oct 6 16:42:21 2016
New Revision: 283499
URL: http://llvm.org/viewvc/llvm-project?rev=283499&view=rev
Log:
[analyzer] Add explanation why analyzer report is not generated (fix for
PR12421).
Currently if the path diagnostic consumer (e.g HTMLDiagnostics and
PlistDiagn
ayartsev closed this revision.
ayartsev added a comment.
Closed by r283499.
https://reviews.llvm.org/D22494
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
Author: ayartsev
Date: Thu Dec 22 21:31:00 2016
New Revision: 290413
URL: http://llvm.org/viewvc/llvm-project?rev=290413&view=rev
Log:
Fix for PR15623. The patch eliminates unwanted ProgramState checker data
propagation from an operand of the logical operation to operation result.
The patch also
Author: ayartsev
Date: Thu Dec 22 22:09:18 2016
New Revision: 290415
URL: http://llvm.org/viewvc/llvm-project?rev=290415&view=rev
Log:
Revert changes made by r290413 until regression is fixed.
Modified:
cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineC.cpp
cfe/trunk/lib/StaticAnalyzer/Core/Si
Author: ayartsev
Date: Sat Dec 24 18:57:51 2016
New Revision: 290505
URL: http://llvm.org/viewvc/llvm-project?rev=290505&view=rev
Log:
Fix for PR15623 (corrected r290413 reverted at 290415). The patch eliminates
unwanted ProgramState checker data propagation from an operand of the logical
operat
ayartsev added a comment.
Ping.
https://reviews.llvm.org/D22494
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
ayartsev added a comment.
Gentle ping.
https://reviews.llvm.org/D22494
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
ayartsev added inline comments.
Comment at: lib/StaticAnalyzer/Core/PathDiagnostic.cpp:216
@@ +215,3 @@
+llvm::raw_svector_ostream warning(buf);
+warning << "warning: Path diagnostic report is not generated. Current "
+<< "output format does not support diagnos
ayartsev added inline comments.
Comment at: lib/StaticAnalyzer/Core/PathDiagnostic.cpp:216
@@ +215,3 @@
+llvm::raw_svector_ostream warning(buf);
+warning << "warning: Path diagnostic report is not generated. Current "
+<< "output format does not support diagnos
ayartsev updated this revision to Diff 70772.
ayartsev added a comment.
Updated the patch, added help entry for the "--analyzer-output" driver option.
Please review.
https://reviews.llvm.org/D22494
Files:
lib/StaticAnalyzer/Core/PathDiagnostic.cpp
test/Analysis/diagnostics/diag-cross-file-
ayartsev updated this revision to Diff 71056.
ayartsev added a comment.
Updated the patch. Important change in Options.td was missing in the last patch
+ indentation fixed.
Still Ok to commit?
https://reviews.llvm.org/D22494
Files:
include/clang/Driver/Options.td
lib/StaticAnalyzer/Core/Pa
ayartsev updated this revision to Diff 78810.
ayartsev added a comment.
The updated patch implements Devin's solution. Please review.
https://reviews.llvm.org/D22862
Files:
lib/StaticAnalyzer/Core/ExprEngineC.cpp
lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp
test/Analysis/unwanted-p
Author: ayartsev
Date: Fri Sep 11 15:41:09 2015
New Revision: 247466
URL: http://llvm.org/viewvc/llvm-project?rev=247466&view=rev
Log:
[analyzer] Improve behavior if Clang not found.
- Eliminate 'No such file or directory at scan-build line ...' error if
'$RealBin/bin/clang' or '$RealBin/clang'
Author: ayartsev
Date: Wed Sep 16 13:12:15 2015
New Revision: 247828
URL: http://llvm.org/viewvc/llvm-project?rev=247828&view=rev
Log:
[analyzer] Improved behavior if Clang was not found, part II
- scan-build help: display 'Could not query Clang for the list of available
checkers.' + the reason
Author: ayartsev
Date: Tue Aug 11 16:24:19 2015
New Revision: 244673
URL: http://llvm.org/viewvc/llvm-project?rev=244673&view=rev
Log:
[analyzer] Incorrect env variable replaced.
Modified:
cfe/trunk/tools/scan-build/scan-build
Modified: cfe/trunk/tools/scan-build/scan-build
URL:
http://llvm
Author: ayartsev
Date: Thu Aug 20 16:52:39 2015
New Revision: 245621
URL: http://llvm.org/viewvc/llvm-project?rev=245621&view=rev
Log:
[analyzer] Fix for PR24112 (scan-build doesn't work with --use-analyzer="path
to clang++.exe").
Don't derive the path_to_clang++ from the path_to_clang if the pa
It looks like the answer is no, paths to clang and clang++ executables are used
to initialize CLANG and CLANG_CXX environment variables.
Can't we just use the --driver-mode flag instead of trying to mangle the
executable name?
Peter
On Thu, Aug 20, 2015 at 09:52:39PM -0000, Anton Yartse
Author: ayartsev
Date: Wed Sep 2 16:01:59 2015
New Revision: 246710
URL: http://llvm.org/viewvc/llvm-project?rev=246710&view=rev
Log:
[analyzer] Refactoring: bring together scan-build options and environment
variables.
Full list of changes:
- all scan-build command-line arguments are now kept i
Author: ayartsev
Date: Wed Oct 28 11:28:57 2015
New Revision: 251524
URL: http://llvm.org/viewvc/llvm-project?rev=251524&view=rev
Log:
[analyzer] Make inclusion/exclusion of checkers less ambiguous.
A checker may be enabled/disabled multiple times via -enable-checker and
-disable-checker scan-bu
Author: ayartsev
Date: Wed Oct 28 15:43:39 2015
New Revision: 251552
URL: http://llvm.org/viewvc/llvm-project?rev=251552&view=rev
Log:
[analyzer] Preserve the order checkers were enabled/disabled.
In addition to r251524: preserve the order the checkers were enabled/disabled
to be deterministic.
On 28.10.2015 21:26, Devin Coughlin wrote:
On Oct 28, 2015, at 9:28 AM, Anton Yartsev via cfe-commits
wrote:
Author: ayartsev
Date: Wed Oct 28 11:28:57 2015
New Revision: 251524
URL: http://llvm.org/viewvc/llvm-project?rev=251524&view=rev
Log:
[analyzer] Make inclusion/exclusion of chec
ayartsev created this revision.
ayartsev added reviewers: zaks.anna, dcoughlin.
ayartsev added a subscriber: cfe-commits.
Hi all,
Currently if the path diagnostic consumer (e.g HTMLDiagnostics and
PlistDiagnostics) do not support cross file diagnostics then the path
diagnostic report is just si
ayartsev added inline comments.
Comment at: test/Analysis/PR12421.c:11
@@ +10,2 @@
+
+// CHECK: warning: Path diagnostic report is not generated. HTMLDiagnostics
does not support diagnostics that cross file boundaries.
zaks.anna wrote:
> We should use the name of
ayartsev updated this revision to Diff 65519.
ayartsev marked 2 inline comments as done.
https://reviews.llvm.org/D22494
Files:
lib/StaticAnalyzer/Core/PathDiagnostic.cpp
test/Analysis/diagnostics/diag-cross-file-boundaries.c
test/Analysis/diagnostics/diag-cross-file-boundaries.h
Index: te
ayartsev created this revision.
ayartsev added reviewers: zaks.anna, krememek.
ayartsev added a subscriber: cfe-commits.
The attached patch eliminates unneeded checker data propagation from one of the
operands of a logical operation to the operation result. The result of a
logical operation is c
ayartsev added inline comments.
Comment at: test/Analysis/misc-ps-region-store.m:332
@@ -330,3 +331,3 @@
if (p < q) {
// If we reach here, 'p' cannot be null. If 'p' is null, then 'n' must
// be '0', meaning that this branch is not feasible.
zaks.ann
ayartsev added inline comments.
Comment at: test/Analysis/PR12421.c:11
@@ +10,2 @@
+
+// CHECK: warning: Path diagnostic report is not generated. HTMLDiagnostics
does not support diagnostics that cross file boundaries.
zaks.anna wrote:
> ayartsev wrote:
> > zaks.
ayartsev added inline comments.
Comment at: lib/StaticAnalyzer/Core/PathDiagnostic.cpp:216
@@ +215,3 @@
+llvm::raw_svector_ostream warning(buf);
+warning << "warning: Path diagnostic report is not generated. Current "
+<< "output format does not support diagnos
ayartsev added a comment.
@zaks.anna, sorry for the noise about the "misc-ps-region-store.m" test, my
mistake.
In https://reviews.llvm.org/D22862#508674, @NoQ wrote:
> Hmm. The test in `unwanted-programstate-data-propagation.c` passes on my
> machine even without the patch, and the return valu
Author: ayartsev
Date: Wed Feb 10 13:46:41 2016
New Revision: 260420
URL: http://llvm.org/viewvc/llvm-project?rev=260420&view=rev
Log:
[analyzer] Windows: launch scan-build from an arbitrary location.
The following batch files allow to launch scan-build from an arbitrary location
if path to clan
ayartsev created this revision.
ayartsev added a reviewer: rizsotto.mailinglist.
ayartsev added a subscriber: cfe-commits.
Attached patch makes scan-build successfully accept non-existing output
directories provided via "-o" option. The directory is created in this case.
This behavior is conform
ayartsev added a comment.
Ping.
http://reviews.llvm.org/D16317
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
ayartsev added a comment.
Ping.
http://reviews.llvm.org/D17091
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
Author: ayartsev
Date: Sun Feb 21 11:04:26 2016
New Revision: 261480
URL: http://llvm.org/viewvc/llvm-project?rev=261480&view=rev
Log:
[analyzer][scan-build] Non-existing directory for scan-build output.
Makes scan-build successfully accept non-existing output directories provided
via "-o" optio
ayartsev added a comment.
In http://reviews.llvm.org/D17091#358022, @rizsotto.mailinglist wrote:
> the semicolon at the end of line 39 is an issue for PEP8. please remove it.
Done.
Committed as r261480, thanks for the review.
http://reviews.llvm.org/D17091
Author: ayartsev
Date: Thu May 19 18:03:49 2016
New Revision: 270154
URL: http://llvm.org/viewvc/llvm-project?rev=270154&view=rev
Log:
[analyzer] Fix for PR23790 : constrain return value of strcmp() rather than
returning a concrete value.
The function strcmp() can return any value, not just {-1,
36 matches
Mail list logo
