Merge pull request #6042 from tautschnig/struct-pointer

Memcpy for pointers involving structs was fixed via field sensitivity

Author: kroening

regression/cbmc-library/memcpy-01/test.desc

@@ -1,11 +1,11 @@
-KNOWNBUG
+CORE
 main.c
 --bounds-check --pointer-check
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
-^\[main\.assertion\.5\] assertion q\.s->x == 42: SUCCESS$
-^\[main\.assertion\.6\] assertion q\.s->y == 43: SUCCESS$
+^\[main\.assertion\.5\] line 46 assertion q\.s->x == 42: SUCCESS$
+^\[main\.assertion\.6\] line 47 assertion q\.s->y == 43: SUCCESS$
 --
 ^warning: ignoring
 --