C++: Make 'SizeBarrier' private as promised.

This commit is contained in:
Mathias Vorreiter Pedersen
2023-08-05 21:57:57 +02:00
parent 835b5e349b
commit 7c9d41d3b9

View File

@@ -96,7 +96,7 @@ predicate hasSize(HeuristicAllocationExpr alloc, DataFlow::Node n, int state) {
* but because there's a strict comparison that compares `n` against the size of the allocation this
* snippet is fine.
*/
module SizeBarrier {
private module SizeBarrier {
private module SizeBarrierConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) {
// The sources is the same as in the sources for the second