mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
18 lines
479 B
Plaintext
18 lines
479 B
Plaintext
/**
|
|
* @id cs/examples/ternary-conditional
|
|
* @name Conditional expressions
|
|
* @description Finds conditional expressions of the form '... ? ... : ...'
|
|
* where the types of the resulting expressions differ.
|
|
* @tags conditional
|
|
* type
|
|
*/
|
|
|
|
import csharp
|
|
|
|
from ConditionalExpr e
|
|
where
|
|
e.getThen().stripImplicit() != e.getElse().stripImplicit() and
|
|
not e.getThen().getType() instanceof NullType and
|
|
not e.getElse().getType() instanceof NullType
|
|
select e
|