Dave Bartolomeo 0a86642056 C++: Refactor some side effect generation code ...

This change was necessary for my upcoming changes to introduce side effect instructions for indirections of smart pointers. The code to decide which parameters have which side effects appeared in both the IPA constructor for `TTranslatedSideEffect` and in `TranslatedCall`. These two versions didn't quite agree, especially once the `SideEffectFunction` model provides its own side effects instead of the defaults.
The relevant code has now been factored out into `SideEffects.qll`. This queries the model if one exists, and provides default side effects if no model exists. This fixes at least one existing issue, where we were emitting a buffer read side effect for `*this` instead of an indirect read side effect. This accounts for all of the IR diffs in the tests.

2021-04-09 16:14:03 -04:00

..

constant_func

C++: Replace import default with import cpp

2020-05-25 19:07:28 +02:00

constants

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

escape

C++: Replace import default with import cpp

2020-05-25 19:07:28 +02:00

ir

C++: Refactor some side effect generation code

2021-04-09 16:14:03 -04:00

points_to

C++: Update IR inline-expectation tests

2020-10-29 19:11:54 +01:00

ssa

C++: Refactor some side effect generation code

2021-04-09 16:14:03 -04:00

types

C++: IR construction for _Imaginary types

2020-04-16 11:58:09 -04:00