At the end, the case is never reached because
json_object_to_json_string_ext only produces
valid JSON strings and a string terminated by
'\' isn't a valid JSON string.
Change-Id: I58a6dc4d9c014487ff2dc85f7eb3dbf33ffea6b1
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
}
else if (c == '\\') {
switch ((c = *b++)) {
- case 0:
- b--;
- break;
case '/':
buf[0] = '/';
buf[1] = 0;
break;
+ case 0:
+ b--;
+ /*@fallthrough@*/
default:
buf[0] = '\\';
buf[1] = c;