C++: Assume modelled functions always override buffers by default#15633

Merged

MathiasVP merged 14 commits intogithub:mainfrom

MathiasVP:model-experiments

Feb 22, 2024

Commits on Feb 16, 2024

C++: Add a testcase.
MathiasVP
committed
625c47f
Copy full SHA for 625c47f
C++: Block flow by default.
MathiasVP
committed
24a63ae
Copy full SHA for 24a63ae
C++: Add a model for 'partial updating' and extend models appropriately.
MathiasVP
committed
7e9bf2a
Copy full SHA for 7e9bf2a
C++: Currently, to catch flow in an example such as:
Show description for 499ab08
MathiasVP
committed
499ab08
Copy full SHA for 499ab08
C++: Accept test changes.
MathiasVP
committed
9b2019d
Copy full SHA for 9b2019d
C++: Add change note.
MathiasVP
committed
497592a
Copy full SHA for 497592a
C++: Add file-level QLDoc.
MathiasVP
committed
57c1bf5
Copy full SHA for 57c1bf5
C++: Make Code Scanning happy.
MathiasVP
committed
b407c86
Copy full SHA for b407c86
C++: Accept query test changes.
MathiasVP
committed
be54a41
Copy full SHA for be54a41

Commits on Feb 22, 2024

C++: Fix QLoc on 'isPartialWrite'.
MathiasVP
committed
aca3970
Copy full SHA for aca3970
C++: Fix QLoc on 'PartialFlowFunction'.
MathiasVP
committed
671904d
Copy full SHA for 671904d
C++: Update QLDoc on 'modeledFlowBarrier'.
MathiasVP
committed
350d5bf
Copy full SHA for 350d5bf
Merge branch 'main' into model-experiments
MathiasVP
committed
0bf29f0
Copy full SHA for 0bf29f0
Merge branch 'main' into model-experiments
MathiasVP
committed
c7ee5b2
Copy full SHA for c7ee5b2