3b5ba61cc0
add recursion check
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4483 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:19:13 +00:00
6d2f186f36
re-enable ScopeMappingContexts
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4482 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:19:03 +00:00
72af88f25e
rename TestUtil to more-specific DemandPATestUtil
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4481 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:18:54 +00:00
a1a62d4793
Fixed a longstanding bug in the handling of arguments: both v1 _and_ v2
...
should be ignored when setting up the arguments array (the former is the
invoked function, the latter is the receiver).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4480 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:18:32 +00:00
8988ff3b0f
more precise model of Function.prototype.apply(); read correct properties from arguments array
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4479 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:18:16 +00:00
197ec11f35
small optimization: avoid calling TypeName.toString() in some cases
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4478 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:18:07 +00:00
19bd95238a
Adding a context item containing the index.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4477 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:17:55 +00:00
16c798c790
bug fix: only generate one synthetic method representing Function.prototype.apply
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4476 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:17:44 +00:00
21e17b0928
some cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4475 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:17:30 +00:00
fcf0aa824d
in the Function.apply() context selector, only add one-level of call strings when an ApplyContext is also being used
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4474 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:17:22 +00:00
a34b8967e1
Additional timeout check in SSAPropagationCallGraphBuilder.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4473 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:17:08 +00:00
54d50d4eea
Turning off handling of apply for this test.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4472 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:16:55 +00:00
fe9dbe1128
Added optional one-level callstring sensitivity for
...
Function.prototype.apply
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4471 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:16:47 +00:00
dd2a04e1a7
Fixed a bug where the index of the argument to check for use as a
...
property name was ignored.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4470 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:16:36 +00:00
49bd12c0ec
no need for ScopeMappingContexts with new lexical scheme
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4469 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:16:26 +00:00
300377a428
disabled LexicalScopingResolverContexts with new scheme
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4468 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:16:15 +00:00
2dda77a0fb
another bug fix; looking good...
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4467 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:15:57 +00:00
bfb24934af
another bug fix; getting closer...
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4466 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:15:38 +00:00
78ef6e3a03
further work
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4465 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:15:26 +00:00
c9ee502acc
another bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4464 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:15:02 +00:00
8982d35800
fixed one CG building bug with useLocalsForLexicalVars() disabled
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4463 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:14:51 +00:00
c9d914304d
add a test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4462 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:14:36 +00:00
9ad5c55d85
generate lexical access instructions for methods accessing their own exposed vars. still need to fix call graph construction
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4461 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:14:26 +00:00
3445c0b090
renaming of exposed parameters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4460 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:14:03 +00:00
1d4f5ff639
initial code to compute exposed names
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4459 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:13:52 +00:00
c87d4731bb
add a test case that causes a crash
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4458 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:13:39 +00:00
aa00b04c00
Some more fixes to the closure extractor; now only a single test fails.
2012-02-09 08:21:10 -05:00
00b51cd14c
make more stuff into BLOCK_STMT
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4454 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 17:10:24 +00:00
eb1f59407d
Undoing accidental commit.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4453 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:35:56 +00:00
d7544c111f
Minor change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4452 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:35:45 +00:00
6449da85df
Some final fixes to the for-in body extractor; it now seems to work as
...
before.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4451 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:35:32 +00:00
3b5a939033
New test for an NPE during SSA conversion.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4450 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:35:16 +00:00
c47b6a77b4
Need to pass on the preprocessor when constructing the call graph
...
builder.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4449 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:35:06 +00:00
b8e7e31b6f
Pulling in HTMLCGBuilder from lexical-again branch.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4448 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:34:24 +00:00
a52455972c
Adding support for unary "void" operator.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4447 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:34:10 +00:00
6e1d5783e6
Fixed search for closest enclosing block, which could run into an
...
infinite loop.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4446 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:33:58 +00:00
0c07531918
Make WARN_ABOUT_IMPRECISE_CALLGRAPH non-final so we can flip it at
...
runtime.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4445 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:33:45 +00:00
daf36902bd
Avoid plugging in the same AST node twice when creating code for a
...
method call.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4444 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:33:35 +00:00
96f0d763d2
Minor change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4443 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:33:21 +00:00
55adb1ac2e
Minor change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4442 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:33:10 +00:00
12b68c9a11
Some more changes to the closure extractor to make it play better with
...
Rhino 1.7.3.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4441 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:32:59 +00:00
96263c8736
Adapted generation of fixup code for return and goto to Rhino 1.7.3.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4440 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:32:46 +00:00
39297b0c3d
More adjustments to Rhino 1.7.3 CAst.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4439 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:32:32 +00:00
174a30454c
Started to update the closure extractor to work with Rhino 1.7.3.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4438 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:32:15 +00:00
1e0ad9dbc6
Put stderr output under DEBUG flag.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4437 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:32:03 +00:00
24574114b9
Taught CAstPrinter about EACH_ELEMENT_GET and EACH_ELEMENT_HAS_NEXT.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4436 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:31:52 +00:00
3f26b1d108
New node pattern to express alternatives.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4435 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:31:40 +00:00
f557348885
make some expression into statements
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4434 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 02:49:21 +00:00
79946e98d6
purported fixes for Max's latest bugs (with some tests)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4433 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-07 13:50:08 +00:00
3113f14e23
handling for delete exprs, and a test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-06 13:54:10 +00:00
msridhar1
Max Schaefer
dolby-oss