cil
cil copied to clipboard
"Invalid call to builtin_object_size" warning
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.