Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/JAVA/Netbeans/profiler/lib.profiler.ui/nbproject/   (Netbeans IDE Version 28©) image not shown  

Impressum bug1476417.js

  Sprache: JAVA
 

function f(x) {
    var y, z;

    arguments; // Force creation of mapped arguments, so modifying |x| writes to the arguments object.
    Math; // Access a global variable to create a resume point.
    z = x + 1// Was executed twice because only the resume point for 'Math' was present before the fix.
    x = z; // Modifying |x| writes into the arguments object. We missed to create a resume point here.
    y = 2 * x; // Triggers a bailout when overflowing int32 boundaries.

    return [x, y];
}

var x = [000x3FFFFFFF];

for (var j = 0; j < 3; ++j) {
    var value = x[j];
    var expected = [value + 1, (value + 1) * 2];
    var actual = f(value);

    assertEq(actual[0], expected[0]);
    assertEq(actual[1], expected[1]);
}

Messung V0.5 in Prozent
C=78 H=78 G=77

¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet am  2026-06-08) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.