1 files changed, 69 insertions, 0 deletions
diff --git a/jstests/arrayfind7.js b/jstests/arrayfind7.js
new file mode 100644
index 00000000000..d68527a6243
--- /dev/null
+++ b/jstests/arrayfind7.js
@@ -0,0 +1,69 @@
+// Nested $elemMatch clauses.  SERVER-5741
+
+t = db.jstests_arrayfind7;
+t.drop();
+
+t.save( { a:[ { b:[ { c:1, d:2 } ] } ] } );
+
+function checkElemMatchMatches() {
+    assert.eq( 1, t.count( { a:{ $elemMatch:{ b:{ $elemMatch:{ c:1, d:2 } } } } } ) );
+}
+
+// The document is matched using nested $elemMatch expressions, with and without an index.
+checkElemMatchMatches();
+t.ensureIndex( { 'a.b.c':1 } );
+checkElemMatchMatches();
+
+function checkIndexCharacterBasedBounds( index, document, query, singleKeyBounds, multiKeyBounds ) {
+    // The document is matched without an index, and with single and multi key indexes.
+    t.drop();
+    t.save( document );
+    assert.eq( 1, t.count( query ) );
+    t.ensureIndex( index );
+    assert.eq( 1, t.count( query ) );
+    t.save( { a:{ b:{ c:[ 10, 11 ] } } } ); // Make the index multikey.
+    assert.eq( 1, t.count( query ) );
+
+    // The single and multi key index bounds are as expected.
+    t.drop();
+    t.ensureIndex( index );
+    assert.eq( singleKeyBounds, t.find( query ).explain().indexBounds[ 'a.b.c' ] );
+    t.save( { a:{ b:{ c:[ 10, 11 ] } } } );
+    assert.eq( multiKeyBounds, t.find( query ).explain().indexBounds[ 'a.b.c' ] );
+}
+
+// Two constraints within a nested $elemMatch expression.
+checkIndexCharacterBasedBounds( { 'a.b.c':1 },
+                               { a:[ { b:[ { c:1 } ] } ] },
+                               { a:{ $elemMatch:{ b:{ $elemMatch:{ c:{ $gte:1, $lte:1 } } } } } },
+                               [ [ 1, 1 ] ],
+                               [ [ 1, 1.7976931348623157e+308 ] ] );
+
+// Two constraints within a nested $elemMatch expression, one of which contains the other.
+checkIndexCharacterBasedBounds( { 'a.b.c':1 },
+                               { a:[ { b:[ { c:2 } ] } ] },
+                               { a:{ $elemMatch:{ b:{ $elemMatch:{ c:{ $gte:1, $in:[2] } } } } } },
+                               [ [ 2, 2 ] ],
+                               [ [ 2, 2 ] ] );
+
+// Two nested $elemMatch expressions.
+checkIndexCharacterBasedBounds( { 'a.d.e':1, 'a.b.c':1 },
+                               { a:[ { b:[ { c:1 } ], d:[ { e:1 } ] } ] },
+                               { a:{ $elemMatch:{ d:{ $elemMatch:{ e:{ $lte:1 } } },
+                                    b:{ $elemMatch:{ c:{ $gte:1 } } } } } },
+                               [ [ 1, 1.7976931348623157e+308 ] ],
+                               [ [ { $minElement:1 }, { $maxElement:1 } ] ] );
+
+// A non $elemMatch expression and a nested $elemMatch expression.
+checkIndexCharacterBasedBounds( { 'a.x':1, 'a.b.c':1 },
+                               { a:[ { b:[ { c:1 } ], x:1 } ] },
+                               { 'a.x':1, a:{ $elemMatch:{ b:{ $elemMatch:{ c:{ $gte:1 } } } } } },
+                               [ [ 1, 1.7976931348623157e+308 ] ],
+                               [ [ { $minElement:1 }, { $maxElement:1 } ] ] );
+
+// $elemMatch is applied directly to a top level field.
+checkIndexCharacterBasedBounds( { 'a.b.c':1 },
+                               { a:[ { b:[ { c:[ 1 ] } ] } ] },
+                               { a:{ $elemMatch:{ 'b.c':{ $elemMatch:{ $gte:1, $lte:1 } } } } },
+                               [ [ 1, 1 ] ],
+                               [ [ 1, 1 ] ] );