Merge pull request #7946 from tautschnig/bugfixes/null-ptr

C front-end: typecheck conditional operator over string literal and 0

Author: tautschnig

regression/ansi-c/null_pointer_constant1/main.c

@@ -0,0 +1,6 @@
+int main(int argc, char *argv[])
+{
+  // Literal 0 is a valid null-pointer constant, which makes this conditional
+  // operator well-formed.
+  char *maybe_str = argc > 1 ? "args" : 0;
+}

regression/ansi-c/null_pointer_constant1/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$

src/ansi-c/c_typecheck_expr.cpp

@@ -1642,6 +1642,18 @@ void c_typecheck_baset::typecheck_expr_trinary(if_exprt &expr)
     return;
   }
 
+  if(
+    auto string_constant = expr_try_dynamic_cast<string_constantt>(operands[1]))
+  {
+    implicit_typecast(operands[1], pointer_type(string_constant->char_type()));
+  }
+
+  if(
+    auto string_constant = expr_try_dynamic_cast<string_constantt>(operands[2]))
+  {
+    implicit_typecast(operands[2], pointer_type(string_constant->char_type()));
+  }
+
   if(operands[1].type().id()==ID_pointer &&
      operands[2].type().id()!=ID_pointer)
     implicit_typecast(operands[2], operands[1].type());