"Invalid call to builtin_object_size" warning #143
Description
On OS X, calls to functions such as strcpy are usually replaced by functions like __builtin___strcpy_chk, which perform additional bounds checking through __builtin_object_size. When analyzing such string manipulating functions, Goblint issues the warning "invalid call to builtin_object_size", even if both the analysis and the usage of e.g. strcpy in the C-program being analyzed look sane.
This happens for the regression test 01-string_literals.c in PR goblint/analyzer#1048. @michael-schwarz took a closer look and it seems this issue comes from CIL.