Merge branch 'fix/kernel/728-cabs2cil-error-messages' into 'master'

Fix/kernel/728 cabs2cil error messages

See merge request frama-c/frama-clang!215

tests/pp/oracle/baddirective.res.oracle

 [kernel] Parsing baddirective.cpp (external front-end)
 [kernel] User Error: Failed to parse C++ file. See Clang messages for more information
-[kernel] User Error: stopping on file "baddirective.cpp" that has errors.
 [kernel] Frama-C aborted: invalid user input.

tests/pp/oracle/baddirective2.res.oracle

 [kernel] Parsing baddirective2.cpp (external front-end)
 [kernel] User Error: Failed to parse C++ file. See Clang messages for more information
-[kernel] User Error: stopping on file "baddirective2.cpp" that has errors.
 [kernel] Frama-C aborted: invalid user input.

tests/pp/oracle/comment.res.oracle

 [kernel] Parsing comment.cpp (external front-end)
 [kernel] User Error: Failed to parse C++ file. See Clang messages for more information
-[kernel] User Error: stopping on file "comment.cpp" that has errors.
 [kernel] Frama-C aborted: invalid user input.

tests/pp/oracle/define.res.oracle

 [kernel] Parsing define.cpp (external front-end)
 [kernel] User Error: Failed to parse C++ file. See Clang messages for more information
-[kernel] User Error: stopping on file "define.cpp" that has errors.
 [kernel] Frama-C aborted: invalid user input.

tests/pp/oracle/define2.res.oracle

 [kernel] Parsing define2.cpp (external front-end)
 [kernel] User Error: Failed to parse C++ file. See Clang messages for more information
-[kernel] User Error: stopping on file "define2.cpp" that has errors.
 [kernel] Frama-C aborted: invalid user input.

tests/pp/oracle/empty.res.oracle

 [kernel] Parsing empty.cpp (external front-end)
 [kernel] User Error: Failed to parse C++ file. See Clang messages for more information
-[kernel] User Error: stopping on file "empty.cpp" that has errors.
 [kernel] Frama-C aborted: invalid user input.

tests/pp/oracle/empty2.res.oracle

 [kernel] Parsing empty2.cpp (external front-end)
 [kernel] User Error: Failed to parse C++ file. See Clang messages for more information
-[kernel] User Error: stopping on file "empty2.cpp" that has errors.
 [kernel] Frama-C aborted: invalid user input.

tests/pp/oracle/empty3.res.oracle

 [kernel] Parsing empty3.cpp (external front-end)
 [kernel] User Error: Failed to parse C++ file. See Clang messages for more information
-[kernel] User Error: stopping on file "empty3.cpp" that has errors.
 [kernel] Frama-C aborted: invalid user input.

tests/pp/oracle/pragma.res.oracle

 [kernel] Parsing pragma.cpp (external front-end)
 [kernel] User Error: Failed to parse C++ file. See Clang messages for more information
-[kernel] User Error: stopping on file "pragma.cpp" that has errors.
 [kernel] Frama-C aborted: invalid user input.

tests/pp/oracle/valid_function1.res.oracle

@@ -3,5 +3,4 @@ Now output intermediate result
 [kernel:annot-error] valid_function1.cpp:11: Warning: 
   subscripted value is neither array nor pointer. Ignoring logic specification of function _Z1h
 [kernel] User Error: warning annot-error treated as fatal error.
-[kernel] User Error: stopping on file "valid_function1.cpp" that has errors.
 [kernel] Frama-C aborted: invalid user input.

tests/pp/oracle/valid_function2.res.oracle

@@ -3,5 +3,4 @@ Now output intermediate result
 [kernel:annot-error] valid_function2.cpp:11: Warning: 
   expecting a function pointer, found int *. Ignoring logic specification of function _Z2hh
 [kernel] User Error: warning annot-error treated as fatal error.
-[kernel] User Error: stopping on file "valid_function2.cpp" that has errors.
 [kernel] Frama-C aborted: invalid user input.