Description:
------------
OS: OS X 10.9, CentOS 6.5
PHP Version: php-5.4.24
Taint Version: taint-1.2.2

The manual example is not work. (http://php.net/manual/en/intro.taint.php)

Test script:
---------------
<?php

$a = trim($_GET['a']);

$output    = "{$a}";
echo $output;

$file_name = '/tmp' .  $a;
$output    = "Welcome, {$a} !!!";
$var       = "output";
$sql       = "Select *  from " . $a;
$sql      .= "ooxx";

echo $output;

print $$var;

include($file_name);

mysql_query($sql);

Expected result:
----------------
Same as the manual example. (http://php.net/manual/en/intro.taint.php) 

Warning: main() [function.echo]: Attempt to echo a string that might be tainted

Warning: main() [function.echo]: Attempt to print a string that might be tainted

Warning: include() [function.include]: File path contains data that might be tainted

Warning: mysql_query() [function.mysql-query]: SQL statement contains data that might be tainted

Actual result:
--------------
Error log:

[28-Dec-2014 12:51:55 PRC] PHP Warning:  main(): Attempt to echo a string that might be tainted in /data/www/1.php on line 6
[28-Dec-2014 12:51:55 PRC] PHP Warning:  include(/tmp1 or 1=1): failed to open stream: No such file or directory in /data/www/1.php on line 18
[28-Dec-2014 12:51:55 PRC] PHP Warning:  include(): Failed opening '/tmp1 or 1=1' for inclusion (include_path='.:') in /data/www/1.php on line 18
[28-Dec-2014 12:51:55 PRC] PHP Warning:  mysql_query(): No such file or directory in /data/www/1.php on line 20
[28-Dec-2014 12:51:55 PRC] PHP Warning:  mysql_query(): A link to the server could not be established in /data/www/1.php on line 20