goto-symex now handles function pointers

[kroening]

• Each commit message has a non-empty body, explaining why the change was made.
• Methods or procedures I have added are documented, following the guidelines provided in CODING_STANDARD.md.
• The feature or user visible behaviour I have added or modified has been documented in the User Guide in doc/cprover-manual/
• Regression or unit tests are included, or existing tests cover the modified code (in this case I have detailed which ones those are in the commit message).
• My commit message includes data points confirming performance improvements (if claimed).
• My PR is restricted to a single feature or bugfix.
• n/a White-space or formatting changes outside the feature-related changed lines are in commits of their own.

[codecov]

Codecov Report

Merging #6463 (be6dd84) into develop (381b34d) will decrease coverage by 1.89%.
The diff coverage is 44.44%.

❗ Current head be6dd84 differs from pull request most recent head 9ea5ced. Consider uploading reports for the commit 9ea5ced to get more accurate results

@@             Coverage Diff             @@
##           develop    #6463      +/-   ##
===========================================
- Coverage    77.85%   75.95%   -1.90%     
===========================================
  Files         1574     1542      -32     
  Lines       181245   165029   -16216     
===========================================
- Hits        141109   125353   -15756     
+ Misses       40136    39676     -460     

Impacted Files	Coverage Δ
src/goto-symex/goto_symex.h	92.30% <ø> (+5.64%)	⬆️
src/goto-symex/symex_function_call.cpp	93.13% <44.44%> (-2.48%)	⬇️
unit/unit_tests.cpp	0.00% <0.00%> (-100.00%)	⬇️
src/util/find_symbols.h	0.00% <0.00%> (-100.00%)	⬇️
src/goto-cc/linker_script_merge.h	0.00% <0.00%> (-100.00%)	⬇️
src/goto-instrument/document_properties.cpp	0.00% <0.00%> (-89.35%)	⬇️
src/goto-instrument/uninitialized.cpp	0.00% <0.00%> (-87.76%)	⬇️
src/analyses/uninitialized_domain.cpp	0.00% <0.00%> (-81.09%)	⬇️
src/goto-cc/linker_script_merge.cpp	0.00% <0.00%> (-79.23%)	⬇️
src/goto-instrument/horn_encoding.cpp	0.00% <0.00%> (-73.25%)	⬇️
... and 1269 more

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.