# Flag some well-known weak pseudo-random number generators

WARNING_FILTER += allow class="Use of rand"
WARNING_FILTER += allow class="Use of rand48 Function"
WARNING_FILTER += allow class="Use of random"