annotate hotspot/.settings/org.eclipse.cdt.ui.prefs @ 5693:0356d95f01ba

While inlining, ensure proper anchoring of things that where anchored to the StartNode Fix killCFG case where some dead nodes would not be removed, leading to later NullPointerExceptions Fix Switch nodes simplification in case the node of the remaining successor changes because of deleting the other branches Fix addDuplicates : do not patch inputs to the outer world if these inputs would point to an other graph
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 26 Jun 2012 16:43:51 +0200
parents 694c38d4b6d8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3542
694c38d4b6d8 re-add C++ eclipse project
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
1 #Wed Sep 01 16:21:02 PDT 2010
694c38d4b6d8 re-add C++ eclipse project
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
2 eclipse.preferences.version=1
694c38d4b6d8 re-add C++ eclipse project
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
3 formatter_profile=_hotspotStyle
694c38d4b6d8 re-add C++ eclipse project
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
4 formatter_settings_version=1
694c38d4b6d8 re-add C++ eclipse project
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
5