C++: Put a warning on the PointsTo library.

This commit is contained in:
Geoffrey White
2022-09-09 17:59:41 +01:00
parent 15db520a58
commit 8ac3e10896

View File

@@ -19,6 +19,9 @@
* `pointstoinfo` predicate determines the transitively implied points-to
* information by collapsing pointers into equivalence classes. These
* equivalence classes are called "points-to sets".
*
* WARNING: This library may perform poorly on very large projects.
* Consider using another library such as ??? instead.
*/
import semmle.code.cpp.commons.File