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
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: 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
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
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 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 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 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 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 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 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.
@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
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: 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: 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 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 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 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 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
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,
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: 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.
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
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 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
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
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
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.
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 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: 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 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
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: 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
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
36 matches
Mail list logo
