It's possible that you may be misremembering or misunderstanding a different name or reference.
Here are some possibilities:
* "Devil's Club": This is a different plant entirely, a thorny shrub native to the Pacific Northwest, and is not related to pines. It's called "devil's club" because of its prickly stems and its ability to make walking through forests difficult.
* "Pitch Pine": This pine species (Pinus rigida) can have very resinous bark, and in some areas, it might have been nicknamed "devil's pine" due to its sticky pitch. This is likely a regional or local term and not a formal name.
* "Twisted Pine": Some pines, especially those growing in harsh conditions, can have twisted and gnarled branches, which might lead to a local nickname like "devil's pine" if the shape is deemed sinister.
* Mythological Associations: It's possible that some cultures have a myth or legend that connects pines with the devil, but this would be a very specific cultural tradition and not a general term.
If you can provide more context about where you encountered the term "devil pines," it might be easier to pinpoint the correct answer.