Python: Use Builtin::special for floats ClassValue

RasmusWL · RasmusWL · commit f870b21d2f8e · 2019-09-24T16:55:49.000+02:00
We could find no reason for using `Builtin::builtin` instead of
`Builtin::special`. Since all the other base types use `special`, and the old
Object API is using `special`, let's also do that :)
diff --git a/python/ql/src/semmle/python/objects/ObjectAPI.qll b/python/ql/src/semmle/python/objects/ObjectAPI.qll
@@ -572,7 +572,7 @@ module ClassValue {
 
     /** Get the `ClassValue` for the `float` class. */
     ClassValue float_() {
-        result = TBuiltinClassObject(Builtin::builtin("float"))
+        result = TBuiltinClassObject(Builtin::special("float"))
     }
 
     /** Get the `ClassValue` for the `bytes` class (also called `str` in Python 2). */

Original file line number	Diff line number	Diff line change
`@@ -572,7 +572,7 @@ module ClassValue {`
`572`	`572`
`573`	`573`	/** Get the `ClassValue` for the `float` class. */
`574`	`574`	`ClassValue float_() {`
`575`		`- result = TBuiltinClassObject(Builtin::builtin("float"))`
	`575`	`+ result = TBuiltinClassObject(Builtin::special("float"))`
`576`	`576`	`}`
`577`	`577`
`578`	`578`	/** Get the `ClassValue` for the `bytes` class (also called `str` in Python 2). */