1 files changed, 104 insertions, 0 deletions
diff --git a/jstests/core/update_affects_indexes.js b/jstests/core/update_affects_indexes.js
new file mode 100644
index 00000000000..6bc259d3a24
--- /dev/null
+++ b/jstests/core/update_affects_indexes.js
@@ -0,0 +1,104 @@
+// This is a regression test for SERVER-32048. It checks that index keys are correctly updated when
+// an update modifier implicitly creates a new array element.
+(function() {
+    "use strict";
+
+    var coll = db.update_affects_indexes;
+    coll.drop();
+    var indexKeyPattern = {
+        "a.b": 1
+    };
+    assert.commandWorked(coll.createIndex(indexKeyPattern));
+
+    // Tests that the document 'docId' has all the index keys in 'expectedKeys' and none of the
+    // index keys in 'unexpectedKeys'.
+    function assertExpectedIndexKeys(docId, expectedKeys, unexpectedKeys) {
+        for (var i = 0; i < expectedKeys.length; i++) {
+            var key = expectedKeys[i];
+            var res = coll.find(docId).hint(indexKeyPattern).min(key)._addSpecial("$returnKey", true).toArray();
+            assert.eq(1, res.length, tojson(res));
+            assert.eq(0, bsonWoCompare(key, res[0]), tojson(res[0]));
+        }
+
+        for (var i = 0; i < unexpectedKeys.length; i++) {
+            var key = unexpectedKeys[i];
+            var res = coll.find(docId).hint(indexKeyPattern).min(key)._addSpecial("$returnKey", true).toArray();
+            if (res.length > 0) {
+                assert.eq(1, res.length, tojson(res));
+                assert.neq(0, bsonWoCompare(key, res[0]), tojson(res[0]));
+            }
+        }
+    }
+
+    // $set implicitly creates array element at end of array.
+    assert.writeOK(coll.insert({_id: 0, a: [{b: 0}]}));
+    assertExpectedIndexKeys({_id: 0}, [{"a.b": 0}], [{"a.b": null}]);
+    assert.writeOK(coll.update({_id: 0}, {$set: {"a.1.c": 0}}));
+    assertExpectedIndexKeys({_id: 0}, [{"a.b": 0}, {"a.b": null}], []);
+
+    // $set implicitly creates array element beyond end of array.
+    assert.writeOK(coll.insert({_id: 1, a: [{b: 0}]}));
+    assertExpectedIndexKeys({_id: 1}, [{"a.b": 0}], [{"a.b": null}]);
+    assert.writeOK(coll.update({_id: 1}, {$set: {"a.3.c": 0}}));
+    assertExpectedIndexKeys({_id: 1}, [{"a.b": 0}, {"a.b": null}], []);
+
+    // $set implicitly creates array element in empty array (no index key changes needed).
+    assert.writeOK(coll.insert({_id: 2, a: []}));
+    assertExpectedIndexKeys({_id: 2}, [{"a.b": null}], []);
+    assert.writeOK(coll.update({_id: 2}, {$set: {"a.0.c": 0}}));
+    assertExpectedIndexKeys({_id: 2}, [{"a.b": null}], []);
+
+    // $inc implicitly creates array element at end of array.
+    assert.writeOK(coll.insert({_id: 3, a: [{b: 0}]}));
+    assertExpectedIndexKeys({_id: 3}, [{"a.b": 0}], [{"a.b": null}]);
+    assert.writeOK(coll.update({_id: 3}, {$inc: {"a.1.c": 0}}));
+    assertExpectedIndexKeys({_id: 3}, [{"a.b": 0}, {"a.b": null}], []);
+
+    // $mul implicitly creates array element at end of array.
+    assert.writeOK(coll.insert({_id: 4, a: [{b: 0}]}));
+    assertExpectedIndexKeys({_id: 4}, [{"a.b": 0}], [{"a.b": null}]);
+    assert.writeOK(coll.update({_id: 4}, {$mul: {"a.1.c": 0}}));
+    assertExpectedIndexKeys({_id: 4}, [{"a.b": 0}, {"a.b": null}], []);
+
+    // $addToSet implicitly creates array element at end of array.
+    assert.writeOK(coll.insert({_id: 5, a: [{b: 0}]}));
+    assertExpectedIndexKeys({_id: 5}, [{"a.b": 0}], [{"a.b": null}]);
+    assert.writeOK(coll.update({_id: 5}, {$addToSet: {"a.1.c": 0}}));
+    assertExpectedIndexKeys({_id: 5}, [{"a.b": 0}, {"a.b": null}], []);
+
+    // $bit implicitly creates array element at end of array.
+    assert.writeOK(coll.insert({_id: 6, a: [{b: 0}]}));
+    assertExpectedIndexKeys({_id: 6}, [{"a.b": 0}], [{"a.b": null}]);
+    assert.writeOK(coll.update({_id: 6}, {$bit: {"a.1.c": {and: NumberInt(1)}}}));
+    assertExpectedIndexKeys({_id: 6}, [{"a.b": 0}, {"a.b": null}], []);
+
+    // $min implicitly creates array element at end of array.
+    assert.writeOK(coll.insert({_id: 7, a: [{b: 0}]}));
+    assertExpectedIndexKeys({_id: 7}, [{"a.b": 0}], [{"a.b": null}]);
+    assert.writeOK(coll.update({_id: 7}, {$min: {"a.1.c": 0}}));
+    assertExpectedIndexKeys({_id: 7}, [{"a.b": 0}, {"a.b": null}], []);
+
+    // $max implicitly creates array element at end of array.
+    assert.writeOK(coll.insert({_id: 8, a: [{b: 0}]}));
+    assertExpectedIndexKeys({_id: 8}, [{"a.b": 0}], [{"a.b": null}]);
+    assert.writeOK(coll.update({_id: 8}, {$max: {"a.1.c": 0}}));
+    assertExpectedIndexKeys({_id: 8}, [{"a.b": 0}, {"a.b": null}], []);
+
+    // $currentDate implicitly creates array element at end of array.
+    assert.writeOK(coll.insert({_id: 9, a: [{b: 0}]}));
+    assertExpectedIndexKeys({_id: 9}, [{"a.b": 0}], [{"a.b": null}]);
+    assert.writeOK(coll.update({_id: 9}, {$currentDate: {"a.1.c": true}}));
+    assertExpectedIndexKeys({_id: 9}, [{"a.b": 0}, {"a.b": null}], []);
+
+    // $push implicitly creates array element at end of array.
+    assert.writeOK(coll.insert({_id: 10, a: [{b: 0}]}));
+    assertExpectedIndexKeys({_id: 10}, [{"a.b": 0}], [{"a.b": null}]);
+    assert.writeOK(coll.update({_id: 10}, {$push: {"a.1.c": 0}}));
+    assertExpectedIndexKeys({_id: 10}, [{"a.b": 0}, {"a.b": null}], []);
+
+    // $pushAll implicitly creates array element at end of array.
+    assert.writeOK(coll.insert({_id: 11, a: [{b: 0}]}));
+    assertExpectedIndexKeys({_id: 11}, [{"a.b": 0}], [{"a.b": null}]);
+    assert.writeOK(coll.update({_id: 11}, {$pushAll: {"a.1.c": [0]}}));
+    assertExpectedIndexKeys({_id: 11}, [{"a.b": 0}, {"a.b": null}], []);
+}());