X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fovsdb-data.c;h=bb8781c25d5c87dd4ef062af349fb88bf3f475a9;hb=816fd533f85923c03cf8d9d6450bd9a0845d5160;hp=1781811917d2ee04df5f190da7622df3073a8e91;hpb=6a6f8d167357a1f1751cdd54b9491c531a371ae1;p=openvswitch

diff --git a/lib/ovsdb-data.c b/lib/ovsdb-data.c
index 17818119..bb8781c2 100644
--- a/lib/ovsdb-data.c
+++ b/lib/ovsdb-data.c
@@ -1687,6 +1687,9 @@ ovsdb_datum_includes_all(const struct ovsdb_datum *a,
 {
     size_t i;
 
+    if (a->n > b->n) {
+        return false;
+    }
     for (i = 0; i < a->n; i++) {
         if (ovsdb_datum_find(a, i, b, type) == UINT_MAX) {
             return false;