yahave
ecf64b2f76
Dillig: add handling of annotations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1529 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 21:35:04 +00:00
yahave
c149635f44
Dillig: add handling of annotations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1528 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 21:34:55 +00:00
sjfink
99f293ea2e
support catch blocks
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1527 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 19:21:13 +00:00
sjfink
a75db57b52
implement iteratePis()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1526 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 18:35:54 +00:00
sjfink
bbf2c44a1c
add more assertion checking
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1525 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 18:35:33 +00:00
sjfink
93c931eb46
bug fix .. make sure unreached paths are initialized to TOP
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1524 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 18:34:55 +00:00
yahave
702a92c18f
fixed documentation of getTakenSuccessor
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1523 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 18:08:36 +00:00
sjfink
dc02de8f5a
bug fix: iteratePhis() should not return null instructions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1522 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 16:10:53 +00:00
sjfink
5dbfbda22c
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1521 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:20:58 +00:00
sjfink
59368d41ac
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1520 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:20:41 +00:00
sjfink
7f62dc3c04
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1519 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:20:23 +00:00
sjfink
e7d9d74292
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1518 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:20:13 +00:00
sjfink
3026eda8a3
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1517 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:20:06 +00:00
sjfink
c0aab9e7ed
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1516 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:19:57 +00:00
sjfink
6a1a7d0e75
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1514 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:19:33 +00:00
rmfuhrer
e3c6eea00c
Added flavors of makeNode() that take Polyglot Positions to identify the position of the CAstNode to be created.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1512 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-19 22:18:27 +00:00
dolby-oss
0fba6b0b49
allow more customization of DefUse
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1511 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-19 20:42:05 +00:00
sjfink
155aaf9f50
rename getTrue/FalseSuccessor to getTaken/NotTakenSuccessor and check for IllegalArgumentExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1510 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-19 17:27:18 +00:00
dolby-oss
0d32f296f4
bug fix to refactoring to array assignment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1507 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-18 18:13:44 +00:00
rmfuhrer
edad2d5b68
Factored handling of array ref nodes from visitAssignNodes() so that code can be shared with array handlers for derived languages.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1506 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-18 15:55:54 +00:00
sjfink
bee4e6aa96
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1505 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 20:59:31 +00:00
rmfuhrer
f05e79871d
Refactored visitArrayLoad() and visitArrayStore() to make
...
reuse easier in derived ConstraintVisitors. (Used by X10
ConstraintVisitor implementation, which has its own form of
array-related IR instructions.)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1504 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 20:43:56 +00:00
sjfink
bdf8d44f7e
more pretty printing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1503 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 19:27:02 +00:00
sjfink
65dc43bdd6
turn off debugging
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1502 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 15:37:14 +00:00
sjfink
a4fefec9ad
more SSA functionality
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1501 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 14:04:32 +00:00
sjfink
f499379791
change accept criterion due to presumed bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1500 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:47:00 +00:00
sjfink
b9465e1bcc
replace broken ExpandedControlFlowGraph with hopefully somewhat less broken ExplodedControlFlowGraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1499 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:46:35 +00:00
sjfink
2c4fd1fc93
add some assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1498 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:41:34 +00:00
sjfink
dd7daab3ef
bug fix so iterator() does not return trailing null values
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1497 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:40:10 +00:00
sjfink
9248040783
add factory make()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1496 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:39:21 +00:00
sjfink
0b0d6588f0
fix a build problem
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1495 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:38:46 +00:00
sjfink
6276d4a217
misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1494 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:49:48 +00:00
sjfink
ba67d6d915
remove silly comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1493 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:48:42 +00:00
sjfink
8a9429e86b
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:48:21 +00:00
sjfink
1ea1885612
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1491 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:47:32 +00:00
sjfink
7971640032
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1490 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:52:46 +00:00
sjfink
a86747d201
misc. fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1489 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:52:26 +00:00
sjfink
b96ca4eacc
bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1488 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:06:15 +00:00
sjfink
1f42098a1e
bug fix in getBlockForInstruction()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1487 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 16:33:34 +00:00
sjfink
ed58e0ee92
ExpandedCFG cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1486 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 16:18:26 +00:00
sjfink
1bfe7cb052
fix toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1485 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:53:22 +00:00
dolby-oss
aa17ea8c7e
fixes for default values of null
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1484 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:10:33 +00:00
dolby-oss
4b0508356a
fixes for default values of null; more customization hooks for SSA conversion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1483 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:09:59 +00:00
sjfink
5c86c9791d
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1482 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 14:49:34 +00:00
sjfink
8f7854efb8
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1481 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 14:49:20 +00:00
sjfink
d9ec0292ef
fix a build problem
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1480 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 14:48:53 +00:00
sjfink
e6bb457996
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1478 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:21:06 +00:00
sjfink
f979887706
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1477 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:20:42 +00:00
sjfink
5a676e0c83
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1476 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:20:22 +00:00
sjfink
c1316cdca5
add an assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1475 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:19:19 +00:00