souffle-lang · quentin · Oct 24, 2023 · Oct 23, 2023 · Oct 23, 2023
diff --git a/src/include/souffle/io/ReadStreamCSV.h b/src/include/souffle/io/ReadStreamCSV.h
@@ -201,6 +201,12 @@ class ReadStreamCSV : public ReadStream {
                         pos = 0;
                         end = line.length();
                     }
+                    if (pos == end) {
+                        // this means we've got a blank line and we need to read
+                        // more
+                        continue;
+                    }
+
                     char c = line[pos++];
                     if (c == '"' && (pos < end) && line[pos] == '"') {
                         // two double-quote => one double-quote

diff --git a/tests/semantic/CMakeLists.txt b/tests/semantic/CMakeLists.txt
@@ -118,6 +118,8 @@ positive_test(load8)
 positive_test(load9)
 negative_test(load10)
 positive_test(load11)
+positive_test(load12)
+positive_test(load13)
 positive_test(load_adt)
 positive_test(load_adt2)
 positive_test(load_adt3)

diff --git a/tests/semantic/load11/A.csv b/tests/semantic/load11/A.csv
@@ -1,3 +1,3 @@
 "foo
-bar", nothing , "one
+bar","nothing","one
 two"
diff --git a/tests/semantic/load11/facts/A.facts b/tests/semantic/load11/facts/A.facts
@@ -1,3 +1,3 @@
 "foo
-bar", nothing , "one
+bar",nothing,"one
 two"
diff --git a/tests/semantic/load11/load11.dl b/tests/semantic/load11/load11.dl
@@ -1,4 +1,4 @@
-.decl A(x:symbol)
-.input A()
-.output A()
+.decl A(x:symbol,y:symbol,z:symbol)
+.input A(rfc4180=true)
+.output A(rfc4180=true)
 
diff --git a/tests/semantic/load12/A.csv b/tests/semantic/load12/A.csv
@@ -0,0 +1,4 @@
+"FOO","Line1
+
+Line3.
+"
diff --git a/tests/semantic/load12/facts/A.facts b/tests/semantic/load12/facts/A.facts
@@ -0,0 +1,4 @@
+FOO,"Line1
+
+Line3.
+"
diff --git a/tests/semantic/load12/load12.dl b/tests/semantic/load12/load12.dl
@@ -0,0 +1,4 @@
+.decl A(x:symbol, y:symbol)
+.input A(rfc4180=true)
+.output A(rfc4180=true)
+
diff --git a/tests/semantic/load12/load12.err b/tests/semantic/load12/load12.err
diff --git a/tests/semantic/load12/load12.out b/tests/semantic/load12/load12.out
diff --git a/tests/semantic/load13/A.csv b/tests/semantic/load13/A.csv
@@ -0,0 +1 @@
+foo"bar"
diff --git a/tests/semantic/load13/facts/A.facts b/tests/semantic/load13/facts/A.facts
@@ -0,0 +1 @@
+"foo""bar"""
diff --git a/tests/semantic/load13/load13.dl b/tests/semantic/load13/load13.dl
@@ -0,0 +1,4 @@
+.decl A(x:symbol)
+.input A(rfc4180=true)
+.output A()
+
diff --git a/tests/semantic/load13/load13.err b/tests/semantic/load13/load13.err
diff --git a/tests/semantic/load13/load13.out b/tests/semantic/load13/load13.out